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

> Research article (2016 Formal Methods in Computer-Aided Design (FMCAD), 2016) · cited 22× · AI/ML

**Wikidata**: [openalex:W4252433905](https://www.wikidata.org/wiki/openalex:W4252433905)  
**Source**: https://4ort.xyz/entity/lazy-proofs-for-dpll-t-based-smt-solvers