Kroening, Daniel
Decision procedures : an algorithmic point of view
- Berlin: Springer, 2008
- xvi, 304 p.; ill.: 24 cm.
- Texts in theoretical computer science .
9783540741046 (hbk)
Computer science
Decision making -- Mathematical models
Information theory
Logic design
Software engineering
518.1 / KRO