| Publication | Date of Publication | Type |
|---|
From statistical knowledge bases to degrees of belief
Artificial Intelligence | 2022-09-27 | Paper |
| Trail saving on backtrack | 2021-04-07 | Paper |
| Clause size reduction with all-UIP learning | 2021-04-07 | Paper |
| Abstract cores in implicit hitting set MaxSat solving | 2021-04-07 | Paper |
| Speeding up assumption-based SAT | 2020-05-20 | Paper |
Finding a collection of MUSes incrementally
Integration of AI and OR Techniques in Constraint Programming | 2016-06-27 | Paper |
Enhancing search-based QBF solving by dynamic blocked clause elimination
Logic for Programming, Artificial Intelligence, and Reasoning | 2016-01-12 | Paper |
Cores in core based MaxSat algorithms: an analysis
Lecture Notes in Computer Science | 2014-09-26 | Paper |
Off the Trail: Re-examining the CDCL Algorithm
Theory and Applications of Satisfiability Testing – SAT 2012 | 2013-08-12 | Paper |
Recovering and utilizing partial duality in QBF
Theory and Applications of Satisfiability Testing – SAT 2013 | 2013-08-05 | Paper |
Exploiting the power of MIP solvers in MAXSAT
Theory and Applications of Satisfiability Testing – SAT 2013 | 2013-08-05 | Paper |
Exploiting circuit representations in QBF solving
Theory and Applications of Satisfiability Testing – SAT 2010 | 2010-09-29 | Paper |
A heuristic search approach to planning with temporally extended preferences
Artificial Intelligence | 2009-08-31 | Paper |
Theory and Applications of Satisfiability Testing
Lecture Notes in Computer Science | 2009-07-24 | Paper |
Beyond CNF: A Circuit-Based QBF Solver
Lecture Notes in Computer Science | 2009-07-07 | Paper |
Dynamically Partitioning for Solving QBF
Theory and Applications of Satisfiability Testing – SAT 2007 | 2009-03-10 | Paper |
Using SAT in QBF
Principles and Practice of Constraint Programming - CP 2005 | 2008-09-09 | Paper |
Principles and Practice of Constraint Programming – CP 2004
Lecture Notes in Computer Science | 2008-09-09 | Paper |
GAC Via Unit Propagation
Principles and Practice of Constraint Programming – CP 2007 | 2008-09-02 | Paper |
Solution Directed Backjumping for QCSP
Principles and Practice of Constraint Programming – CP 2007 | 2008-09-02 | Paper |
Binary Clause Reasoning in QBF
Lecture Notes in Computer Science | 2007-09-04 | Paper |
| scientific article; zbMATH DE number 2084741 (Why is no real title available?) | 2004-08-09 | Paper |
| scientific article; zbMATH DE number 2080297 (Why is no real title available?) | 2004-08-04 | Paper |
Binary vs. non-binary constraints
Artificial Intelligence | 2002-09-09 | Paper |
Reasoning about noisy sensors and effectors in the situation calculus
Artificial Intelligence | 2002-07-24 | Paper |
| scientific article; zbMATH DE number 1390347 (Why is no real title available?) | 2000-09-26 | Paper |
Planning for temporally extended goals.
Annals of Mathematics and Artificial Intelligence | 2000-09-10 | Paper |
Downward refinement and the efficiency of hierarchical problem solving
Artificial Intelligence | 2000-06-21 | Paper |
Using temporal logics to express search control knowledge for planning
Artificial Intelligence | 2000-06-04 | Paper |
| scientific article; zbMATH DE number 67476 (Why is no real title available?) | 1992-09-27 | Paper |
A non-reified temporal logic
Artificial Intelligence | 1992-09-26 | Paper |
scientific article; zbMATH DE number 4189217 (Why is no real title available?)
(available as arXiv preprint) | 1990-01-01 | Paper |
| scientific article; zbMATH DE number 4158604 (Why is no real title available?) | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4176492 (Why is no real title available?) | 1989-01-01 | Paper |
