Efficiently solving quantified bit-vector formulas.

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

Browse the full FMCAD paper archive.