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