[AS92] Probabilistic Checking of Proofs; A New Characterization of NP

Authors: Sanjeev Arora, Shmuel Safra | Venue: FOCS 1992 | Source

Abstract

TODO — abstract.

BibTeX

Copy

@Inproceedings{FOCS:AroSaf92,
  author = {Sanjeev Arora and Shmuel Safra},
  title = {Probabilistic Checking of Proofs; {A} New Characterization of {NP}},
  pages = {2--13},
  booktitle = {33rd Annual Symposium on Foundations of Computer Science},
  address = {Pittsburgh, PA, USA},
  month = {oct~24--27},
  publisher = {{IEEE} Computer Society Press},
  year = {1992},
  doi = {10.1109/SFCS.1992.267824},
}