An Abstract Interpretation of DPLL(T)
M. Brain‚ V. D'Silva‚ L. Haller‚ A. Griggio and D. Kroening
Book Title
Proc. of the conference on Verification‚ Model Checking and Abstract Interpretation
Year
2013
M. Brain‚ V. D'Silva‚ L. Haller‚ A. Griggio and D. Kroening