Decision Procedures : An Algorithmic Point of View (Texts in Theoretical Computer Science : An EATCS Series)

Kroening, D./ Strichman, O.

Springer（2008/05発売）

• 製本 Hardcover:ハードカバー版／ページ数 335 p.
• 商品コード 9783540741046

Full Description

A decision procedure is an algorithm that, given a decision problem, terminates with a correct yes/no answer.

The authors introduce the basic terminology of satisfiability modulo theories and then, in separate chapters, study decision procedures for each of the following theories: propositional logic;