@inproceedings{whd09,
  AUTHOR    = { Christoph M. Wintersteiger and Youssef Hamadi and Leonardo de Moura},
  TITLE     = { A Concurrent Portfolio Approach to SMT Solving },
  BOOKTITLE = { Proceedings of CAV 2009 },
  YEAR      = { 2009 },
  PUBLISHER = { Springer},
  SERIES    = { LNCS },
  NUMBER    = { 5643 }
}