Journal of Automated Reasoning

, Volume 51, Issue 4, pp 453–456

“Decision Procedures: An Algorithmic Point of View,” by Daniel Kroening and Ofer Strichman, Springer-Verlag, 2008


DOI: 10.1007/s10817-013-9295-4

Cite this article as:
Barrett, C. J Autom Reasoning (2013) 51: 453. doi:10.1007/s10817-013-9295-4

Copyright information

© Springer Science+Business Media Dordrecht 2013

Authors and Affiliations

  1. 1.New York UniversityNew YorkUSA

Personalised recommendations