@article {whd12,
   author = {Wintersteiger, Christoph M. and Hamadi, Youssef and de Moura, Leonardo},
   title = {Efficiently solving quantified bit-vector formulas},
   journal = {Formal Methods in System Design},
   publisher = {Springer},
   url = {http://dx.doi.org/10.1007/s10703-012-0156-2},
   year = { 2012 }
}