Relativized NP Search Problems and Propositional Proof Systems

Josh Buresh-Oppenheim, Tsuyoshi Morioka. Relativized NP Search Problems and Propositional Proof Systems. Electronic Colloquium on Computational Complexity (ECCC), (084), 2003. [doi]

Authors

Josh Buresh-Oppenheim

This author has not been identified. Look up 'Josh Buresh-Oppenheim' in Google

Tsuyoshi Morioka

This author has not been identified. Look up 'Tsuyoshi Morioka' in Google