Interactive proofs and the hardness of approximating cliques. (1996)

by U Feige, S Goldwasser, L Lovasz, S Safra, M Szegedy
Venue:Journal of the ACM,