-
2
-
-
0032058198
-
Proof verification and intractability of approximation problems
-
S. Arora, C. Lund, R. Motwani, M. Sudan, M. Szegedy: Proof Verification and Intractability of Approximation Problems. J. ACM 45 (1998), 501-555.
-
(1998)
J. ACM
, vol.45
, pp. 501-555
-
-
Arora, S.1
Lund, C.2
Motwani, R.3
Sudan, M.4
Szegedy, M.5
-
3
-
-
0031651077
-
Probabilistically checkable proofs: A new characterization of NP
-
S. Arora, M. Safra: Probabilistically Checkable Proofs: A New Characterization of NP. J. ACM 45 (1998), 70-122.
-
(1998)
J. ACM
, vol.45
, pp. 70-122
-
-
Arora, S.1
Safra, M.2
-
4
-
-
0040553020
-
Representation of group elements as short products
-
In "Theory and Practice of Combinatorics" (A. Rosa, G. Sabidussi, J. Turgeon eds.)
-
L. Babai, P. Erdös: Representation of group elements as short products. In "Theory and Practice of Combinatorics" (A. Rosa, G. Sabidussi, J. Turgeon eds.) Annals of Discrete Math. 12 (1982), 27-30.
-
(1982)
Annals of Discrete Math.
, vol.12
, pp. 27-30
-
-
Babai, L.1
Erdös, P.2
-
5
-
-
0002771903
-
Nondeterministic exponential time has two-prover interactive protocols
-
L. Babai, L. Fortnow, C. Lund: Nondeterministic exponential time has two-prover interactive protocols. Computational Complexity 1 (1991), 3-40.
-
(1991)
Computational Complexity
, vol.1
, pp. 3-40
-
-
Babai, L.1
Fortnow, L.2
Lund, C.3
-
6
-
-
85028539051
-
Checking computations in polylogarithmic time
-
L. Babai, L. Fortnow, L. A. Levin, M. Szegedy: Checking computations in polylogarithmic time. 23rd ACM STOC, 1991, pp. 21-31.
-
(1991)
23rd ACM STOC
, pp. 21-31
-
-
Babai, L.1
Fortnow, L.2
Levin, L.A.3
Szegedy, M.4
-
8
-
-
25044436332
-
Bounds on 2-query codeword testing
-
ECCC Report TR03-019
-
E. Ben Sasson, O. Goldreich, M. Sudan: Bounds on 2-Query Codeword Testing. ECCC Report TR03-019 (2003).
-
(2003)
-
-
Ben Sasson, E.1
Goldreich, O.2
Sudan, M.3
-
9
-
-
0038784507
-
Randomness-efficient low degree tests and short PCPs via epsilon-biased sets
-
E. Ben Sasson, M. Sudan, S. Vadhan, A. Wigderson: Randomness-efficient low degree tests and short PCPs via epsilon-biased sets. 35th ACM STOC, 2003, pp. 612-621.
-
(2003)
35th ACM STOC
, pp. 612-621
-
-
Ben Sasson, E.1
Sudan, M.2
Vadhan, S.3
Wigderson, A.4
-
10
-
-
0001831583
-
Semisimple cyclic and abelian codes
-
S. D. Berman: Semisimple Cyclic and Abelian Codes. Cybernetics 3 (1967), 21-30.
-
(1967)
Cybernetics
, vol.3
, pp. 21-30
-
-
Berman, S.D.1
-
11
-
-
0000619172
-
Self-testing/correcting with application to numerical problems
-
M. Blum, M. Luby, R. Rubinfield: Self-Testing/Correcting with Application to Numerical Problems. JCSS 47(3) (1993), 549-595.
-
(1993)
JCSS
, vol.47
, Issue.3
, pp. 549-595
-
-
Blum, M.1
Luby, M.2
Rubinfield, R.3
-
12
-
-
0026117686
-
On repeated-root cyclic codes
-
G. Castagnoli, J. L. Massey, P. A. Schoeller, N. von Seeman: On Repeated-Root Cyclic Codes. IEEE Transactions on Information Theory, 37(2) (1991), 337-342.
-
(1991)
IEEE Transactions on Information Theory
, vol.37
, Issue.2
, pp. 337-342
-
-
Castagnoli, G.1
Massey, J.L.2
Schoeller, P.A.3
Von Seeman, N.4
-
14
-
-
0036287481
-
Better lower bounds for locally decodable codes
-
A. Deshpande, R. Jain, T. Kavitha, S.V. Lokam, J. Radhakrishnan: Better lower bounds for locally decodable codes. 17th IEEE Conf. on Computational Complexity, 2002, pp. 152-161.
-
17th IEEE Conf. on Computational Complexity, 2002
, pp. 152-161
-
-
Deshpande, A.1
Jain, R.2
Kavitha, T.3
Lokam, S.V.4
Radhakrishnan, J.5
-
15
-
-
33748103563
-
Some improvements to total degree tests
-
K. Friedl, M. Sudan: Some improvements to total degree tests. 3rd Ann. Israel Symp. on Theory of Computing and Systems, Tel Aviv, Israel, 4-6 January 1995, pp. 190-198.
-
3rd Ann. Israel Symp. on Theory of Computing and Systems, Tel Aviv, Israel, 4-6 January 1995
, pp. 190-198
-
-
Friedl, K.1
Sudan, M.2
-
16
-
-
0036287480
-
Lower bounds for linear locally decodable codes and private information retrieval
-
O. Goldreich, H. Karloff, L. Schulman, L. Trevisan: Lower Bounds for Linear Locally Decodable Codes and Private Information Retrieval. 17th IEEE Conference on Computational Complexity, 2002, pp. 175-183.
-
17th IEEE Conference on Computational Complexity, 2002
, pp. 175-183
-
-
Goldreich, O.1
Karloff, H.2
Schulman, L.3
Trevisan, L.4
-
17
-
-
0036949141
-
Locally testable codes and PCPs of almost linear length
-
O. Goldreich, M. Sudan: Locally testable codes and PCPs of almost linear length. 43rd IEEE FOCS, 2002, pp. 13-22.
-
43rd IEEE FOCS, 2002
, pp. 13-22
-
-
Goldreich, O.1
Sudan, M.2
-
18
-
-
0033720713
-
On the efficiency of local decoding procedures for error-correcting codes
-
J. Katz, L. Trevisan: On the efficiency of local decoding procedures for error-correcting codes. 32nd ACM STOC, 2000, pp. 80-86.
-
32nd ACM STOC, 2000
, pp. 80-86
-
-
Katz, J.1
Trevisan, L.2
-
19
-
-
0038107747
-
Exponential lower bound for 2-query locally decodable codes via a quantum argument
-
I. Kerenidis, R. De Wolf: Exponential lower bound for 2-query locally decodable codes via a quantum argument. 35th ACM STOC, 2003, pp. 106-115.
-
35th ACM STOC, 2003
, pp. 106-115
-
-
Kerenidis, I.1
De Wolf, R.2
-
22
-
-
0344407409
-
Cyclic error-correcting codes in two symbols
-
Technical report AFCRC-TN-57-103, Air Force Cambridge Research Center, Cambridge, Mass.
-
E. Prange: Cyclic Error-Correcting codes in two symbols. Technical report AFCRC-TN-57-103, Air Force Cambridge Research Center, Cambridge, Mass. 1957.
-
(1957)
-
-
Prange, E.1
-
23
-
-
0011032035
-
Zum letzten Fermat'schen Theorem
-
A. Wieferich: Zum letzten Fermat'schen Theorem. J. Reine Angew. Math. 136 (1909), 293-302.
-
(1909)
J. Reine Angew. Math.
, vol.136
, pp. 293-302
-
-
Wieferich, A.1
|