Fast Verifying Proofs of Propositional Unsatisfiability via Window Shifting.

Jingchao Chen

Browse the full ISAIM paper archive.