Kroening, Daniel. <br/><br/>
Decision Procedures: An Algorithmic Point of View 

 - Berlin  Springer  2008 
 - xvi, 304p. 
<br/><br/><label>ISBN: </label>9783540741046 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Decision making--Mathematical models
<br/><br/><label>Dewey Class. No.: </label>004.015  / Kro