DPLL(T): Fast decision procedures. (2004)

by H Ganzinger, G Hagen, R Nieuwenhuis, A Olivera, C Tinelli
Venue:In 16th International Conference on Computer Aided Verification (CAV).