Lazy proofs for DPLL(T)-based SMT solvers.

Guy Katz, Clark W. Barrett, Cesare Tinelli, Andrew Reynolds, Liana Hadarean

Browse the full FMCAD paper archive.