Article PDF
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Monahan, R. Daniel Kroening and Ofer Strichman: Decision procedures. Form Asp Comp 30, 759 (2018). https://doi.org/10.1007/s00165-018-0466-2
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00165-018-0466-2