Efficiently Solving Quantified Bit-Vector Formulas

Christoph M. Wintersteiger, Youssef Hamadi, and Leonardo de Moura
2010

In Proceedings of the 10th International Conference on Formal Methods in Computer-Aided Design (FMCAD)