@InProceedings{GanHNOT-CAV-04,
  author =	 {Harald Ganzinger and George Hagen and Robert
                  Nieuwenhuis and Albert Oliveras and Cesare Tinelli},
  title =	 {{DPLL(T)}: Fast Decision Procedures},
  booktitle =	 {Proceedings of the 16th International Conference on
                  Computer Aided Verification, CAV'04 (Boston,
                  Massachusetts)},
  pages =	 {175-188},
  year =	 2004,
  editor =	 {R.~Alur and D.~Peled},
  volume =	 3114,
  series =	 {Lecture Notes in Computer Science},
  publisher =	 {Springer},
  url =          {ftp://ftp.cs.uiowa.edu/pub/tinelli/papers/GanHNOT-CAV-04.pdf},
}