Handbook of constraint programming - Rossi, Francesca 1962-; Van Beek, Peter; Walsh, Toby (Foundations of artificial intelligence, 2006)