Markus Kirchweger
Projektass.(FWF) Dipl.-Ing.

Markus Kirchweger

BSc

Biography

Markus Kirchweger is part of the Scientific Staff at TU Wien.

Recent Publications

Formally Verified Graph Generation with SAT modulo Symmetries and Lean
Automated Reasoning - 13th International Joint Conference, IJCAR 2026, Part of FLoC 2026, July 26–29, 2026, 2026, Springer.
Note: To appear
Graph Choosability via SAT: Beyond the Nullstellensatz
Fortieth AAAI Conference on Artificial Intelligence, Thirty-Eighth Conference on Innovative Applications of Artificial Intelligence, Sixteenth Symposium on Educational Advances in Artificial Intelligence, AAAI 2026, Singapore, January 20-27, 2026 (Sven Koenig and Chad Jenkins and Matthew E. Taylor), pages 14269-14277, 2026, AAAI Press.
Smart Cubing for Graph Search: A Comparative Study
32nd International Conference on Principles and Practice of Constraint Programming, CP 2026, July 20–23, 2026, Lisbon, Portugal, volume 379 of LIPIcs, pages 33:1-33:19, 2026, Schloss Dagstuhl - Leibniz-Zentrum für Informatik.
Note: Preprint: CoRR abs/2501.17201, https://arxiv.org/abs/2501.17201
Breaking Symmetries in Quantified Graph Search: A Comparative Study
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.
Computing small Rainbow Cycle Numbers with SAT modulo Symmetries
The 30th International Conference on Principles and Practice of Constraint Programming, CP 2024 (Paul Shaw), 2024, Schloss Dagstuhl - Leibniz-Zentrum für Informatik.