| Publication | Date of Publication | Type |
|---|
Invariant graph propagation in constraint-based local search
The Journal of Artificial Intelligence Research (JAIR) | 2025-10-22 | Paper |
When bounds consistency implies domain consistency for regular counting constraints
Constraints | 2022-09-29 | Paper |
| Generating compound moves in local search by hybridisation with complete search | 2019-10-14 | Paper |
| MiniZinc with strings | 2017-10-13 | Paper |
MiniZinc with strings
(available as arXiv preprint) | 2017-10-13 | Paper |
| Design and implementation of bounded-length sequence variables | 2017-08-04 | Paper |
Control With Minimal Cost-Per-Symbol Encoding and Quasi-Optimality of Event-Based Encoders
IEEE Transactions on Automatic Control | 2017-07-27 | Paper |
A parametric propagator for pairs of \textsc{Sum} constraints with a discrete convexity property
Artificial Intelligence | 2016-11-01 | Paper |
Constraint solving on bounded string variables
Integration of AI and OR Techniques in Constraint Programming | 2016-07-25 | 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 |
A constraint-based local search backend for MiniZinc
Constraints | 2015-11-09 | Paper |
On the reification of global constraints
Constraints | 2015-04-29 | Paper |
On matrices, automata, and double counting in constraint programming
Constraints | 2015-04-29 | Paper |
An automaton constraint for local search
Fundamenta Informaticae | 2011-11-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 |
Static and dynamic structural symmetry breaking
Annals of Mathematics and Artificial Intelligence | 2010-06-16 | Paper |
Dynamic structural symmetry breaking for constraint satisfaction problems
Constraints | 2009-11-16 | Paper |
Solving necklace constraint problems
Journal of Algorithms | 2009-07-24 | Paper |
A bound on the overlap of same-sized subsets
Annals of Combinatorics | 2009-06-08 | Paper |
Revisiting constraint-directed search
Information and Computation | 2009-04-16 | Paper |
Incremental Algorithms for Local Search from Existential Second-Order Logic
Principles and Practice of Constraint Programming - CP 2005 | 2008-09-09 | Paper |
Inferring Variable Conflicts for Local Search
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 |
Set Variables and Local Search
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems | 2008-03-17 | Paper |
Design of financial CDO squared transactions using constraint programming
Constraints | 2007-10-22 | Paper |
Generic incremental algorithms for local search
Constraints | 2007-10-11 | Paper |
Logic Based Program Synthesis and Transformation
Lecture Notes in Computer Science | 2005-12-27 | Paper |
| scientific article; zbMATH DE number 2102717 (Why is no real title available?) | 2004-09-24 | Paper |
| scientific article; zbMATH DE number 1487982 (Why is no real title available?) | 2000-08-10 | Paper |
| scientific article; zbMATH DE number 1400094 (Why is no real title available?) | 2000-02-06 | Paper |
Constraints and universal algebra
Annals of Mathematics and Artificial Intelligence | 1999-05-03 | Paper |
