Tomas Peitl
Univ.Ass. Dr.techn.

Tomas Peitl

Biography

Tomáš Peitl is part of the Scientific Staff at TU Wien.

Recent Publications

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
Strong (D)QBF Dependency Schemes via Pure Paths with Applications to Proof Checking
29th International Conference on Theory and Applications of Satisfiability Testing, SAT 2026, Lisbon, Portugal, July 20-23, 2026 (Alexey Ignatiev and Stefan Szeider), volume 377 of LIPIcs, pages 11:1-11:20, 2026, Schloss Dagstuhl - Leibniz-Zentrum für Informatik.
Better Extension Variables in DQBF via Independence
28th International Conference on Theory and Applications of Satisfiability Testing, SAT 2025, Glasgow, Scotland, August 12-15, 2025 (Jeremias Berg and Jakob Nordström), volume 341 of LIPIcs, pages 11:1-11:24, 2025, Schloss Dagstuhl - Leibniz-Zentrum für Informatik.
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.