Constraint networks techniques and algorithms - Lecoutre, Christophe (ISTE/John Wiley & Sons, 2009)