Publications: Markus Kirchweger

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
📄 Details

Breaking Symmetries in Quantified Graph Search: A Comparative Study Mikolás Janota, Markus Kirchweger, Tomás Peitl, Stefan Szeider. AAAI-25, Sponsored by the Association for the Advancement of Artificial Intelligence, February 25 - March 4, 2025, Philadelphia, PA, USA
📄 Details

SAT Modulo Symmetries for Graph Generation and Enumeration Markus Kirchweger, Stefan Szeider. ACM Transactions on Computational Logic
📄 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
📄 Details
Satisfiability Modulo User Propagators Katalin Fazekas, Aina Niemetz, Mathias Preiner, Markus Kirchweger, Stefan Szeider, Armin Biere. Journal of Artificial Intelligence Research
📄 Details

IPASIR-UP: User Propagators for CDCL Katalin Fazekas, Aina Niemetz, Mathias Preiner, 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
📄 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
📄 Details
A SAT Solver’s Opinion on the Erdős-Faber-Lovász Conjecture Markus Kirchweger, Tomáš Peitl, Stefan Szeider. 26th International Conference on Theory and Applications of Satisfiability Testing, SAT 2023, July 4-8, 2023, Alghero, Italy
📄 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
📄 Details

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
📄 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 - 22nd European Conference, EvoCOP 2022, Held as Part of EvoStar 2022, Madrid, Spain, April 20-22, 2022, Proceedings
📄 Details

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
📄 Details