Tomás Peitl
21 publications
7 venues
H Index 6
Affiliation
Tom PeitlFriedrich Schiller University of Jena, Institute of Computer Science, Germany
TU Vienna, Institute of Logic and Computation, Austria
Links
DBLP
ORCID
LinkedIn- https://www.fmi.uni-jena.de/fakult%C3%A4t/institute+und+abteilungen/institut+f%C3%BCr+informatik/theoretische+informatik+i/team/dr_+tom%C3%A1%C5%A1+peitl
- https://www.ac.tuwien.ac.at/people/peitl/
- https://scholar.google.com/citations?user=GvtRx0sAAAAJ
- https://www.wikidata.org/entity/Q130866214
| Name | Venue | Year | citations |
|---|---|---|---|
Breaking Symmetries in Quantified Graph Search: A Comparative Study.
|
AAAI | 2025 | 2 |
| Better Extension Variables in DQBF via Independence.
|
SAT | 2025 | 1 |
| Small Unsatisfiable k-CNFs with Bounded Literal Occurrence.
|
SAT | 2024 | 3 |
| QCDCL with cube learning or pure literal elimination - What is best?
|
Artificial Intelligence | 2024 | 0 |
| Co-Certificate Learning with SAT Modulo Symmetries.
|
IJCAI | 2023 | 17 |
| A SAT Solver's Opinion on the Erdős-Faber-Lovász Conjecture.
|
SAT | 2023 | 7 |
| QCDCL with Cube Learning or Pure Literal Elimination - What is Best?
|
IJCAI | 2022 | 10 |
| Should Decisions in QCDCL Follow Prefix Order?
|
SAT | 2022 | 0 |
| Davis and Putnam Meet Henkin: Solving DQBF with Resolution.
|
SAT | 2021 | 6 |
| Finding the Hardest Formulas for Resolution (Extended Abstract).
|
IJCAI | 2021 | 0 |
| Finding the Hardest Formulas for Resolution.
|
JAIR | 2021 | 0 |
| Fixed-Parameter Tractability of Dependency QBF with Structural Parameters.
|
KR | 2020 | 7 |
| Finding the Hardest Formulas for Resolution.
|
CP | 2020 | 3 |
| Strong (D)QBF Dependency Schemes via Tautology-Free Resolution Paths.
|
SAT | 2020 | 5 |
| Proof Complexity of Fragments of Long-Distance Q-Resolution.
|
SAT | 2019 | 4 |
| Combining Resolution-Path Dependencies with Dependency Learning.
|
SAT | 2019 | 5 |
| Dependency Learning for QBF.
|
JAIR | 2019 | 0 |
| Portfolio-Based Algorithm Selection for Circuit QBFs.
|
CP | 2018 | 16 |
| Polynomial-Time Validation of QCDCL Certificates.
|
SAT | 2018 | 5 |
| Dependency Learning for QBF.
|
SAT | 2017 | 59 |
| Long Distance Q-Resolution with Dependency Schemes.
|
SAT | 2016 | 0 |