DPLL(T) with exhaustive theory propagation and its application to dierence logic (2005)

by R Nieuwenhuis, A Oliveras
Venue:In Seventeenth Conference on Computer Aided Veri (CAV'05