77 citations · 126 across the 14 of their papers we have counts for
1 paper · 1 filter
Andrew Reynolds, Morgan Deters, Viktor Kuncak +2
We introduce the first program synthesis engine implemented inside an SMT solver. We present an approach that extracts solution functions from unsatisfiability proofs of the negate…