dReal: An SMT Solver for Nonlinear Theories over the Reals.

Sicun Gao, Soonho Kong, Edmund M. Clarke

Browse the full CADE paper archive.