A Fast Linear-Arithmetic Solver for DPLL(T (2006)

by Bruno Dutertre, Leonardo de Moura
Venue:In Proceedings of the 18th Computer-Aided Verification conference, volume 4144 of LNCS