Handbook of constraint programming - Rossi, Francesca; Beek, Peter van; Walsh, Toby (Fundations of Artificial Intelligence, 2006)