Engineering DPLL(T) + Saturation.

Leonardo Mendona de Moura, Nikolaj S. Bjrner

Browse the full CADE paper archive.