Bridging Constraint Satisfaction and Boolean Satisfiability - Petke, Justyna (Springer International Publishing, 2015)