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

Markus Kirchweger

BSc
Room: HA0402
Phone: +43 1 58801 192151
Email: markus.kirchweger@ac.tuwien.ac.at
TU Wien Directory: TISS Profile

Biography

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

Recent Publications

Graph Choosability via SAT: Beyond the Nullstellensatz
Markus Kirchweger, Tomas Peitl, David Seka, Stefan Szeider
The 40th Annual AAAI Conference on Artificial Intelligence, AAAI-2026, 2026.
Note: To appear
bib Project Project
Breaking Symmetries in Quantified Graph Search: A Comparative Study
Mikol{\'{a}}s Janota, Markus Kirchweger, Tomas Peitl, 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 bib Project Project DOI
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.
bib Project
SAT Modulo Symmetries for Graph Generation and Enumeration
Markus Kirchweger, Stefan Szeider
ACM Transactions on Computational Logic, volume 25, number 3, 2024.
bib Project DOI
Satisfiability Modulo User Propagators
Katalin Fazekas, Aina Niemetz, Mathias Preiner, Markus Kirchweger, Stefan Szeider, Armin Biere
Journal of Artificial Intelligence Research, volume 81, pages 989-1017, 2024.
PDF bib DOI