Christoph M. Wintersteiger, Youssef Hamadi, Leonardo Mendonça de Moura. Efficiently solving quantified bit-vector formulas. Formal Methods in System Design, 42(1):3-23, 2013. [doi]
@article{WintersteigerHM13,
title = {Efficiently solving quantified bit-vector formulas},
author = {Christoph M. Wintersteiger and Youssef Hamadi and Leonardo Mendonça de Moura},
year = {2013},
doi = {10.1007/s10703-012-0156-2},
url = {http://dx.doi.org/10.1007/s10703-012-0156-2},
researchr = {https://researchr.org/publication/WintersteigerHM13},
cites = {0},
citedby = {0},
journal = {Formal Methods in System Design},
volume = {42},
number = {1},
pages = {3-23},
}