"Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series)" - читать интересную книгу автора (Daniel Kroening, Ofer Strichman, R.E. Bryant)