"Theory and Application of Satisfiability Testing - SAT 2011 " - читать интересную книгу автора (Karem A. Sakallah, Laurent Simon)