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