| Publication | Date of Publication | Type |
|---|
A comparison of SAT encodings for acyclicity of directed graphs
| 2024-11-26 | Paper |
Real-time passenger bus routing problems with preferences and tradeoffs
Annals of Mathematics and Artificial Intelligence | 2023-07-10 | Paper |
Arc consistency revisited
Integration of Constraint Programming, Artificial Intelligence, and Operations Research | 2019-10-14 | Paper |
Shape neutral analysis of graph-based data-structures
Theory and Practice of Logic Programming | 2018-12-04 | Paper |
A path-optimal GAC algorithm for table constraints
| 2015-12-11 | Paper |
P. van Beek and R. Dechter's theorem on constraint looseness and local consistency
Journal of the ACM | 2015-11-12 | Paper |
STR3: a path-optimal filtering algorithm for table constraints
Artificial Intelligence | 2015-05-06 | Paper |
Improving the lower bound of simple tabular reduction
Constraints | 2015-04-29 | Paper |
Solving functional constraints by variable substitution
Theory and Practice of Logic Programming | 2011-06-15 | Paper |
An MDD-based generalized arc consistency algorithm for positive and negative table constraints and some global constraints
Constraints | 2010-05-05 | Paper |
scientific article; zbMATH DE number 5547861 (Why is no real title available?)
| 2009-04-28 | Paper |
Extracting Microstructure in Binary Constraint Networks
Lecture Notes in Computer Science | 2009-03-05 | Paper |
Efficient Algorithms for Functional Constraints
Logic Programming | 2009-01-22 | Paper |
Ad-hoc Global Constraints for Life
Principles and Practice of Constraint Programming - CP 2005 | 2008-09-09 | Paper |
Towards “Propagation = Logic + Control”
Logic Programming | 2008-03-11 | Paper |
An optimal coarse-grained arc consistency algorithm
Artificial Intelligence | 2007-10-23 | Paper |
Applying ad-hoc global constraints with the case constraint to still-life
Constraints | 2006-11-03 | Paper |
Logic Programming
Lecture Notes in Computer Science | 2006-06-27 | Paper |
scientific article; zbMATH DE number 2084727 (Why is no real title available?)
| 2004-08-09 | Paper |
scientific article; zbMATH DE number 2080325 (Why is no real title available?)
| 2004-08-04 | Paper |
scientific article; zbMATH DE number 2080326 (Why is no real title available?)
| 2004-08-04 | Paper |
Solving hierarchical constraints over finite domains with local search
Annals of Mathematics and Artificial Intelligence | 2004-05-27 | Paper |
scientific article; zbMATH DE number 1941180 (Why is no real title available?)
| 2003-06-29 | Paper |
Parametric sequence alignment with constraints
Constraints | 2001-09-09 | Paper |
scientific article; zbMATH DE number 1420828 (Why is no real title available?)
| 2000-12-05 | Paper |
Meta-programming in CLP(R)
The Journal of Logic Programming | 1998-01-21 | Paper |
Projecting CLP(\({\mathcal R}\)) constraints
New Generation Computing | 1993-01-01 | Paper |
