Tomáš Peitl

Available identifiers

zbMath Open peitl.tomasMaRDI QIDQ1656582

List of research outcomes

Publication	Date of Publication	Type
A SAT solver's opinion on the Erdős-Faber-Lovász conjecture	2024-11-26	Paper
Should decisions in QCDCL follow prefix order?	2024-07-12	Paper
Should Decisions in QCDCL Follow Prefix Order?	2024-04-29	Paper
Are hitting formulas hard for resolution?	2023-06-15	Paper
Hardness Characterisations and Size-width Lower Bounds for QBF Resolution	2023-04-05	Paper
Davis and Putnam meet Henkin: solving DQBF with resolution	2022-03-22	Paper
Finding the Hardest Formulas for Resolution	2021-10-05	Paper
Strong (D)QBF dependency schemes via tautology-free resolution paths	2021-04-07	Paper
Proof complexity of fragments of long-distance Q-resolution	2020-05-20	Paper
Combining resolution-path dependencies with dependency learning	2020-05-20	Paper
Dependency Learning for QBF	2019-07-12	Paper
Long-distance Q-resolution with dependency schemes	2019-05-31	Paper
Polynomial-time validation of QCDCL certificates	2018-08-10	Paper
Dependency learning for QBF	2017-11-15	Paper
Long Distance Q-Resolution with Dependency Schemes	2016-09-05	Paper

Research outcomes over time

This page was built for person: Tomáš Peitl