Tomás Peitl

According to our database, Tomás Peitl authored at least 26 papers between 2016 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2025

Smart Cubing for Graph Search: A Comparative Study.

Markus Kirchweger, Hai Xia, Tomás Peitl, Stefan Szeider

CoRR, January, 2025

Supplementary material for Smart Cubing for Graph Search: A Comparative Study.

Tomás Peitl, Stefan Szeider, Markus Kirchweger, Hai Xia

Dataset, January, 2025

Better Extension Variables in DQBF via Independence.

Leroy Chew, Tomás Peitl

Proceedings of the 28th International Conference on Theory and Applications of Satisfiability Testing, 2025

Breaking Symmetries in Quantified Graph Search: A Comparative Study.

Mikolás Janota, Markus Kirchweger, Tomás Peitl, Stefan Szeider

Proceedings of the AAAI-25, Sponsored by the Association for the Advancement of Artificial Intelligence, February 25, 2025

2024

Supplementary Material for Breaking Symmetries in Quantified Graph Search: A Comparative Study.

Tomás Peitl, Markus Kirchweger, Mikolás Janota, Stefan Szeider

Dataset, December, 2024

Small Unsatisfiable k-CNFs with Bounded Literal Occurrence.

Tianwei Zhang, Tomás Peitl, Stefan Szeider

Proceedings of the 27th International Conference on Theory and Applications of Satisfiability Testing, 2024

2023

Are hitting formulas hard for resolution?

Tomás Peitl, Stefan Szeider

Discret. Appl. Math., October, 2023

Hardness Characterisations and Size-width Lower Bounds for QBF Resolution.

Olaf Beyersdorff, Joshua Blinkhorn, Meena Mahajan, Tomás Peitl

ACM Trans. Comput. Log., April, 2023

A SAT Solver's Opinion on the Erdős-Faber-Lovász Conjecture.

Markus Kirchweger, Tomás Peitl, Stefan Szeider

Proceedings of the 26th International Conference on Theory and Applications of Satisfiability Testing, 2023

Co-Certificate Learning with SAT Modulo Symmetries.

Markus Kirchweger, Tomás Peitl, Stefan Szeider

Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023

2022

Should Decisions in QCDCL Follow Prefix Order?

Benjamin Böhm, Tomás Peitl, Olaf Beyersdorff

Proceedings of the 25th International Conference on Theory and Applications of Satisfiability Testing, 2022

QCDCL with Cube Learning or Pure Literal Elimination - What is Best?

Benjamin Böhm, Tomás Peitl, Olaf Beyersdorff

Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022

2021

Strong (D)QBF Dependency Schemes via Implication-free Resolution Paths.

Olaf Beyersdorff, Joshua Blinkhorn, Tomás Peitl

Electron. Colloquium Comput. Complex., 2021

Davis and Putnam Meet Henkin: Solving DQBF with Resolution.

Joshua Blinkhorn, Tomás Peitl, Friedrich Slivovsky

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2021, 2021

Finding the Hardest Formulas for Resolution (Extended Abstract).

Tomás Peitl, Stefan Szeider

Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021

2020

Strong (D)QBF Dependency Schemes via Tautology-Free Resolution Paths.

Olaf Beyersdorff, Joshua Blinkhorn, Tomás Peitl

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2020, 2020

Fixed-Parameter Tractability of Dependency QBF with Structural Parameters.

Robert Ganian, Tomás Peitl, Friedrich Slivovsky, Stefan Szeider

Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, 2020

Hard QBFs for Merge Resolution.

Olaf Beyersdorff, Joshua Blinkhorn, Meena Mahajan, Tomás Peitl, Gaurav Sood

Proceedings of the 40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2020

Finding the Hardest Formulas for Resolution.

Tomás Peitl, Stefan Szeider

Proceedings of the Principles and Practice of Constraint Programming, 2020

2019

Qute in the QBF Evaluation 2018.

Tomás Peitl, Friedrich Slivovsky, Stefan Szeider

J. Satisf. Boolean Model. Comput., 2019

Proof Complexity of Fragments of Long-Distance Q-Resolution.

Tomás Peitl, Friedrich Slivovsky, Stefan Szeider

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2019, 2019

Combining Resolution-Path Dependencies with Dependency Learning.

Tomás Peitl, Friedrich Slivovsky, Stefan Szeider

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2019, 2019

2018

Polynomial-Time Validation of QCDCL Certificates.

Tomás Peitl, Friedrich Slivovsky, Stefan Szeider

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2018, 2018

Portfolio-Based Algorithm Selection for Circuit QBFs.

Holger H. Hoos, Tomás Peitl, Friedrich Slivovsky, Stefan Szeider

Proceedings of the Principles and Practice of Constraint Programming, 2018

2017

Dependency Learning for QBF.

Tomás Peitl, Friedrich Slivovsky, Stefan Szeider

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2017 - 20th International Conference, Melbourne, VIC, Australia, August 28, 2017

2016

Long Distance Q-Resolution with Dependency Schemes.

Tomás Peitl, Friedrich Slivovsky, Stefan Szeider

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2016, 2016