Andr{\'{e}} Schidler

Recent Publications

Analyzing Reformulation Performance in Core-Guided MaxSAT Solving
Andr{\'{e}} Schidler, Stefan Szeider
28th International Conference on Theory and Applications of Satisfiability Testing, SAT 2025, August 12-15, 2025, Glasgow, Scotland (Jeremias Berg and Jakob Nordström), volume 341 of LIPIcs, pages 26:1-26:18, 2025, Schloss Dagstuhl - Leibniz-Zentrum für Informatik.
PDF bib Project Project DOI
A Dynamic MaxSAT-based Approach to Directed Feedback Vertex Sets
Rafael Kiesel, Andr{\'{e}} Schidler
Proceedings of the Symposium on Algorithm Engineering and Experiments, ALENEX 2023, Florence, Italy, January 22-23, 2023 (Gonzalo Navarro and Julian Shun), pages 39-52, 2023, SIAM.
bib Project Project DOI
Computing optimal hypertree decompositions with SAT
Andr{\'{e}} Schidler, Stefan Szeider
Artificial Intelligence, volume 325, pages 104015, 2023.
PDF bib DOI
PACE Solver Description: DAGer - Cutting out Cycles with MaxSAT
Rafael Kiesel, Andr{\'{e}} Schidler
17th International Symposium on Parameterized and Exact Computation, IPEC 2022, September 7-9, 2022, Potsdam, Germany (Holger Dell and Jesper Nederlof), volume 249 of LIPIcs, pages 32:1-32:4, 2022, Schloss Dagstuhl - Leibniz-Zentrum für Informatik.
PDF bib Project Project DOI
SAT-Based Local Search for Plane Subgraph Partitions (CG Challenge)
Andr{\'{e}} Schidler
38th International Symposium on Computational Geometry, SoCG 2022, June 7-10, 2022, Berlin, Germany (Xavier Goaoc and Michael Kerber), volume 224 of LIPIcs, pages 74:1-74:8, 2022, Schloss Dagstuhl - Leibniz-Zentrum für Informatik.
PDF bib Project Project DOI