| Publication | Date of Publication | Type |
|---|
| NACRE -- a nogood and clause reasoning engine | 2025-02-20 | Paper |
| Extending compact-diagram to basic smart multi-valued variable diagrams | 2019-10-14 | Paper |
| Soft-regular with a prefix-size violation measure | 2018-11-21 | Paper |
Computing and restoring global inverse consistency in interactive constraint satisfaction
Artificial Intelligence | 2016-11-01 | Paper |
The smart table constraint
Integration of AI and OR Techniques in Constraint Programming | 2016-07-25 | Paper |
| A path-optimal GAC algorithm for table constraints | 2015-12-11 | 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 |
Sliced Table Constraints: Combining Compression and Tabular Reduction
Integration of AI and OR Techniques in Constraint Programming | 2014-05-27 | Paper |
Domain k-Wise Consistency Made as Simple as Generalized Arc Consistency
Integration of AI and OR Techniques in Constraint Programming | 2014-05-27 | Paper |
Efficient constraint propagation for graph coloring
Electronic Notes in Discrete Mathematics | 2013-07-23 | Paper |
STR2: optimized simple tabular reduction for table constraints
Constraints | 2012-06-20 | Paper |
Efficient algorithms for singleton arc consistency
Constraints | 2011-04-06 | Paper |
Second-order consistencies
Journal of Artificial Intelligence Research | 2011-03-08 | Paper |
Promoting robust black-box solvers through competitions
Constraints | 2010-11-19 | Paper |
Reasoning from last conflict(s) in constraint programming
Artificial Intelligence | 2009-12-21 | Paper |
Random constraint satisfaction: easy generation of hard (satisfiable) instances
Artificial Intelligence | 2009-07-09 | Paper |
Constraint-Level Advice for Shaving
Logic Programming | 2009-01-22 | Paper |
Generalized Arc Consistency for Positive Table Constraints
Principles and Practice of Constraint Programming - CP 2006 | 2008-09-09 | Paper |
Principles and Practice of Constraint Programming – CP 2004
Lecture Notes in Computer Science | 2008-09-09 | Paper |
Path Consistency by Dual Consistency
Principles and Practice of Constraint Programming – CP 2007 | 2008-09-02 | Paper |
Exploiting Past and Future: Pruning by Inconsistent Partial State Dominance
Principles and Practice of Constraint Programming – CP 2007 | 2008-09-02 | Paper |
| Recording and minimizing nogoods from restarts | 2008-04-14 | Paper |
| Using SAT encodings to derive CSP value ordering heuristics | 2008-04-14 | Paper |
| scientific article; zbMATH DE number 2084751 (Why is no real title available?) | 2004-08-09 | Paper |
| scientific article; zbMATH DE number 1759728 (Why is no real title available?) | 2002-08-06 | Paper |
| scientific article; zbMATH DE number 1759711 (Why is no real title available?) | 2002-06-25 | Paper |
