Tomas Peitl
Univ.Ass. Dr.techn.

Tomas Peitl

Room: HB0418
Phone: +43 1 58801 192128
Email: tpeitl@ac.tuwien.ac.at
ORCID: 0000-0001-7799-1568
TU Wien Directory: TISS Profile

Biography

Tomáš Peitl 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
Better Extension Variables in DQBF via Independence
Leroy Chew, Tomas Peitl
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.
PDF bib DOI
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
Hard QBFs for Merge Resolution
Olaf Beyersdorff, Joshua Blinkhorn, Meena Mahajan, Tomas Peitl, Gaurav Sood
ACM Trans. Comput. Theory, volume 16, number 2, pages 6:1-6:24, 2024.
PDF bib DOI
QCDCL with cube learning or pure literal elimination - What is best?
Benjamin B{ö}hm, Tomas Peitl, Olaf Beyersdorff
Artif. Intell., volume 336, pages 104194, 2024.
PDF bib DOI