Proof Verification and Hardness of Approximation Problems

Sanjeev Arora, Carsten Lund, Rajeev Motwani, Madhu Sudan, Mario Szegedy

Browse the full FOCS paper archive.