-
2
-
-
0032058198
-
Proof verification and the hardness of approximation problems
-
May
-
Sanjeev Arora, Carsten Lund, Rajeev Motwani, Madhu Sudan, and Mario Szegedy. Proof verification and the hardness of approximation problems. Journal of the ACM, 45(3):501-555, May 1998.
-
(1998)
Journal of the ACM
, vol.45
, Issue.3
, pp. 501-555
-
-
Arora, S.1
Lund, C.2
Motwani, R.3
Sudan, M.4
Szegedy, M.5
-
3
-
-
0031651077
-
Probabilistic checking of proofs: A new characterization of NP
-
January
-
Sanjeev Arora and Shmuel Safra. Probabilistic checking of proofs: A new characterization of NP. Journal of the ACM, 45(1):70-122, January 1998.
-
(1998)
Journal of the ACM
, vol.45
, Issue.1
, pp. 70-122
-
-
Arora, S.1
Safra, S.2
-
4
-
-
4544310411
-
Robust PCPs of proximity, shorter PCPs and applications to coding
-
Eli Ben-Sasson, Oded Goldreich, Prahladh Harsha, Madhu Sudan, and Salil Vadhan. Robust PCPs of proximity, shorter PCPs and applications to coding. In Proceedings of the 36th Annual ACM Symposium on Theory of Computing, pages 1-10, 2004.
-
(2004)
Proceedings of the 36th Annual ACM Symposium on Theory of Computing
, pp. 1-10
-
-
Ben-Sasson, E.1
Goldreich, O.2
Harsha, P.3
Sudan, M.4
Vadhan, S.5
-
5
-
-
26944453726
-
Robust locally testable codes and products of codes
-
E. Ben-Sasson and M. Sudan. Robust Locally Testable Codes and Products of Codes. RANDOM 2004, pages 286-297, 2004.
-
(2004)
RANDOM 2004
, pp. 286-297
-
-
Ben-Sasson, E.1
Sudan, M.2
-
6
-
-
34848899251
-
Simple PCPs with poly-log rate and query complexity
-
to appear
-
E. Ben-Sasson and M. Sudan. Simple PCPs with Poly-log Rate and Query Complexity. 37th STOC (to appear), 2005.
-
(2005)
37th STOC
-
-
Ben-Sasson, E.1
Sudan, M.2
-
10
-
-
0027929411
-
Nearly linear-size holographic proofs
-
Montreal, Quebec, Canada, 23-25 May
-
Alexander Polishchuk and Daniel A. Spielman. Nearly linear-size holographic proofs. In Proceedings of the Twenty-Sixth Annual ACM Symposium on the Theory of Computing, pages 194-203, Montreal, Quebec, Canada, 23-25 May 1994.
-
(1994)
Proceedings of the Twenty-sixth Annual ACM Symposium on the Theory of Computing
, pp. 194-203
-
-
Polishchuk, A.1
Spielman, D.A.2
-
11
-
-
0030128622
-
Robust characterizations of polynomials with applications to program testing
-
April
-
Ronitt Rubinfeld and Madhu Sudan. Robust characterizations of polynomials with applications to program testing. SIAM Journal on Computing, 25(2):252-271, April 1996.
-
(1996)
SIAM Journal on Computing
, vol.25
, Issue.2
, pp. 252-271
-
-
Rubinfeld, R.1
Sudan, M.2
-
12
-
-
0030714232
-
A sub-constant error-probability low-degree test, and a sub-constant error-probability PCP characterization of NP
-
Ran Raz and Shmuel Safra. A Sub-Constant Error-Probability Low-Degree Test, and a Sub-Constant Error-Probability PCP Characterization of NP. In Proceedings of the 29th STOC, pages 475-484, 1997.
-
(1997)
Proceedings of the 29th STOC
, pp. 475-484
-
-
Raz, R.1
Safra, S.2
-
13
-
-
26944481662
-
Algorithmic introduction to coding theory
-
Madhu Sudan. Algorithmic introduction to coding theory. Lecture notes, Available from http://theory.csail.mit.edu/~madhu/FT01/, 2001.
-
(2001)
Lecture Notes
-
-
Sudan, M.1
|