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

by B Duterte, L de Moura
Venue:In Eighteenth Conference on Computer Aided Verification (CAV’06