Andr Schidler
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
21
Venues
8
Active years
2020–2026
Best venue rank
A*
Where they publish
Papers
21 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | AAAI | Ordered Objectives in Maximum Satisfiability. | Jeremias Berg, Andr Schidler, Matti Jrvisalo |
| 2026 | AAAI | Efficient and Reliable Hitting-Set Computations for the Implicit Hitting Set Approach. | Hannes Ihalainen, Dieter Vandesande, Andr Schidler, Jeremias Berg, Bart Bogaerts, Matti Jrvisalo |
| 2026 | SAT | HitPBO: An Implicit Hitting Set Solver for Pseudo-Boolean Optimization (Tool Paper). | Hannes Ihalainen, Dieter Vandesande, Andr Schidler, Jeremias Berg, Matti Jrvisalo |
| 2026 | SAT | CaDiCaL 3.0 (Tool Paper). | Florian Pollitt, Mathias Fleury, Katalin Fazekas, Nils Froleyks, Andr Schidler, Dominik Schreiber, Armin Biere |
| 2025 | ICML | Learning Minimum-Size BDDs: Towards Efficient Exact Algorithms. | Christian Komusiewicz, Andr Schidler, Frank Sommer, Manuel Sorge, Luca Pascal Staus |
| 2025 | SAT | Learn to Unlearn. | Bernhard Gstrein, Florian Pollitt, Andr Schidler, Mathias Fleury, Armin Biere |
| 2025 | SAT | Analyzing Reformulation Performance in Core-Guided MaxSAT Solving. | Andr Schidler, Stefan Szeider |
| 2025 | SoCS | Extracting Problem Structure with LLMs for Optimized SAT Local Search. | Andr Schidler, Stefan Szeider |
| 2024 | CP | Structure-Guided Local Improvement for Maximum Satisfiability. | Andr Schidler, Stefan Szeider |
| 2023 | ALENEX | A Dynamic MaxSAT-based Approach to Directed Feedback Vertex Sets. | Rafael Kiesel, Andr Schidler |
| 2023 | IJCAI | Computing Twin-width with SAT and Branch & Bound. | Andr Schidler, Stefan Szeider |
| 2022 | AAAI | Tractable Abstract Argumentation via Backdoor-Treewidth. | Wolfgang Dvork, Markus Hecher, Matthias Knig, Andr Schidler, Stefan Szeider, Stefan Woltran |
| 2022 | ALENEX | A SAT Approach to Twin-Width. | Andr Schidler, Stefan Szeider |
| 2022 | SAT | Weighted Model Counting with Twin-Width. | Robert Ganian, Filip Pokrvka, Andr Schidler, Kirill Simonov, Stefan Szeider |
| 2021 | AAAI | SAT-based Decision Tree Learning for Large Data Sets. | Andr Schidler, Stefan Szeider |
| 2021 | IJCAI | Backdoor DNFs. | Sebastian Ordyniak, Andr Schidler, Stefan Szeider |
| 2021 | IJCAI | Computing Optimal Hypertree Decompositions with SAT. | Andr Schidler, Stefan Szeider |
| 2020 | ALENEX | Computing Optimal Hypertree Decompositions. | Andr Schidler, Stefan Szeider |
| 2020 | CP | Towards Faster Reasoners by Using Transparent Huge Pages. | Johannes Klaus Fichte, Norbert Manthey, Julian Stecklina, Andr Schidler |
| 2020 | IJCAI | Threshold Treewidth and Hypertree Width. | Robert Ganian, Andr Schidler, Manuel Sorge, Stefan Szeider |
| 2020 | ICTAI | Solving the Steiner Tree Problem with few Terminals. | Johannes Klaus Fichte, Markus Hecher, Andr Schidler |