Interactive proofs and the hardness of approximating cliques
Journal of the ACM (JACM)
Hi-index | 0.00 |
The Weizmann Workshop on Probabilistic Proofs and Applications to Program Checking, Cryptography, and Hardness of Approximation was held at the Weizmann Institute of Science, on January 10-13, 1994. The following report provides the abstracts of the talks given at the workshop, the list of participants, and relevant references.