"Complexity Classifications of Boolean Constraint Satisfaction Problems (Monographs on Discrete Mathematics and Applications)" - читать интересную книгу автора (Nadia Creignou, Sanjeev Khanna, Madhu Sudan)