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

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