"A Survey of Recent Advances in SAT-Based Formal Verification" - читать интересную книгу автора (Hans Kleine Büning, Theodor Lettmann)