6 citations · 7 across the 9 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
cs.LO2018
Delta-Decision Procedures for Exists-Forall Problems over the Reals
Soonho Kong, Armando Solar-Lezama, Sicun Gao
Solving nonlinear SMT problems over real numbers has wide applications in robotics and AI. While significant progress is made in solving quantifier-free SMT formulas in the domain,…
cs.PL2018
REAS: Combining Numerical Optimization with SAT Solving
Jeevana Priya Inala, Sicun Gao, Soonho Kong +1
In this paper, we present ReaS, a technique that combines numerical optimization with SAT solving to synthesize unknowns in a program that involves discrete and floating point comp…