| No. |
Title |
Author |
Year |
| 1 |
Classes of Hard Formulas for QBF Resolution |
Schleitzer, Agnes et al. |
2022 |
| 2 |
Should Decisions in QCDCL Follow Prefix Order? |
Böhm, Benjamin et al. |
2022 |
| 3 |
Understanding the Relative Strength of QBF CDCL Solvers and QBF Resolution |
Beyersdorff, Olaf et al. |
2021 |
| 4 |
Hard QBFs for Merge Resolution |
Beyersdorff, Olaf et al. |
2020 |
| 5 |
SAT and Interactions (Dagstuhl Seminar 20061) |
Beyersdorff, Olaf et al. |
2020 |
| 6 |
Building Strategies into QBF Proofs |
Beyersdorff, Olaf et al. |
2019 |
| 7 |
Genuine Lower Bounds for QBF Expansion |
Beyersdorff, Olaf et al. |
2018 |
| 8 |
Reasons for Hardness in QBF Proof Systems |
Beyersdorff, Olaf et al. |
2018 |
| 9 |
Size, Cost and Capacity: A Semantic Technique for Hard Random QBFs |
Beyersdorff, Olaf et al. |
2018 |
| 10 |
SAT and Interactions (Dagstuhl Seminar 16381) |
Beyersdorff, Olaf et al. |
2017 |
| 11 |
Are Short Proofs Narrow? QBF Resolution is not Simple |
Beyersdorff, Olaf et al. |
2016 |
| 12 |
Understanding Cutting Planes for QBFs |
Beyersdorff, Olaf et al. |
2016 |
| 13 |
Optimal algorithms and proofs (Dagstuhl Seminar 14421) |
Beyersdorff, Olaf et al. |
2015 |
| 14 |
Proof Complexity of Resolution-based QBF Calculi |
Beyersdorff, Olaf et al. |
2015 |
| 15 |
Hardness of Parameterized Resolution |
Beyersdorff, Olaf et al. |
2010 |
| 16 |
Proof Complexity of Propositional Default Logic |
Beyersdorff, Olaf et al. |
2010 |
| 17 |
Edges as Nodes - a New Approach to Timetable Information |
Beyersdorff, Olaf et al. |
2009 |
