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