@TechReport{Dutertre+deMoura:csl-report06,
  author = 	 {Dutertre, Bruno and de~Moura, Leonardo},
  title = 	 {Integrating {Simplex} with {DPPL(T)}},
  institution =  {Computer Science Laboratory, SRI International},
  year = 	 2006,
  number = 	 {SRI-CSL-06-01},
  month = 	 {May},
  note = 	 {\url{http://yices.csl.sri.com/papers/sri-csl-06-01.pdf}}}