André Schidler

According to our database, André Schidler authored at least 16 papers between 2020 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2023

SAT-boosted Tabu Search for Coloring Massive Graphs.

André Schidler, Stefan Szeider

ACM J. Exp. Algorithmics, December, 2023

Computing optimal hypertree decompositions with SAT.

André Schidler, Stefan Szeider

Artif. Intell., December, 2023

SAT Encodings and Beyond (Dagstuhl Seminar 23261).

Marijn J. H. Heule, Inês Lynce, Stefan Szeider, André Schidler

Dagstuhl Reports, 2023

Computing Twin-width with SAT and Branch & Bound.

André Schidler, Stefan Szeider

Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023

A Dynamic MaxSAT-based Approach to Directed Feedback Vertex Sets.

Rafael Kiesel, André Schidler

Proceedings of the Symposium on Algorithm Engineering and Experiments, 2023

2022

Threshold Treewidth and Hypertree Width.

Robert Ganian, André Schidler, Manuel Sorge, Stefan Szeider

J. Artif. Intell. Res., 2022

Weighted Model Counting with Twin-Width.

Robert Ganian, Filip Pokrývka, André Schidler, Kirill Simonov, Stefan Szeider

Proceedings of the 25th International Conference on Theory and Applications of Satisfiability Testing, 2022

PACE Solver Description: DAGer - Cutting out Cycles with MaxSAT.

Rafael Kiesel, André Schidler

Proceedings of the 17th International Symposium on Parameterized and Exact Computation, 2022

SAT-Based Local Search for Plane Subgraph Partitions (CG Challenge).

André Schidler

Proceedings of the 38th International Symposium on Computational Geometry, 2022

A SAT Approach to Twin-Width.

André Schidler, Stefan Szeider

Proceedings of the Symposium on Algorithm Engineering and Experiments, 2022

Tractable Abstract Argumentation via Backdoor-Treewidth.

Wolfgang Dvorák, Markus Hecher, Matthias König, André Schidler, Stefan Szeider, Stefan Woltran

Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022

2021

Backdoor DNFs.

Sebastian Ordyniak, André Schidler, Stefan Szeider

Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021

SAT-based Decision Tree Learning for Large Data Sets.

André Schidler, Stefan Szeider

Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

2020

Solving the Steiner Tree Problem with few Terminals.

Johannes Klaus Fichte, Markus Hecher, André Schidler

Proceedings of the 32nd IEEE International Conference on Tools with Artificial Intelligence, 2020

Towards Faster Reasoners by Using Transparent Huge Pages.

Johannes Klaus Fichte, Norbert Manthey, Julian Stecklina, André Schidler

Proceedings of the Principles and Practice of Constraint Programming, 2020

Computing Optimal Hypertree Decompositions.

André Schidler, Stefan Szeider

Proceedings of the Symposium on Algorithm Engineering and Experiments, 2020