A fast linear-arithmetic solver for DPLL(T (2006)

by B Dutertre, L de Moura
Venue:In Proceedings of the Computer-Aided Verification Conference (CAV