# Bit-Vector Interpolation and Quantifier Elimination by Lazy Reduction

> Research article (2018 Formal Methods in Computer Aided Design (FMCAD), 2018) · cited 14× · AI/ML

**Wikidata**: [openalex:W2910918011](https://www.wikidata.org/wiki/openalex:W2910918011)  
**Source**: https://4ort.xyz/entity/bit-vector-interpolation-and-quantifier-elimination-by-lazy-reduction