-
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
-
"Theory and Practice of Combinatorics" (A. Rosa, G. Sabidussi, J. Turgeon eds.)
-
L. BABAI, P. ERDO{combining double acute accent}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
Erdos, 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 poly-logarithmic time
-
L. BABAI, L. FORTNOW, L. A. LEVIN, M. SZEGEDY: Checking computations in poly-logarithmic time. 23rd ACM STOC, 1991, pp. 21-31.
-
23rd ACM STOC, 1991
, pp. 21-31
-
-
Babai, L.1
Fortnow, L.2
Levin, L.A.3
Szegedy, M.4
-
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.
-
35th ACM STOC, 2003
, 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. RUBINFELD: 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
Rubinfeld, 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
-
-
Technical report 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)
Cyclic Error-Correcting Codes in Two Symbols
-
-
Prange, E.1
-
23
-
-
0011032035
-
Zum letzten Fermat'chen Theorem
-
A. WIEFERICH: Zum letzten Fermat'chen Theorem. J. Reine Angew. Math. 136 (1909), 293-302.
-
(1909)
J. Reine Angew. Math.
, vol.136
, pp. 293-302
-
-
Wieferich, A.1
|