Handbook Of Constraint Programming by Peter van der Beek & Francesca Rossi