Hardness and Optimality in QBF Proof Systems Modulo NP.

Leroy Chew

Browse the full SAT paper archive.