Document Versions

A Fast Linear-Arithmetic Solver for DPLL(T –Bruno Dutertre, Leonardo De Moura — 2006