| dc.contributor.author | Sudan, Madhu | |
| dc.date.accessioned | 2010-03-04T19:32:53Z | |
| dc.date.available | 2010-03-04T19:32:53Z | |
| dc.date.issued | 2009-03 | |
| dc.identifier.issn | 0001-0782 | |
| dc.identifier.uri | http://hdl.handle.net/1721.1/52308 | |
| dc.description.abstract | Can a proof be checked without reading it? That certainly
seems impossible, no matter how much reviewers of mathematical
papers may wish for this. But theoretical computer
science has shown that we can get very close to this objective!
Namely random consistency checks could reveal errors
in proofs, provided one is careful in choosing the format in
which proofs should be written. In this article we explain
this notion, constructions of such probabilistically checkable
proofs, and why this is important to all of combinatorial
optimization. | en |
| dc.description.sponsorship | National Science Foundation (Awards CCR-0726525 and CCR-0829672) | en |
| dc.language.iso | en_US | |
| dc.publisher | Association for Computing Machinery | en |
| dc.relation.isversionof | http://dx.doi.org/10.1145/1467247.1467267 | en |
| dc.rights | Article is made available in accordance with the publisher's policy and may be subject to US copyright law. Please refer to the publisher's site for terms of use. | en |
| dc.source | Joanne Hanley | en |
| dc.title | Probabilistically checkable proofs | en |
| dc.type | Article | en |
| dc.identifier.citation | Sudan, Madhu. “Probabilistically checkable proofs.” Commun. ACM 52.3 (2009): 76-84. | en |
| dc.contributor.department | Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory | en_US |
| dc.contributor.department | Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science | en_US |
| dc.contributor.approver | Sudan, Madhu | |
| dc.contributor.mitauthor | Sudan, Madhu | |
| dc.relation.journal | Communications of the ACM | en |
| dc.eprint.version | Author's final manuscript | |
| dc.type.uri | http://purl.org/eprint/type/SubmittedJournalArticle | en |
| eprint.status | http://purl.org/eprint/status/PeerReviewed | en |
| dspace.orderedauthors | Sudan, Madhu | en |
| mit.license | PUBLISHER_POLICY | en |
| mit.metadata.status | Complete | |
