27 citations · 88 across the 10 of their papers we have counts for
1 paper · 1 filter
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…