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