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

by Bruno Dutertre, Leonardo de Moura