DPLL( T): Fast Decision Procedures (2004)

by H Ganzinger, G Hagen, R Nieuwenhuis, A Oliveras, C Tinelli
Venue:In Proc. CAV 2004, LNCS 3114