| Publication | Date of Publication | Type |
|---|
| Optimal planning with expressive action languages as constraint optimization | 2024-05-29 | Paper |
| Repairing learned controllers with convex optimization: a case study | 2019-10-14 | Paper |
| Constrained image generation using binarized neural networks with decision procedures | 2018-08-10 | Paper |
| Twelve years of QBF evaluations: QSAT is PSPACE-hard and it shows | 2017-11-09 | Paper |
| Evaluating probabilistic model checking tools for verification of robot control policies | 2017-11-08 | Paper |
| A subset-matching size-bounded cache for testing satisfiability in modal logics | 2015-06-17 | Paper |
| Challenging SMT solvers to verify neural networks | 2012-10-25 | Paper |
| \textsc{NeVer}: a tool for artificial neural networks verification | 2012-05-23 | Paper |
| An empirical study of QBF encodings: from treewidth estimation to useful preprocessing | 2011-06-10 | Paper |
| The seventh QBF solvers evaluation (QBFEVAL'10) | 2010-09-29 | Paper |
| Evaluating and certifying QBFs: a comparison of state-of-the-art tools | 2010-01-27 | Paper |
| Learning to integrate deduction and search in reasoning about quantified Boolean formulas | 2010-01-07 | Paper |
| Theory and Applications of Satisfiability Testing | 2009-07-24 | Paper |
| Theory and Applications of Satisfiability Testing | 2009-07-24 | Paper |
| A self-adaptive multi-engine solver for quantified Boolean formulas | 2009-05-29 | Paper |
| Clause/Term resolution and learning in the evaluation of quantified Boolean formulas | 2009-04-28 | Paper |
| Treewidth: A Useful Marker of Empirical Hardness in Quantified Boolean Logic Encodings | 2009-01-27 | Paper |
| Principles and Practice of Constraint Programming – CP 2004 | 2008-09-09 | Paper |
| Report of the third QBF solvers evaluation | 2007-03-30 | Paper |
| Formal Methods in Computer-Aided Design | 2006-10-20 | Paper |
| SAT-based planning in complex domains: Concurrency, constraints and nondeterminism | 2006-02-07 | Paper |
| Backjumping for quantified Boolean logic satisfiability | 2006-02-07 | Paper |
| Mechanizing Mathematical Reasoning | 2006-01-10 | Paper |
| Theory and Applications of Satisfiability Testing | 2005-12-16 | Paper |
| Theory and Applications of Satisfiability Testing | 2005-12-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4737124 | 2004-08-11 | Paper |
| SAT vs. Translation Based decision procedures for modal logics: a comparative evaluation | 2004-01-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4708926 | 2003-06-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4804909 | 2003-05-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4799252 | 2003-03-18 | Paper |
| SAT-based decision procedures for classical modal logics | 2002-08-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4539620 | 2002-07-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4539619 | 2002-07-10 | Paper |
| SAT-based decision procedures for classical modal logics | 2001-11-21 | Paper |
| Towards an efficient library for SAT: A manifesto | 2001-09-24 | Paper |
| Getting to the airport: The oldest planning problem in AI | 2001-08-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2723426 | 2001-07-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2721199 | 2001-07-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2721187 | 2001-07-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4518914 | 2001-03-11 | Paper |
