δ-Complete Decision Procedures for Satisfiability over the Reals

delta_complete_decision_procedures.pdf (323.3 KB)