Constraint satisfaction problems CSP formalisms and techniques - Ghédira, Khaled (Computer engineering and IT series, 2013)