Constraint and Integer Programming by Michela Milano