[ALM+92] Proof Verification and Hardness of Approximation Problems

Authors: Sanjeev Arora, Carsten Lund, Rajeev Motwani, Madhu Sudan, Mario Szegedy | Venue: FOCS 1992 | Source

Abstract

TODO — abstract.

BibTeX

Copy

@Inproceedings{FOCS:ALMSS92,
  author = {Sanjeev Arora and Carsten Lund and Rajeev Motwani and Madhu Sudan and Mario Szegedy},
  title = {Proof Verification and Hardness of Approximation Problems},
  pages = {14--23},
  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.267823},
}