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