Craig Interpolation
Craig Interpolation, Interpolation in Theories, Interpolation for DPLL, Interpolation for Nelson-Oppen proofs with mixed Literals.
interpolants.pdf
—
PDF document,
286 kB (293419 bytes)