Artículo:

Proof Verification and the Hardness of Approximation Problems

Autor:

S. Arora

C. Lund

R. Motwani

M. Sudan

M. Szegedy

Página:

501

Publicación:

Journal of the Association for Computing Machinery

Volúmen:

45

Número:

3

Periodo:

Mayo 1998

ISSN:

00045411

SrcID:

00045411-1998-03.TXT