| Publication | Date of Publication | Type |
|---|
The satisfiability constraint gap
Artificial Intelligence | 2022-09-22 | Paper |
\textsc{Conjure}: automatic generation of constraint models from problem specifications
Artificial Intelligence | 2022-08-11 | Paper |
Solving computational problems in the theory of word-representable graphs
(available as arXiv preprint) | 2019-03-04 | Paper |
| Solving computational problems in the theory of word-representable graphs | 2019-03-04 | Paper |
A review of literature on parallel constraint solving
Theory and Practice of Logic Programming | 2018-12-04 | Paper |
Automatically improving constraint models in Savile Row
Artificial Intelligence | 2017-11-16 | Paper |
Generalized support and formal development of constraint propagators
AI Communications | 2017-11-15 | Paper |
Complexity of \(n\)-queens completion
Journal of Artificial Intelligence Research | 2017-10-24 | Paper |
Asymptotic and finite size parameters for phase transitions: Hamiltonian circuit as a case study
Information Processing Letters | 2016-06-09 | Paper |
| \(S\)-crucial and bicrucial permutations with respect to squares | 2015-08-18 | Paper |
\(S\)-crucial and bicrucial permutations with respect to squares
(available as arXiv preprint) | 2015-08-18 | Paper |
Generating custom propagators for arbitrary constraints
Artificial Intelligence | 2014-06-10 | Paper |
Optimal implementation of watched literals and more general techniques
The Journal of Artificial Intelligence Research (JAIR) | 2013-11-06 | Paper |
Short and long supports for constraint propagation
Journal of Artificial Intelligence Research | 2013-02-25 | Paper |
Using stochastic local search to solve quantified Boolean formulae
Lecture Notes in Computer Science | 2010-03-02 | Paper |
Generic SBDD using computational group theory
Lecture Notes in Computer Science | 2010-03-02 | Paper |
Theory and Applications of Satisfiability Testing
Lecture Notes in Computer Science | 2009-07-24 | Paper |
Solving quantified constraint satisfaction problems
Artificial Intelligence | 2009-07-17 | Paper |
Generalised arc consistency for the AllDifferent constraint: an empirical survey
Artificial Intelligence | 2009-07-17 | Paper |
Watched Literals for Constraint Propagation in Minion
Principles and Practice of Constraint Programming - CP 2006 | 2008-09-09 | Paper |
Conditional Symmetry Breaking
Principles and Practice of Constraint Programming - CP 2005 | 2008-09-09 | Paper |
Symmetry and Consistency
Principles and Practice of Constraint Programming - CP 2005 | 2008-09-09 | Paper |
| Search in the patience game `Black Hole' | 2008-01-14 | Paper |
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
Lecture Notes in Computer Science | 2005-12-27 | Paper |
Theory and Applications of Satisfiability Testing
Lecture Notes in Computer Science | 2005-12-15 | Paper |
Heuristic solution of open bin packing problems
Journal of Heuristics | 2005-10-13 | Paper |
| scientific article; zbMATH DE number 2084708 (Why is no real title available?) | 2004-08-09 | Paper |
Frozen development in graph coloring
Theoretical Computer Science | 2002-03-03 | Paper |
Random constraint satisfaction: Flaws and structure
Constraints | 2001-11-12 | Paper |
Satisfiability in the Year 2000
Journal of Automated Reasoning | 2001-05-01 | Paper |
Decomposable constraints
Artificial Intelligence | 2000-12-12 | Paper |
Search algorithms in type theory
Theoretical Computer Science | 2000-08-23 | Paper |
The TSP phase transition
Artificial Intelligence | 1998-07-23 | Paper |
| scientific article; zbMATH DE number 1149403 (Why is no real title available?) | 1998-05-10 | Paper |
Easy problems are sometimes hard
Artificial Intelligence | 1995-01-11 | Paper |
Theory matrices (for modal logics) using alphabetical monotonicity
Studia Logica | 1994-12-01 | Paper |
A sequent- or tableau-style system for Lewis's counterfactual logic VC
Notre Dame Journal of Formal Logic | 1993-02-22 | Paper |
