TY  - BOOK
AU  - Kroening, Daniel
AU  - Strichman, Ofer
TI  - Decision procedures: an algorithmic point of view
SN  - 9783540741046
U1  - 005.12 
PY  - 2008///
CY  - Heidelberg
PB  - Springer-Verlag
KW  - Algorithm
N2  - A decision procedure is an algorithm that, given a decision problem, terminates with a correct yes/no answer. Here, the authors focus on theories that are expressive enough to model real problems, but are still decidable. Specifically, the book concentrates on decision procedures for first-order theories that are commonly used in automated verification and reasoning, theorem-proving, compiler optimization and operations research. The techniques described in the book draw from fields such as graph theory and logic, and are routinely used in industry. (http://www.springer.com)
ER  -