Daniel Kroening, <br/><br/>
Decision procedures:   an algorithmic point of view / 
Daniel Kroening and Ofer Strichman 
 - Berlin :  Springer,  2016. 
 - xxi, 356 p. :  ill. ;  23 cm 
 - Texts in theoretical computer science an EATCS series. .
<br/><br/>Including reference and index. 
<br/><br/><label>ISBN: </label>9783662570654 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Logic, Symbolic and mathematical<br/>Decision making--Mathematical models<br/>Algorithms
<br/><br/><label>Dewey Class. No.: </label>004.0151  / KRO/D