5 citations · 9 across the 4 of their papers we have counts for
1 paper · 1 filter
Bernhard Gleiss, Laura Kovacs, Martin Suda
We study interpolant extraction from local first-order refutations. We present a new theoretical perspective on interpolation based on clearly separating the condition on logical s…