-
1
-
-
0002103664
-
On the Markov chain simulation method for uniform combinatorial distributions and simulated annealing
-
D. ALDOUS , On the Markov chain simulation method for uniform combinatorial distributions and simulated annealing, Probability in Engineering and Information Sciences, 1 (1987), 33-46.
-
(1987)
Probability in Engineering and Information Sciences
, vol.1
, pp. 33-46
-
-
Aldous, D.1
-
2
-
-
85028925878
-
Proof verification and intractability of approximation problems
-
S. ARORA, C. LUND, R. MOTWANI, M. SUDAN and M. SZEGEDY: Proof verification and intractability of approximation problems, in: Proceedings of the Thirty-Third Annual Symposium on Foundations of Computer Science, (1992), 14-23,
-
(1992)
Proceedings of the Thirty-Third Annual Symposium on Foundations of Computer Science
, pp. 14-23
-
-
Arora, S.1
Lund, C.2
Motwani, R.3
Sudan, M.4
Szegedy, M.5
-
3
-
-
51249173340
-
Eigenvalues and expanders
-
N. ALON: Eigenvalues and expanders, Combinatorica, 6(2) (1986), 83-96.
-
(1986)
Combinatorica
, vol.6
, Issue.2
, pp. 83-96
-
-
Alon, N.1
-
7
-
-
0002771903
-
Non-deterministic exponential time has two-prover interactive protocols
-
L. BABAI, L. FORTNOW and C. LUND: Non-deterministic exponential time has two-prover interactive protocols, Computational Complexity, 1(1) (1991), 3-40.
-
(1991)
Computational Complexity
, vol.1
, Issue.1
, pp. 3-40
-
-
Babai, L.1
Fortnow, L.2
Lund, C.3
-
8
-
-
85028539051
-
Checking computations in polylogarithmic time
-
L. BABAI, L. FORTNOW, L. LEVIN and M. SZEGEDY: Checking computations in polylogarithmic time, in: Proceedings of the Twenty-Third Annual ACM Symposium, on Theory of Computing (1991), 21-31.
-
(1991)
Proceedings of the Twenty-Third Annual ACM Symposium, on Theory of Computing
, pp. 21-31
-
-
Babai, L.1
Fortnow, L.2
Levin, L.3
Szegedy, M.4
-
9
-
-
0000619172
-
Self-testing/correcting with applications to numerical problems
-
M. BLUM, M. LUBY, and R. RUBINFELD: Self-testing/Correcting with applications to numerical problems, Journal of Computer and System Sciences, 47 (1993), 547-595.
-
(1993)
Journal of Computer and System Sciences
, vol.47
, pp. 547-595
-
-
Blum, M.1
Luby, M.2
Rubinfeld, R.3
-
10
-
-
0026385082
-
Approximating clique is almost NP-complete
-
U. FEIGE, S. GOLDWASSER, L. LOVÁSZ, S. SAFRA and M. SZEGEDY: Approximating clique is almost NP-complete, in: Proceedings of the Thirty-Second Annual Symposium on Foundations of Computer Science, (1991), 2-12.
-
(1991)
Proceedings of the Thirty-Second Annual Symposium on Foundations of Computer Science
, pp. 2-12
-
-
Feige, U.1
Goldwasser, S.2
Lovász, L.3
Safra, S.4
Szegedy, M.5
-
14
-
-
0030128622
-
Robust characterization of polynomials with applications to program testing
-
R. RUBINFELD and M. SUDAN: Robust characterization of polynomials with applications to program testing, SIAM Journal on Computing, 25(2) (1996), 252-271.
-
(1996)
SIAM Journal on Computing
, vol.25
, Issue.2
, pp. 252-271
-
-
Rubinfeld, R.1
Sudan, M.2
-
16
-
-
0024699930
-
Approximate counting, uniform generation and rapidly mixing Markov chains
-
A. SINCLAIR and M. R. JERRUM: Approximate counting, uniform generation and rapidly mixing Markov chains, Information and Computation, 82(1) (1989), 93-133.
-
(1989)
Information and Computation
, vol.82
, Issue.1
, pp. 93-133
-
-
Sinclair, A.1
Jerrum, M.R.2
|