43 citations · 170 across the 19 of their papers we have counts for
1 paper · 2 filters
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…