An Abstract Interpretation of DPLL(T).

Martin Brain, Vijay Victor D'Silva, Leopold Haller, Alberto Griggio, Daniel Kroening

Browse the full VMCAI paper archive.