Shortening QBF Proofs with Dependency Schemes.

Joshua Blinkhorn, Olaf Beyersdorff

Browse the full SAT paper archive.