7 citations · 12 across the 3 of their papers we have counts for
1 paper · 1 filter
Alexander Fuchs, Amit Goel, Jim Grundy +2
Theory interpolation has found several successful applications in model checking. We present a novel method for computing interpolants for ground formulas in the theory of equality…