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