-
2
-
-
0032058198
-
Proof verification and hardness of approximation problems
-
S. Arora, C. Lund, R. Motwani, M. Sudan, and M. Szegedy, Proof verification and hardness of approximation problems, J ACM 45(3) (1998), 501-555.
-
(1998)
J 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
-
S. Arora and S. Safra, Probabilistic checking of proofs: A new characterization of NP, J ACM 45(1) (1998), 70-122.
-
(1998)
J ACM
, vol.45
, Issue.1
, pp. 70-122
-
-
Arora, S.1
Safra, S.2
-
4
-
-
0035360610
-
Linear consistency testing
-
Y. Aumann, J. Håstad, M. Rabin, and M. Sudan, Linear consistency testing, J Comput Syst Sci 62 (2001), 589-607.
-
(2001)
J Comput Syst Sci
, vol.62
, pp. 589-607
-
-
Aumann, Y.1
Håstad, J.2
Rabin, M.3
Sudan, M.4
-
5
-
-
0004085534
-
On sequences of integers containing no arithmetic progression
-
F. Behrend, On sequences of integers containing no arithmetic progression, Časopis P̌est Mat 67 (1938), 235-239.
-
(1938)
Časopis P̌est Mat
, vol.67
, pp. 235-239
-
-
Behrend, F.1
-
6
-
-
0030289082
-
Linearity testing in characteristic two
-
November
-
M. Bellare, D. Coppersmith, J. Håstad, M. Kiwi, and M. Sudan, Linearity testing in characteristic two, IEEE Trans Inf Theory 42(6) (November 1996), 1781-1796.
-
(1996)
IEEE Trans Inf Theory
, vol.42
, Issue.6
, pp. 1781-1796
-
-
Bellare, M.1
Coppersmith, D.2
Håstad, J.3
Kiwi, M.4
Sudan, M.5
-
7
-
-
0542423500
-
Free bits, PCP's and non-approximability - Towards tight results
-
M. Bellare, O. Goldreich, and M. Sudan, Free bits, PCP's and non-approximability - towards tight results, SIAM J Comput 27(3) (1998), 804-915.
-
(1998)
SIAM J Comput
, vol.27
, Issue.3
, pp. 804-915
-
-
Bellare, M.1
Goldreich, O.2
Sudan, M.3
-
8
-
-
0000619172
-
Self-testing/correcting with applications to numerical problems
-
M. Blum, M. Luby, and R. Rubinfeld, Self-testing/correcting with applications to numerical problems, J Comput Syst Sci 47 (1993), 549-595.
-
(1993)
J Comput Syst Sci
, vol.47
, pp. 549-595
-
-
Blum, M.1
Luby, M.2
Rubinfeld, R.3
-
9
-
-
84923070993
-
The non-approximability of non-Boolean predicates
-
M. Goemans, K. Jansen, J. D. P. Rolim, and L. Trevisan (Editors), Proc of 5th International Workshop on Randomization and Approximation Techniques in Computer Science, Springer-Verlag, Berkeley, California
-
L. Engebretsen, "The non-approximability of non-Boolean predicates," Lecture notes (vol. 2129) in Computer Science, M. Goemans, K. Jansen, J. D. P. Rolim, and L. Trevisan (Editors), Proc of 5th International Workshop on Randomization and Approximation Techniques in Computer Science, Springer-Verlag, Berkeley, California, 2001, pp. 241-248.
-
(2001)
Lecture Notes (Vol. 2129) in Computer Science
, vol.2129
, pp. 241-248
-
-
Engebretsen, L.1
-
10
-
-
0032108328
-
A threshold of ln n for approximating set cover
-
U. Feige, A threshold of ln n for approximating set cover, J ACM 45 (1998), 634-652.
-
(1998)
J ACM
, vol.45
, pp. 634-652
-
-
Feige, U.1
-
11
-
-
0030100766
-
Interactive proofs and the hardness of approximating cliques
-
U. Feige, S. Goldwasser, L. Lovász, S. Safra, and M. Szegedy, Interactive proofs and the hardness of approximating cliques, J ACM 43(2) (1996), 268-292.
-
(1996)
J ACM
, vol.43
, Issue.2
, pp. 268-292
-
-
Feige, U.1
Goldwasser, S.2
Lovász, L.3
Safra, S.4
Szegedy, M.5
-
12
-
-
0000844603
-
Some optimal inapproximability results
-
J. Håstad, Some optimal inapproximability results, J ACM 48 (2001), 798-859.
-
(2001)
J ACM
, vol.48
, pp. 798-859
-
-
Håstad, J.1
-
13
-
-
0003649018
-
-
Ph.D. Thesis, Massachusetts Institute of Technology, Cambridge, MA
-
M. Kiwi, Probabilistically checkable proofs and the testing of Hadamard-like codes, Ph.D. Thesis, Massachusetts Institute of Technology, Cambridge, MA, 1996.
-
(1996)
Probabilistically Checkable Proofs and the Testing of Hadamard-like Codes
-
-
Kiwi, M.1
-
14
-
-
0028516244
-
Hardness vs. randomness
-
N. Nisan and A. Wigderson, Hardness vs. randomness, J Comput Syst Sci 49(2) (1994), 149-167.
-
(1994)
J Comput Syst Sci
, vol.49
, Issue.2
, pp. 149-167
-
-
Nisan, N.1
Wigderson, A.2
-
15
-
-
0001226672
-
A parallel repetition theorem
-
R. Raz, A parallel repetition theorem, SIAM J Comput 27(3) (1998), 763-803.
-
(1998)
SIAM J Comput
, vol.27
, Issue.3
, pp. 763-803
-
-
Raz, R.1
-
16
-
-
0000724028
-
Triple systems with no six points carrying three triangles
-
I. Z. Ruzsa and E. Szemeredi, Triple systems with no six points carrying three triangles, Colloq Math Soc J Bolyai 18 (1978), 939-945.
-
(1978)
Colloq Math Soc J Bolyai
, vol.18
, pp. 939-945
-
-
Ruzsa, I.Z.1
Szemeredi, E.2
-
17
-
-
0033718183
-
A PCP characterization of NP with optimal amortized query complexity
-
Portland, Oregon
-
A. Samorodnitsky and Luca Trevisan, A PCP characterization of NP with optimal amortized query complexity, Proc 32nd STOC, Portland, Oregon, 2000, pp. 191-199.
-
(2000)
Proc 32nd STOC
, pp. 191-199
-
-
Samorodnitsky, A.1
Trevisan, L.2
|