| Publication | Date of Publication | Type |
|---|
| Two SAT solvers for solving quantified Boolean formulas with an arbitrary number of quantifier alternations | 2021-12-08 | Paper |
| QRATPre+: effective QBF preprocessing via strong redundancy properties | 2020-05-20 | Paper |
| KoMeT | 2020-01-21 | Paper |
| Some pitfalls of LK-to-LJ translations and how to avoid them | 2019-10-01 | Paper |
| On the practical value of different definitional translations to normal form | 2019-01-15 | Paper |
| Non-elementary speed-ups in proof length by different variants of classical analytic calculi | 2019-01-15 | Paper |
| Lean induction principles for tableaux | 2019-01-15 | Paper |
| \({\textsf{QRAT}}^{+}\): generalizing QRAT by a more powerful QBF redundancy property | 2018-10-18 | Paper |
| DepQBF 6.0: a search-based QBF solver beyond traditional QCDCL | 2017-09-22 | Paper |
| Conformant planning as a case study of incremental QBF solving | 2017-08-15 | Paper |
| On Stronger Calculi for QBFs | 2016-09-05 | Paper |
| Q-Resolution with Generalized Axioms | 2016-09-05 | Paper |
| Automated Benchmarking of Incremental SAT and QBF Solvers | 2016-01-12 | Paper |
| Enhancing Search-Based QBF Solving by Dynamic Blocked Clause Elimination | 2016-01-12 | Paper |
| Incrementally Computing Minimal Unsatisfiable Cores of QBFs via a Clause Group Solver API | 2015-11-20 | Paper |
| Complexity Classifications for Logic-Based Argumentation | 2015-09-17 | Paper |
| Exact location of the phase transition for random (1,2)-QSAT | 2015-04-15 | Paper |
| Incremental QBF Solving by DepQBF | 2014-09-08 | Paper |
| Long-Distance Resolution: Proof Generation and Strategy Extraction in Search-Based QBF Solving | 2014-01-17 | Paper |
| On Sequent Systems and Resolution for QBFs | 2013-08-12 | Paper |
| Efficient Clause Learning for Quantified Boolean Formulas via QBF Pseudo Unit Propagation | 2013-08-05 | Paper |
| Answer-set programming encodings for argumentation frameworks | 2011-11-23 | Paper |
| Theory and Applications of Satisfiability Testing | 2009-07-24 | Paper |
| A solver for QBFs in negation normal form | 2009-05-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3624065 | 2009-04-28 | Paper |
| Proof-complexity results for nonmonotonic reasoning | 2008-12-21 | Paper |
| New Results on the Phase Transition for Random Quantified Boolean Formulas | 2008-05-27 | Paper |
| On deciding subsumption problems | 2005-05-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4809044 | 2004-08-12 | Paper |
| On different proof-search strategies for orthologic | 2003-04-27 | Paper |
| Practically useful variants of definitional translations to normal form | 2003-01-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4530461 | 2002-11-13 | Paper |
| Normal form transformations | 2002-08-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4539641 | 2002-07-10 | Paper |
| On different intuitionistic calculi and embeddings from Int to S4 | 2002-06-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4524785 | 2001-07-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4524779 | 2001-07-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2721197 | 2001-07-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4934141 | 2000-01-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4263791 | 1999-09-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4255508 | 1999-08-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4223027 | 1999-01-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3838809 | 1999-01-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4217953 | 1998-11-11 | Paper |
| An answer to an open problem of Urquhart | 1998-08-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4364511 | 1997-11-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3126165 | 1997-09-29 | Paper |
| On different structure-preserving translations to normal form | 1997-03-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4282509 | 1994-03-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4282603 | 1994-03-17 | Paper |