43 citations · 60 across the 11 of their papers we have counts for
1 paper · 2 filters
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…