DPLL(T): Fast decision procedures (0)

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