The top documents tagged [interpolant generation]

Generating Tiny Interpolants and Near-interpolants from a Resolution Refutation
Documents Generating Tiny Interpolants and Near-interpolants from a Resolution Refutation

38 views