| 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
Fundamenta Informaticae | 2017-11-09 | Paper |
Evaluating probabilistic model checking tools for verification of robot control policies
AI Communications | 2017-11-08 | Paper |
A subset-matching size-bounded cache for testing satisfiability in modal logics
Annals of Mathematics and Artificial Intelligence | 2015-06-17 | Paper |
Challenging SMT solvers to verify neural networks
AI Communications | 2012-10-25 | Paper |
\textsc{NeVer}: a tool for artificial neural networks verification
Annals of Mathematics and Artificial Intelligence | 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)
Theory and Applications of Satisfiability Testing – SAT 2010 | 2010-09-29 | Paper |
Evaluating and certifying QBFs: a comparison of state-of-the-art tools
AI Communications | 2010-01-27 | Paper |
Learning to integrate deduction and search in reasoning about quantified Boolean formulas
Frontiers of Combining Systems | 2010-01-07 | Paper |
Theory and Applications of Satisfiability Testing
Lecture Notes in Computer Science | 2009-07-24 | Paper |
Theory and Applications of Satisfiability Testing
Lecture Notes in Computer Science | 2009-07-24 | Paper |
A self-adaptive multi-engine solver for quantified Boolean formulas
Constraints | 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
Logic for Programming, Artificial Intelligence, and Reasoning | 2009-01-27 | Paper |
Principles and Practice of Constraint Programming – CP 2004
Lecture Notes in Computer Science | 2008-09-09 | Paper |
Report of the third QBF solvers evaluation
| 2007-03-30 | Paper |
Formal Methods in Computer-Aided Design
Lecture Notes in Computer Science | 2006-10-20 | Paper |
SAT-based planning in complex domains: Concurrency, constraints and nondeterminism
Artificial Intelligence | 2006-02-07 | Paper |
Backjumping for quantified Boolean logic satisfiability
Artificial Intelligence | 2006-02-07 | Paper |
Mechanizing Mathematical Reasoning
Lecture Notes in Computer Science | 2006-01-10 | Paper |
Theory and Applications of Satisfiability Testing
Lecture Notes in Computer Science | 2005-12-16 | Paper |
Theory and Applications of Satisfiability Testing
Lecture Notes in Computer Science | 2005-12-16 | Paper |
scientific article; zbMATH DE number 2086590 (Why is no real title available?)
| 2004-08-11 | Paper |
SAT vs. Translation Based decision procedures for modal logics: a comparative evaluation
Journal of Applied Non-Classical Logics | 2004-01-11 | Paper |
scientific article; zbMATH DE number 1931668 (Why is no real title available?)
| 2003-06-20 | Paper |
scientific article; zbMATH DE number 1903365 (Why is no real title available?)
| 2003-05-01 | Paper |
scientific article; zbMATH DE number 1884351 (Why is no real title available?)
| 2003-03-18 | Paper |
SAT-based decision procedures for classical modal logics
Journal of Automated Reasoning | 2002-08-20 | Paper |
scientific article; zbMATH DE number 1765680 (Why is no real title available?)
| 2002-07-10 | Paper |
scientific article; zbMATH DE number 1765679 (Why is no real title available?)
| 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 |
scientific article; zbMATH DE number 1614702 (Why is no real title available?)
| 2001-07-05 | Paper |
scientific article; zbMATH DE number 1612554 (Why is no real title available?)
| 2001-07-01 | Paper |
scientific article; zbMATH DE number 1612543 (Why is no real title available?)
| 2001-07-01 | Paper |
scientific article; zbMATH DE number 1538057 (Why is no real title available?)
| 2001-03-11 | Paper |
