@inproceedings{whd09,
  AUTHOR    = { Christoph M. Wintersteiger and Youssef Hamadi and Leonardo de Moura},
  TITLE     = { Efficiently Solving Quantified Bit-Vector Formulas },
  BOOKTITLE = { Proceedings of FMCAD 2010 },
  YEAR      = { 2010 },
  NOTE  = { to appear }
}