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]

@inproceedings{Buresh-OppenheimM04,
  title = {Relativized NP Search Problems and Propositional Proof Systems},
  author = {Josh Buresh-Oppenheim and Tsuyoshi Morioka},
  year = {2004},
  url = {http://csdl.computer.org/comp/proceedings/ccc/2004/2120/00/21200054abs.htm},
  tags = {search},
  researchr = {https://researchr.org/publication/Buresh-OppenheimM04},
  cites = {0},
  citedby = {0},
  pages = {54-67},
  booktitle = {19th Annual IEEE Conference on Computational Complexity (CCC 2004), 21-24 June 2004, Amherst, MA, USA},
  publisher = {IEEE Computer Society},
  isbn = {0-7695-2120-7},
}