Constraint satisfaction problems CSP formalisms and techniques - Ghédira, Khaled. (ISTE ; Wiley, 2013)