| Publication | Date of Publication | Type |
|---|
| Constraint reasoning | 2024-09-11 | Paper |
Corrigendum to: ``Learning constraints through partial queries''
Artificial Intelligence | 2024-04-30 | Paper |
Complexity of minimum-size arc-inconsistency explanations
Constraints | 2024-02-14 | Paper |
Learning constraints through partial queries
Artificial Intelligence | 2023-06-27 | Paper |
Learning Constraint Satisfaction Problems: An ILP Perspective
Data Mining and Constraint Programming | 2021-05-20 | Paper |
Adapting consistency in constraint solving
Data Mining and Constraint Programming | 2021-05-20 | Paper |
Reordering all agents in asynchronous backtracking for distributed constraint satisfaction problems
Artificial Intelligence | 2020-01-20 | Paper |
| Time-bounded query generator for constraint acquisition | 2018-11-21 | Paper |
Triangle-based consistencies for cost function networks
Constraints | 2018-03-28 | Paper |
Constraint acquisition
Artificial Intelligence | 2017-02-22 | Paper |
Computing and restoring global inverse consistency in interactive constraint satisfaction
Artificial Intelligence | 2016-11-01 | Paper |
Tractability-preserving transformations of global cost functions
Artificial Intelligence | 2016-09-07 | Paper |
Corrigendum to: ``Min-domain retroactive ordering for asynchronous backtracking''
Constraints | 2015-01-22 | Paper |
Nogood-based asynchronous forward checking algorithms
Constraints | 2014-12-12 | Paper |
Buffered Resource Constraint: Algorithms and Complexity
Integration of AI and OR Techniques in Constraint Programming | 2014-05-27 | Paper |
The \textsc{AllDifferent} constraint with precedences
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems | 2011-05-26 | Paper |
Efficient algorithms for singleton arc consistency
Constraints | 2011-04-06 | Paper |
Principles and Practice of Constraint Programming – CP 2003
Lecture Notes in Computer Science | 2010-03-02 | Paper |
Range and Roots: two common patterns for specifying and propagating counting and occurrence constraints
Artificial Intelligence | 2009-09-14 | Paper |
Theory and Applications of Satisfiability Testing
Lecture Notes in Computer Science | 2009-07-24 | Paper |
Theoretical analysis of singleton arc consistency and its extensions
Artificial Intelligence | 2009-07-17 | Paper |
Domain filtering consistencies for non-binary constraints
Artificial Intelligence | 2009-07-17 | Paper |
| Asynchronous breadth-first search DCOP algorithm | 2009-02-03 | Paper |
Acquiring Parameters of Implied Global Constraints
Principles and Practice of Constraint Programming - CP 2005 | 2008-09-09 | Paper |
The ROOTS Constraint
Principles and Practice of Constraint Programming - CP 2006 | 2008-09-09 | Paper |
BlockSolve: A Bottom-Up Approach for Solving Quantified CSPs
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 |
Principles and Practice of Constraint Programming – CP 2004
Lecture Notes in Computer Science | 2008-09-09 | Paper |
Principles and Practice of Constraint Programming – CP 2004
Lecture Notes in Computer Science | 2008-09-09 | Paper |
Principles and Practice of Constraint Programming – CP 2004
Lecture Notes in Computer Science | 2008-09-09 | Paper |
Filtering Algorithms for the NValue Constraint
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems | 2008-03-17 | Paper |
An optimal coarse-grained arc consistency algorithm
Artificial Intelligence | 2007-10-23 | Paper |
Asynchronous backtracking without adding links: a new member in the ABT family
Artificial Intelligence | 2007-10-23 | Paper |
The complexity of reasoning with global constraints
Constraints | 2007-10-22 | Paper |
Recent Advances in Constraints
Lecture Notes in Computer Science | 2007-05-02 | Paper |
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
Lecture Notes in Computer Science | 2007-04-30 | Paper |
Filtering algorithms for the NValue constraint
Constraints | 2007-01-05 | Paper |
Statistical regimes across constrainedness regions
Constraints | 2006-11-03 | Paper |
| scientific article; zbMATH DE number 2084715 (Why is no real title available?) | 2004-08-09 | Paper |
| scientific article; zbMATH DE number 2084723 (Why is no real title available?) | 2004-08-09 | Paper |
| scientific article; zbMATH DE number 2084732 (Why is no real title available?) | 2004-08-09 | Paper |
| scientific article; zbMATH DE number 2084765 (Why is no real title available?) | 2004-08-09 | Paper |
| scientific article; zbMATH DE number 2080338 (Why is no real title available?) | 2004-08-04 | Paper |
On forward checking for non-binary constraint satisfaction.
Artificial Intelligence | 2003-01-21 | Paper |
Domain filtering consistencies
The Journal of Artificial Intelligence Research (JAIR) | 2001-06-18 | Paper |
| scientific article; zbMATH DE number 1487978 (Why is no real title available?) | 2000-08-10 | Paper |
| scientific article; zbMATH DE number 1487979 (Why is no real title available?) | 2000-08-10 | Paper |
Using constraint metaknowledge to reduce arc consistency computation
Artificial Intelligence | 1999-03-02 | Paper |
