| Publication | Date of Publication | Type |
|---|
Optimal planning with expressive action languages as constraint optimization
| 2024-05-29 | Paper |
Translation-based approaches for solving disjunctive temporal problems with preferences
Constraints | 2019-10-25 | Paper |
Ideal and real belief about belief
Practical Reasoning | 2019-04-29 | Paper |
Twelve years of QBF evaluations: QSAT is PSPACE-hard and it shows
Fundamenta Informaticae | 2017-11-09 | Paper |
Planning as quantified Boolean formula
| 2015-12-11 | Paper |
A subset-matching size-bounded cache for testing satisfiability in modal logics
Annals of Mathematics and Artificial Intelligence | 2015-06-17 | Paper |
Combining approaches for solving satisfiability problems with qualitative preferences
AI Communications | 2014-09-24 | Paper |
\textsf{TSAT++}: an open platform for satisfiability modulo theories
| 2013-09-25 | Paper |
Algorithms for Solving Satisfiability Problems with Qualitative Preferences
Correct Reasoning | 2012-07-23 | Paper |
An action-based approach to the formal specification and automatic analysis of business processes under authorization constraints
Journal of Computer and System Sciences | 2012-05-11 | Paper |
Introducing preferences in planning as satisfiability
Journal Of Logic And Computation | 2011-06-10 | Paper |
Solving satisfiability problems with preferences
Constraints | 2010-11-19 | Paper |
sQueezeBF: an effective preprocessor for QBFs based on equivalence reasoning
Theory and Applications of Satisfiability Testing – SAT 2010 | 2010-09-29 | Paper |
Theory and Applications of Satisfiability Testing
Lecture Notes in Computer Science | 2009-07-24 | Paper |
On the relation among answer set solvers
Annals of Mathematics and Artificial Intelligence | 2009-07-06 | Paper |
Clause/Term resolution and learning in the evaluation of quantified Boolean formulas
| 2009-04-28 | Paper |
optsat: A Tool for Solving SAT Related Optimization Problems
Logics in Artificial Intelligence | 2008-10-30 | Paper |
Principles and Practice of Constraint Programming – CP 2004
Lecture Notes in Computer Science | 2008-09-09 | Paper |
Answer set programming based on propositional satisfiability
Journal of Automated Reasoning | 2007-01-30 | Paper |
The SAT-based approach to separation logic
Journal of Automated Reasoning | 2007-01-24 | Paper |
Formal Methods in Computer-Aided Design
Lecture Notes in Computer Science | 2006-10-20 | Paper |
Logic Programming
Lecture Notes in Computer Science | 2006-06-27 | Paper |
AI*IA 2005: Advances in Artificial Intelligence
Lecture Notes in Computer Science | 2006-06-27 | Paper |
Nonmonotonic causal theories
Artificial Intelligence | 2006-02-07 | 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 |
Ideal and real belief about belief
Journal of Logic and Computation | 2003-02-06 | Paper |
scientific article; zbMATH DE number 1796153 (Why is no real title available?)
| 2002-09-04 | 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 |
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 1538056 (Why is no real title available?)
| 2001-03-11 | Paper |
scientific article; zbMATH DE number 1538057 (Why is no real title available?)
| 2001-03-11 | Paper |
scientific article; zbMATH DE number 1396181 (Why is no real title available?)
| 2000-06-13 | Paper |
Representing action: indeterminacy and ramifications
Artificial Intelligence | 1998-06-30 | Paper |
Embedding complex decision procedures inside an interactive theorem prover.
Annals of Mathematics and Artificial Intelligence | 1997-05-12 | Paper |
Structured proof procedures
Annals of Mathematics and Artificial Intelligence | 1997-03-03 | Paper |
A multicontext architecture for formalizing complex reasoning
International Journal of Intelligent Systems | 1995-11-20 | Paper |
