Principles And Practice Of Constraint Programming Cp 2000 by Rina Dechter