Constraint networks: techniques and algorithms - Lecoutre, Christophe (ISTE Ltd., 2009)