Relativized NP Search Problems and Propositional Proof Systems

Josh Buresh-Oppenheim, Tsuyoshi Morioka. Relativized NP Search Problems and Propositional Proof Systems. In 19th Annual IEEE Conference on Computational Complexity (CCC 2004), 21-24 June 2004, Amherst, MA, USA. pages 54-67, IEEE Computer Society, 2004. [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