Publications: Markus Kirchweger

2026

Graph Choosability via SAT: Beyond the Nullstellensatz
Markus Kirchweger, Tomás Peitl, David Seka, Stefan Szeider
The 40th Annual AAAI Conference on Artificial Intelligence, AAAI-2026, 2026.
Note: To appear
[details]

2025

Breaking Symmetries in Quantified Graph Search: A Comparative Study
Mikolás Janota and Markus Kirchweger and Tomás Peitl and Stefan Szeider
AAAI-25, Sponsored by the Association for the Advancement of Artificial Intelligence, February 25 - March 4, 2025, Philadelphia, PA, USA (Toby Walsh and Julie Shah and Zico Kolter), pages 11246-11254, 2025, AAAI Press.
[pdf] [doi] [details]

2024

SAT Modulo Symmetries for Graph Generation and Enumeration
Markus Kirchweger, Stefan Szeider
ACM Transactions on Computational Logic, volume 25, number 3, 2024.
[doi] [details]

Computing small Rainbow Cycle Numbers with SAT modulo Symmetries
Markus Kirchweger, Stefan Szeider
The 30th International Conference on Principles and Practice of Constraint Programming, CP 2024 (Paul Shaw), 2024, Schloss Dagstuhl - Leibniz-Zentrum für Informatik.
[details]

Satisfiability Modulo User Propagators
Katalin Fazekas and Aina Niemetz and Mathias Preiner and Markus Kirchweger and Stefan Szeider and Armin Biere
Journal of Artificial Intelligence Research, volume 81, pages 989-1017, 2024.
[pdf] [doi] [details]

2023

IPASIR-UP: User Propagators for CDCL
Katalin Fazekas, Aina Niemetz, Mathias Preiner and Markus Kirchweger, Stefan Szeider, Armin Biere
The 26th International Conference on Theory and Applications of Satisfiability Testing (SAT 2023), July 04-08, 2023, Alghero, Italy (Meena Mahajan and Friedrich Slivovsky), volume 271 of LIPIcs, pages 8:1-8:13, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik.
[doi] [details]

Co-Certificate Learning with SAT Modulo Symmetries
Markus Kirchweger, Tomáš Peitl, Stefan Szeider
Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, IJCAI 2023, 19th-25th August 2023, Macao, SAR, China, pages 1944-1953, 2023, ijcai.org.
Note: Main Track
[pdf] [doi] [details]

A SAT Solver’s Opinion on the Erdős-Faber-Lovász Conjecture
Markus Kirchweger and Tomáš Peitl and Stefan Szeider
26th International Conference on Theory and Applications of Satisfiability Testing, SAT 2023, July 4-8, 2023, Alghero, Italy (Meena Mahajan and Friedrich Slivovsky), volume 271 of LIPIcs, pages 13:1-13:17, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik.
[pdf] [doi] [details]

SAT-Based Generation of Planar Graphs
Markus Kirchweger, Manfred Scheucher, Stefan Szeider
The 26th International Conference on Theory and Applications of Satisfiability Testing (SAT 2023), July 04-08, 2023, Alghero, Italy (Meena Mahajan and Friedrich Slivovsky), volume 271 of LIPIcs, pages 14:1-14:18, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik.
[doi] [details]

2022

A SAT Attack on Rota’s Basis Conjecture
Markus Kirchweger, Manferd Scheucher, Stefan Szeider
25th International Conference on Theory and Applications of Satisfiability Testing, SAT 2022, August 2-5, 2022, Haifa, Israel (Kuldeep S. Meel and Ofer Strichman), volume 236 of LIPIcs, pages 4:1-4:18, 2022, Schloss Dagstuhl - Leibniz-Zentrum für Informatik.
[pdf] [doi] [details]

A Beam Search for the Shortest Common Supersequence Problem Guided by an Approximate Expected Length Calculation
Mayerhofer, Jonas, Kirchweger, Markus, Huber, Marc, Raidl, Günther
Evolutionary Computation in Combinatorial Optimization – EvoCOP 2022 (Pérez Cáceres, Leslie and Verel, Sébastien), volume 13222 of LNCS, pages 127-142, 2022, Springer.
Note: best paper award winner
[pdf] [doi] [details]

2021

SAT Modulo Symmetries for Graph Generation
Markus Kirchweger, Stefan Szeider
Proceeings of CP 2021, the 27th International Conference on Principles and Practice of Constraint Programming (Laurent D. Michel), pages 39:1–-39:17, 2021, Dagstuhl Publishing.
[doi] [details]