Simulating Cutting Plane Proofs with Restricted Degree of Falsity by Resolution.

Edward A. Hirsch, Sergey I. Nikolenko

Browse the full SAT paper archive.