"Complexity classifications of Boolean constraint satisfaction problems" - читать интересную книгу автора (Nadia Creignou, Sanjeev Khanna, Madhu Sudan)