Artículo:

Probabilistically checkable proofs

Autor:

Madhu Sudan

Resumen:

Can a proof be checked without reading it?

Página:

76

Sección:

Review articles

Publicación:

Communications of the ACM

Volúmen:

52

Número:

3

Periodo:

marzo 2009

ISSN:

00010782

SrcID:

00010782-2009-03.txt