DPLL(T) with Exhaustive Theory Propagation and its Application to Difference Logic (2005)

by R Nieuwenhuis, A Oliveras
Venue:In Proc. CAV’05, volume 3576 of LNCS