Efficiently Solving Quantified Bit-Vector Formulas

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

Details

Publication typeInproceedings
Published inProceedings of the 10th International Conference on Formal Methods in Computer-Aided Design (FMCAD)
> Publications > Efficiently Solving Quantified Bit-Vector Formulas