δ-Complete Decision Procedures for Satisfiability over the Reals.

Sicun Gao, Jeremy Avigad, Edmund M. Clarke

Browse the full CADE paper archive.