Complexity Classifications Of Boolean Constraint Satisfaction Problems by Sanjeev Khanna, Nadia Creignou & Madhu Sudan