7 citations · 7 across the 1 of their papers we have counts for
1 paper
Petra Hozzová, Laura Kovács, Chase Norman +1
We present an automated reasoning framework for synthesizing recursion-free programs using saturation-based theorem proving. Given a functional specification encoded as a first-ord…