Publications
Explanation-based large neighborhood search
Constraints 19(4), October 2014
meSAT: multiple encodings of CSP to SAT
Constraints 19(4), October 2014
Graph coloring inequalities from all-different systems
Constraints 19(4), October 2014
Symmetries, almost symmetries, and lazy clause generation
Constraints 19(4), October 2014
A quadratic edge-finding filtering algorithm for cumulative resource constraints
Constraints 19(3), July 2014
Consistency techniques for polytime linear global cost functions in weighted constraint satisfaction
Constraints 19(3), July 2014
The octagon abstract domain for continuous constraints
Constraints 19(3), July 2014
Looking into the crystal-ball: a bright future for CP
Constraints 19(2), April 2014
Toward sustainable development in constraint programming
Constraints 19(2), April 2014
Grand challenges for constraint programming
Constraints 19(2), April 2014
Qualitative modelling via constraint programming
Constraints 19 (2), April 2014
Strategic decision making on complex systems
Constraints 19(2), April 2014
Collective decision making: a great opportunity for constraint reasoning
Constraints 19(2), April 2014
Optimal and efficient filtering algorithms for table constraints
Constraints 19(1), January 2014
Propagation engine prototyping with a domain specific language
Constraints 19(1), January 2014
An optimal arc consistency algorithm for a particular case of sequence constraint
Constraints 19(1), January 2014
View-based propagation of decomposable constraints
Constraints 18(4), October 2013