Publications
Models and emerging trends of concurrent constraint programming
Constraints 18(4), October 2013
Iterative and core-guided MaxSAT solving: A survey and assessment
Constraints 18(4), October 2013
Redundant disequalities in the Latin Square problem
Constraints 18(4), October 2013
Balancing and scheduling of flexible mixed model assembly lines
Constraints 18(3), July 2013
Nogood-based asynchronous forward checking algorithms
Constraints 18(3), July 2013
Domain consistency with forbidden values
Constraints 18(3), July 2013
Probabilistic constraints for nonlinear inverse problems - An ocean color remote sensing example
Constraints 18(3), July 2013
Multiset variable representations and constraint propagation
Constraints 18(3), July 2013
Search combinators
Constraints 18(2), Special Issue on Constraint Modelling and Reformulation, April 2013
Solving weighted CSPs with meta-constraints by reformulation into satisfiability modulo theories
Constraints 18(2), Special Issue on Constraint Modelling and Reformulation, April 2013
Reformulation based MaxSAT robustness
Constraints 18(2), Special Issue on Constraint Modelling and Reformulation, April 2013
Using dual presolving reductions to reformulate cumulative constraints
Constraints 18(2), Special Issue on Constraint Modelling and Reformulation, April 2013
Formulating the template ILP consistency problem as a constraint satisfaction problem
Constraints 18(2), Special Issue on Constraint Modelling and Reformulation, April 2013
Introduction to the special issue on constraint modelling and reformulation
Constraints 18(2), Special Issue on Constraint Modelling and Reformulation, April 2013
On matrices, automata, and double counting in constraint programming
Constraints 18(1), January 2013
Structural tractability of enumerating CSP solutions
Constraints 18(1), January 2013
On the hardness of solving edge matching puzzles as SAT or CSP problems
Constraints 18(1), January 2013
On the reification of global constraints
Constraints 18(1), January 2013
Grand challenges for constraint programming
Constraints (January 2014)