[BFL90] Non-Deterministic Exponential Time Has Two-Prover Interactive Protocols

Authors: László Babai, Lance Fortnow, Carsten Lund | Venue: FOCS 1990 | Source

Abstract

TODO — abstract.

BibTeX

Copy

@Inproceedings{FOCS:BabForLun90,
  author = {L{\'a}szl{\'o} Babai and Lance Fortnow and Carsten Lund},
  title = {Non-Deterministic Exponential Time Has Two-Prover Interactive Protocols},
  pages = {16--25},
  booktitle = {31st Annual Symposium on Foundations of Computer Science},
  address = {St. Louis, MO, USA},
  month = {oct~22--24},
  publisher = {{IEEE} Computer Society Press},
  year = {1990},
  doi = {10.1109/FSCS.1990.89520},
}