Constraint Programming (Lecture 8) Marco Kuhlmann, Guido Tack