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

by B Dutertre, L de Moura
Venue:In CAV