| Publication | Date of Publication | Type |
|---|
Invariant graph propagation in constraint-based local search
The Journal of Artificial Intelligence Research (JAIR) | 2025-10-22 | Paper |
A constraint programming model for the scheduling and workspace layout design of a dual-arm multi-tool assembly robot
Constraints | 2023-09-15 | Paper |
| Generating compound moves in local search by hybridisation with complete search | 2019-10-14 | Paper |
Auto-tabling for subproblem presolving in MiniZinc
Constraints | 2018-02-22 | 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 |
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 |
Combining tree partitioning, precedence, and incomparability constraints
Constraints | 2009-05-29 | 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 |
The tree Constraint
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems | 2008-03-17 | 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 |
Program Development in Computational Logic
Lecture Notes in Computer Science | 2005-12-23 | Paper |
| scientific article; zbMATH DE number 1926611 (Why is no real title available?) | 2003-06-11 | Paper |
| scientific article; zbMATH DE number 1882057 (Why is no real title available?) | 2003-03-13 | Paper |
An abstract formalization of correct schemas for program synthesis
Journal of Symbolic Computation | 2001-02-06 | Paper |
| scientific article; zbMATH DE number 1396180 (Why is no real title available?) | 2000-06-13 | Paper |
Inductive synthesis of recursive logic programs: achievements and prospects
The Journal of Logic Programming | 2000-03-27 | Paper |
| scientific article; zbMATH DE number 792049 (Why is no real title available?) | 1995-08-30 | Paper |
Logic program synthesis from incomplete specifications
Journal of Symbolic Computation | 1994-05-09 | Paper |
