-
1
-
-
0002771903
-
Non-deterministic exponential time has two-prover interactive protocols
-
L. Babai, L. Fortnow, C. Lund, Non-deterministic 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
-
2
-
-
85028539051
-
Checking computations in polylogarithmic time
-
New Orleans, Louisiana
-
L. Babai, L. Fortnow, L.A. Levin, M. Szegedy, Checking computations in polylogarithmic time, in: Proceedings of the 23rd Annual ACM Symposium on Theory of Computing, New Orleans, Louisiana, 1991, pp. 21-31.
-
(1991)
Proceedings of the 23rd Annual ACM Symposium on Theory of Computing
, pp. 21-31
-
-
Babai, L.1
Fortnow, L.2
Levin, L.A.3
Szegedy, M.4
-
3
-
-
0032058198
-
Proof verification and the hardness of approximation problems
-
S. Arora, C. Lund, R. Motwani, M. Sudan, M. Szegedy, Proof verification and the hardness of approximation problems, Journal of the ACM 45 (3) (1998) 501-555.
-
(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
-
4
-
-
1642619526
-
Fast approximate probabilistically checkable proofs
-
F. Ergun, R. Kumar, R. Rubinfeld, Fast approximate probabilistically checkable proofs, Information and Computation 189 (2) (2004) 135-159.
-
(2004)
Information and Computation
, vol.189
, Issue.2
, pp. 135-159
-
-
Ergun, F.1
Kumar, R.2
Rubinfeld, R.3
-
5
-
-
0034207120
-
Spot-checkers
-
F. Ergun, S. Kannan, R. Kumar, R. Rubinfeld, M. Viswanathan, Spot-checkers, Journal of Computer and System Sciences 60 (3) (2000) 717-752.
-
(2000)
Journal of Computer and System Sciences
, vol.60
, Issue.3
, pp. 717-752
-
-
Ergun, F.1
Kannan, S.2
Kumar, R.3
Rubinfeld, R.4
Viswanathan, M.5
-
6
-
-
0032313841
-
Testing monotonicity
-
Los Alamitos, CA
-
O. Goldreich, S. Goldwasser, E. Lehman, D. Ron, Testing monotonicity, in: Proceedings of the 39th Annual IEEE Symposium on Foundations of Computer Science, Los Alamitos, CA, 1998, pp. 426-435.
-
(1998)
Proceedings of the 39th Annual IEEE Symposium on Foundations of Computer Science
, pp. 426-435
-
-
Goldreich, O.1
Goldwasser, S.2
Lehman, E.3
Ron, D.4
-
7
-
-
84958773905
-
Improvedtesting algorithms for monotonicity
-
D. Hochbaum, K. Jensen, J.D. Rolim,A. Sinclair (Eds.), LNCS, Berkeley, California
-
Y. Dodis, O. Goldreich, E. Lehman, S. Raskhodnikova, A. Samorodnitsky, Improvedtesting algorithms for monotonicity, in: D. Hochbaum, K. Jensen, J.D. Rolim,A. Sinclair (Eds.), Randomization, Approximation, and CombinatorialOptimization, vol. 1671, LNCS, Berkeley, California, 1999, pp. 96-108.
-
(1999)
Randomization, Approximation, and CombinatorialOptimization
, vol.1671
, pp. 96-108
-
-
Dodis, Y.1
Goldreich, O.2
Lehman, E.3
Raskhodnikova, S.4
Samorodnitsky, A.5
-
8
-
-
0036039104
-
Monotonicity testing over general poset domains
-
Montréal, Québec, Canada
-
E. Fischer, E. Lehman, I. Newman, S. Raskhodnikova, R. Rubinfeld, A. Samorodnitsky, Monotonicity testing over general poset domains, in: Proceedings of the 34th Annual ACM Symposium on Theory of Computing, Montréal, Québec, Canada, 2002, pp. 474-483.
-
(2002)
Proceedings of the 34th Annual ACM Symposium on Theory of Computing
, pp. 474-483
-
-
Fischer, E.1
Lehman, E.2
Newman, I.3
Raskhodnikova, S.4
Rubinfeld, R.5
Samorodnitsky, A.6
-
9
-
-
35248887089
-
Distribution-free property testing
-
LNCS, Princeton, NJ
-
S. Halevy, E. Kushilevitz, Distribution-free property testing, in: RANDOM international Workshop on Randomization and Approximation Techniques in Computer Science, vol. 1671, LNCS, Princeton, NJ, 2003, pp. 302-317.
-
(2003)
RANDOM International Workshop on Randomization and Approximation Techniques in Computer Science
, vol.1671
, pp. 302-317
-
-
Halevy, S.1
Kushilevitz, E.2
|