[BHZ87] Does co-NP Have Short Interactive Proofs?

Authors: Ravi B. Boppana, Johan Håstad, Stathis Zachos | Venue: Information Processing Letters 1987 | Source

Abstract

TODO — abstract.

BibTeX

@article{BHZ87,
  author  = {Ravi B. Boppana and Johan H{\aa}stad and Stathis Zachos},
  title   = {Does co-{NP} Have Short Interactive Proofs?},
  journal = {Information Processing Letters},
  volume  = {25},
  number  = {2},
  pages   = {127--132},
  year    = {1987},
}