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