"A Survey of Lower Bounds for Satisfiability and Related Problems" - читать интересную книгу автора (Dieter Melkebeek van)