Relating Existing Powerful Proof Systems for QBF.

Leroy Chew, Marijn J. H. Heule

Browse the full SAT paper archive.