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

by B Dutertre, L de Moura
Venue:In Proceedings of the 18th International Conference on Computer Aided Verification, CAV’06, Lecture Notes in Computer Science