Extracting (Easily) Checkable Proofs from a Satisfiability Solver that Employs both Preorder and Postorder Resolution.

Allen Van Gelder

Browse the full ISAIM paper archive.