DPLL(T): Fast decision procedures (2004)

by H Ganzinger, G Hagen, R Nieuwenhuis, A Oliveras, C Tinelli
Venue:In Procs. 16th Int. Conf. Computer Aided Verification (CAV), LNCS 3114