"Delta-Decision Procedures for Exists-Forall Problems over the Reals."

Soonho Kong, Armando Solar-Lezama, Sicun Gao (2018)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics