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