| Publication | Date of Publication | Type |
|---|
| Proving Conjectures Acquired by Composing Multiple Biases | 2023-12-14 | Paper |
Boolean-arithmetic equations: acquisition and uses
Integration of Constraint Programming, Artificial Intelligence, and Operations Research | 2023-10-04 | Paper |
| Parameterised bounds on the sum of variables in time-series constraints | 2022-12-21 | Paper |
Invariants for time-series constraints
Constraints | 2021-12-16 | Paper |
Deriving generic bounds for time-series constraints based on regular expressions characteristics
Constraints | 2018-03-22 | Paper |
| Range-consistent forbidden regions of Allen's relations | 2017-08-04 | Paper |
A parametric propagator for pairs of \textsc{Sum} constraints with a discrete convexity property
Artificial Intelligence | 2016-11-01 | Paper |
Time-series constraints: improvements and application in CP and MIP contexts
Integration of AI and OR Techniques in Constraint Programming | 2016-06-27 | Paper |
The \textsc{TaskIntersection} constraint
Integration of AI and OR Techniques in Constraint Programming | 2016-06-27 | Paper |
Using finite transducers for describing and synthesising structural time-series constraints
Constraints | 2016-04-12 | Paper |
| An \(O(n\log n)\) bound consistency algorithm for the conjunction of an \textit{alldifferent} and an inequality between a sum of variables and a constant, and its generalization | 2015-12-11 | Paper |
On the reification of global constraints
Constraints | 2015-04-29 | Paper |
Synchronized sweep algorithms for scalable scheduling constraints
Constraints | 2015-04-29 | Paper |
On matrices, automata, and double counting in constraint programming
Constraints | 2015-04-29 | Paper |
A synchronized sweep algorithm for the \(k\)-dimensional cumulative constraint
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems | 2013-06-04 | Paper |
New filtering for the cumulative constraint in the context of non-overlapping rectangles
Annals of Operations Research | 2011-06-22 | Paper |
On matrices, automata, and double counting
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems | 2010-06-22 | Paper |
The increasing Nvalue constraint
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems | 2010-06-22 | Paper |
Undirected forest constraints
Annals of Operations Research | 2010-02-01 | Paper |
Six Ways of Integrating Symmetries within Non-overlapping Constraints
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems | 2009-06-03 | Paper |
Combining tree partitioning, precedence, and incomparability constraints
Constraints | 2009-05-29 | Paper |
Necessary Condition for Path Partitioning Constraints
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems | 2009-03-10 | Paper |
A Continuous Multi-resources cumulative Constraint with Positive-Negative Resource Consumption-Production
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems | 2009-03-10 | Paper |
| Filtering algorithms for the \texttt{Same} and \texttt{UsedBy} constraints | 2008-11-21 | Paper |
Bounds of graph parameters for global constraints
RAIRO - Operations Research | 2008-11-03 | Paper |
Bounds of graph parameters for global constraints
RAIRO - Operations Research | 2008-11-03 | Paper |
Graph Invariants as Necessary Conditions for Global Constraints
Principles and Practice of Constraint Programming - CP 2005 | 2008-09-09 | Paper |
Principles and Practice of Constraint Programming – CP 2004
Lecture Notes in Computer Science | 2008-09-09 | Paper |
Bounds of Graph Characteristics
Principles and Practice of Constraint Programming - CP 2005 | 2008-09-09 | Paper |
New Filtering for the $\mathit{cumulative}$ Constraint in the Context of Non-Overlapping Rectangles
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems | 2008-05-27 | Paper |
The tree Constraint
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems | 2008-03-17 | Paper |
Programming Languages and Systems
Lecture Notes in Computer Science | 2007-09-28 | Paper |
Global constraint catalogue: past, present and future
Constraints | 2007-05-10 | Paper |
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
Lecture Notes in Computer Science | 2007-04-30 | Paper |
Reformulation of global constraints based on constraints checkers
Constraints | 2006-11-03 | Paper |
Sweep synchronization as a global propagation mechanism
Computers & Operations Research | 2006-05-16 | Paper |
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
Lecture Notes in Computer Science | 2005-12-27 | Paper |
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
Lecture Notes in Computer Science | 2005-12-27 | Paper |
Recent Advances in Constraints
Lecture Notes in Computer Science | 2005-11-11 | Paper |
Logic Programming
Lecture Notes in Computer Science | 2005-08-26 | Paper |
| scientific article; zbMATH DE number 2084707 (Why is no real title available?) | 2004-08-09 | Paper |
| scientific article; zbMATH DE number 2084718 (Why is no real title available?) | 2004-08-09 | Paper |
| scientific article; zbMATH DE number 2084719 (Why is no real title available?) | 2004-08-09 | Paper |
| scientific article; zbMATH DE number 2085269 (Why is no real title available?) | 2004-08-09 | Paper |
| scientific article; zbMATH DE number 2080298 (Why is no real title available?) | 2004-08-04 | Paper |
Computing a lower approximation of the compulsory part of a task with varying duration and varying resource consumption.
European Journal of Operational Research | 2004-01-05 | Paper |
Introducing global constraints in CHIP
Mathematical and Computer Modelling | 1995-04-20 | Paper |
| scientific article; zbMATH DE number 4085041 (Why is no real title available?) | 1988-01-01 | Paper |
