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