Proof verification and the hardness of approximation problems

Sanjeev Arora, Carsten Lund, Rajeev Motwani, Madhu Sudan, Mario Szegedy. Proof verification and the hardness of approximation problems. Electronic Colloquium on Computational Complexity (ECCC), 5(8), 1998. [doi]

Abstract

Abstract is missing.