Constraint and Integer Programming