"SAT 2005: Satisfiability Research in the Year 2005" - читать интересную книгу автора (Enrico Giunchiglia, Toby Walsh)