Hardness and Optimality in QBF Proof Systems Modulo NP

Leroy Chew
January 2021
PDF Cite
Type
Technical Report