DPLL(T): Fast Decision Procedures (2004)

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