: Constraints for Interactive Graphical Applications.
: Global Constraints as Graph Properties on a Structured Network of Elementary Constraints of the Same Type.
: A Scalable Linear Constraint Solver for User Interface Construction.
: New Search Heuristics for Max-CSP.
, Sven Thiel
: Faster Algorithms for Bound-Consistency of the Sortedness and the Alldifferent Constraint.
: Practical Investigation of Constraints with Graph Views.
Steven David Prestwich
: A Hybrid Search Architecture Applied to Hard Random 3-SAT and Low-Autocorrelation Binary Sequences.
: Linear Formulation of Constraint Programming Models and Hybrid Solvers.
: How to Model and Verify Concurrent Algorithms for Distributed CSPs.