Bridging constraint satisfaction and boolean satisfiability (2015)