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