Peitl, Tomás

6 publications

AAAI 2025 Breaking Symmetries in Quantified Graph Search: A Comparative Study Mikolás Janota, Markus Kirchweger, Tomás Peitl, Stefan Szeider

IJCAI 2023 Co-Certificate Learning with SAT Modulo Symmetries Markus Kirchweger, Tomás Peitl, Stefan Szeider

IJCAI 2022 QCDCL with Cube Learning or Pure Literal Elimination - What Is Best? Benjamin Böhm, Tomás Peitl, Olaf Beyersdorff

JAIR 2021 Finding the Hardest Formulas for Resolution Tomás Peitl, Stefan Szeider

IJCAI 2021 Finding the Hardest Formulas for Resolution (Extended Abstract) Tomás Peitl, Stefan Szeider

JAIR 2019 Dependency Learning for QBF Tomás Peitl, Friedrich Slivovsky, Stefan Szeider