Title: Constraint and Integer Programming