Literature for Decision Procedures for Specific Theories


Link to the Homepage: Decision Procedures for Specific Theories


no image available Bradley, Aaron R. and Manna, Zohar
The calculus of computation:
Decision procedures with applications to verification
Springer 2007
no image available Kroening, Daniel and Strichman, Ofer
Decision procedures:
An algorithmic point of view
Springer 2016