@inproceedings{whd10,
  AUTHOR    = { Christoph M. Wintersteiger and Youssef Hamadi and Leonardo de Moura},
  TITLE     = { Efficiently Solving Quantified Bit-Vector Formulas },
  BOOKTITLE = { Proceedings of FMCAD},
  YEAR      = { 2010 },
  PUBLISHER = { IEEE Press}
}