Biography
Markus Kirchweger is part of the Scientific Staff at TU Wien.
Automated Reasoning - 13th International Joint Conference, IJCAR 2026, Part of FLoC 2026, July 26–29, 2026, 2026, Springer.
Note: To appear
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.
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 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.
The 30th International Conference on Principles and Practice of Constraint Programming, CP 2024 (Paul Shaw), 2024, Schloss Dagstuhl - Leibniz-Zentrum für Informatik.