-
1
-
-
0032058198
-
Proof verification and the hardness of approximation problems
-
S. Arora, C, Lund, R. Motwani, M. Sudan, and M. Szegedy, Proof verification and the hardness of approximation problems. Journal of the ACM, 45, 1998.
-
(1998)
Journal of the ACM
, vol.45
-
-
Arora, S.1
Lund, C.2
Motwani, R.3
Sudan, M.4
Szegedy, M.5
-
2
-
-
0031651077
-
Probabilistic checking of proofs: A new characterization of NP
-
Jan
-
S. Arora and S. Safra. Probabilistic checking of proofs: A new characterization of NP. Journal of the ACM, 45(1):70-122, Jan. 1998.
-
(1998)
Journal of the ACM
, vol.45
, Issue.1
, pp. 70-122
-
-
Arora, S.1
Safra, S.2
-
4
-
-
0036819124
-
Quantum nonlocality, bell inequalities and the memory loophole
-
J. Barrett, D. Collins, L. Hardy, A. Kent, and S. Popescu. Quantum nonlocality, bell inequalities and the memory loophole. Physical Review A, 66:042111, 2002.
-
(2002)
Physical Review A
, vol.66
, pp. 042111
-
-
Barrett, J.1
Collins, D.2
Hardy, L.3
Kent, A.4
Popescu, S.5
-
5
-
-
0000486090
-
On the Einstein-Podolsky-Rosen paradox
-
J. S. Bell. On the Einstein-Podolsky-Rosen paradox. Physics, l(3):195-290, 1964.
-
(1964)
Physics
, vol.50
, Issue.3
, pp. 195-290
-
-
Bell, J.S.1
-
6
-
-
84898945449
-
Multi-prover interactive proofs: How to remove intractability assumptions
-
M. Ben-Or, S. Goldwasser, J. Kilian, and A. Wigderson. Multi-prover interactive proofs: How to remove intractability assumptions. In Proceedings of the 20th Annual ACM Symposium on Theory of Computing, pages 113-131, 1988.
-
(1988)
Proceedings of the 20th Annual ACM Symposium on Theory of Computing
, pp. 113-131
-
-
Ben-Or, M.1
Goldwasser, S.2
Kilian, J.3
Wigderson, A.4
-
7
-
-
57049177997
-
Efficient identification schemes using two prover interactive proofs
-
M. Ben-Or, S, Goldwasser, J. Kilian, and A. Wigderson. Efficient identification schemes using two prover interactive proofs. In Advances in Cryptology - CRYPTO '92, 12th Annual International Cryptology Conference, Proceedings, 1989.
-
(1989)
Advances in Cryptology - CRYPTO '92, 12th Annual International Cryptology Conference, Proceedings
-
-
Ben-Or, M.1
Goldwasser, S.2
Kilian, J.3
Wigderson, A.4
-
9
-
-
33745302806
-
On the hardness of approximating multicut and sparsest-cut
-
S. Chawla, R. Krauthgamer, R. Kumar, Y. Rabani, and D. Sivakumar. On the hardness of approximating multicut and sparsest-cut. Proceedings of the 21th Annual IEEE Conference on Computational Complexity, 15, 2006.
-
(2006)
Proceedings of the 21th Annual IEEE Conference on Computational Complexity
, vol.15
-
-
Chawla, S.1
Krauthgamer, R.2
Kumar, R.3
Rabani, Y.4
Sivakumar, D.5
-
11
-
-
36049056258
-
Proposed experiment to test local hidden-variable theories
-
Oct
-
J. F. Clauser, M. A. Home, A. Shimony, and R. A. Holt. Proposed experiment to test local hidden-variable theories. Phys. Rev. Lett., 23(15):880-884, Oct 1969.
-
(1969)
Phys. Rev. Lett
, vol.23
, Issue.15
, pp. 880-884
-
-
Clauser, J.F.1
Home, M.A.2
Shimony, A.3
Holt, R.A.4
-
13
-
-
57049089591
-
Low communication 2-prover zero-knowledge proofs for NP
-
C. Dwork, U. Feige, J. Kilian, M. Naor, and S. Safra. Low communication 2-prover zero-knowledge proofs for NP. In Advances in Cryptology - CRYPTO '92, 12th Annual International Cryptology Conference. Proceedings, 1992.
-
(1992)
Advances in Cryptology - CRYPTO '92, 12th Annual International Cryptology Conference. Proceedings
-
-
Dwork, C.1
Feige, U.2
Kilian, J.3
Naor, M.4
Safra, S.5
-
14
-
-
0002175090
-
Approximating clique is almost NP-complete (preliminary version)
-
U. Feige, S. Goldwasser, L. Lovasz, S. Safra, and M. Szegedy. Approximating clique is almost NP-complete (preliminary version). In Proceedings of the 32nd Annual IEEE Symposium on Foundations of Computer Science, 1991.
-
(1991)
Proceedings of the 32nd Annual IEEE Symposium on Foundations of Computer Science
-
-
Feige, U.1
Goldwasser, S.2
Lovasz, L.3
Safra, S.4
Szegedy, M.5
-
16
-
-
0036998523
-
Error reduction by parallel repetition-A negative result
-
U. Feige and O. Verbitsky. Error reduction by parallel repetition-A negative result. Combinatorica, 22, 2002.
-
(2002)
Combinatorica
, vol.22
-
-
Feige, U.1
Verbitsky, O.2
-
17
-
-
4444353075
-
Accardi contra bell (cum mundi): The impossible coupling
-
R. D. Gill. Accardi contra bell (cum mundi): The impossible coupling. IMS LECTURE NOTES-MONOGRAPH SERIES, 42, 2003.
-
(2003)
IMS LECTURE NOTES-MONOGRAPH SERIES
, vol.42
-
-
Gill, R.D.1
-
18
-
-
84893574327
-
Improved approximation algorithms for maximum cut and satisfiability problems using semidefinite programming
-
M. Goemans and D. Williamson. Improved approximation algorithms for maximum cut and satisfiability problems using semidefinite programming. Journal of the ACM, 42, 1995.
-
(1995)
Journal of the ACM
, vol.42
-
-
Goemans, M.1
Williamson, D.2
-
19
-
-
33244466257
-
Approximating unique games
-
ACM Press
-
A. Gupta and K. Talwar. Approximating unique games. In SODA, pages 99-106. ACM Press, 2006.
-
(2006)
SODA
, pp. 99-106
-
-
Gupta, A.1
Talwar, K.2
-
23
-
-
0043016118
-
Vertex cover might be hard to approximate to within 2-ε
-
IEEE Computer Society
-
S. Khot and O. Regev. Vertex cover might be hard to approximate to within 2-ε. In IEEE Conference on Computational Complexity, page 379. IEEE Computer Society, 2003.
-
(2003)
IEEE Conference on Computational Complexity
, pp. 379
-
-
Khot, S.1
Regev, O.2
-
25
-
-
0000610204
-
A one-round, two-prover, zero-knowledge protocol for NP
-
D. Lapidot and A. Shamir. A one-round, two-prover, zero-knowledge protocol for NP. Combinatorica, 15, 1995.
-
(1995)
Combinatorica
, vol.15
-
-
Lapidot, D.1
Shamir, A.2
-
28
-
-
0030671785
-
Direct product results and the GCD problem, in old and new communication models
-
I. Parnafes, R. Raz, and A. Wigderson. Direct product results and the GCD problem, in old and new communication models. In Proceedings of the 29th Annual ACM Symposium on Theory of Computing, pages 363-372, 1997.
-
(1997)
Proceedings of the 29th Annual ACM Symposium on Theory of Computing
, pp. 363-372
-
-
Parnafes, I.1
Raz, R.2
Wigderson, A.3
-
29
-
-
0001226672
-
A parallel repetition theorem
-
June
-
R. Raz. A parallel repetition theorem. SIAM Journal on Computing, 27(3):763-803, June 1998.
-
(1998)
SIAM Journal on Computing
, vol.27
, Issue.3
, pp. 763-803
-
-
Raz, R.1
-
30
-
-
57049121342
-
A counterexample to strong parallel repetition
-
Technical Report TR08-018, ECCC: Electronic Colloquium on Computational Complexity
-
R. Raz. A counterexample to strong parallel repetition. Technical Report TR08-018, ECCC: Electronic Colloquium on Computational Complexity, 2008.
-
(2008)
-
-
Raz, R.1
|