| Publication | Date of Publication | Type |
|---|
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 |
Constraint and satisfiability reasoning for graph coloring
Journal of Artificial Intelligence Research | 2020-11-03 | Paper |
| A hybrid approach for exact coloring of massive graphs | 2019-10-14 | Paper |
Constraint programming for planning test campaigns of communications satellites
Constraints | 2018-02-22 | Paper |
| Explanation-based weighted degree | 2017-08-04 | Paper |
Approximation of the parallel machine scheduling problem with additional unit resources
Discrete Applied Mathematics | 2016-10-07 | Paper |
Solving Variants of the Job Shop Scheduling Problem Through Conflict-Directed Search
INFORMS Journal on Computing | 2016-01-25 | Paper |
An optimal arc consistency algorithm for a particular case of sequence constraint
Constraints | 2015-04-29 | Paper |
Scheduling scientific experiments for comet exploration
Constraints | 2015-04-29 | Paper |
SAT and hybrid models of the car sequencing problem
Integration of AI and OR Techniques in Constraint Programming | 2014-05-27 | Paper |
Buffered Resource Constraint: Algorithms and Complexity
Integration of AI and OR Techniques in Constraint Programming | 2014-05-27 | Paper |
Local search and constraint programming for the post enrolment-based course timetabling problem
Annals of Operations Research | 2012-11-15 | Paper |
Soft constraints of difference and equality
Journal of Artificial Intelligence Research | 2011-06-16 | Paper |
Job Shop Scheduling with Setup Times and Maximal Time-Lags: A Simple Constraint Programming Approach
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems | 2010-06-22 | 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 |
The ROOTS Constraint
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 |
Filtering Algorithms for the NValue Constraint
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems | 2008-03-17 | 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 |
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
Lecture Notes in Computer Science | 2005-12-27 | Paper |
