-
1
-
-
0023548546
-
Deterministic simulation in Logspace
-
Association for Computing Machinery, New York
-
M. AJTAI, J. KOMLOS, AND E. SZEMEREDI, Deterministic simulation in Logspace, in Proc. 19th Annual ACM Symposium on Theory of Computing, Association for Computing Machinery, New York, 1987, pp. 132-140.
-
(1987)
Proc. 19th Annual ACM Symposium on Theory of Computing
, pp. 132-140
-
-
Ajtai, M.1
Komlos, J.2
Szemeredi, E.3
-
2
-
-
0002566799
-
Derandomized graph products
-
N. ALON, U. FEIGE, A. WIGDERSON, AND D. ZUCKERMAN, Derandomized graph products, Comput. Complexity, 5 (1995), pp. 60-75.
-
(1995)
Comput. Complexity
, vol.5
, pp. 60-75
-
-
Alon, N.1
Feige, U.2
Wigderson, A.3
Zuckerman, D.4
-
3
-
-
85028925878
-
Proof verification and intractibility of approximation problems
-
IEEE Computer Society Press, Los Alamitos, CA
-
S. ARORA, C. LUND, R. MOTWANI, M. SUDAN, AND M. SZEGEDY, Proof verification and intractibility of approximation problems, in Proc. 33rd Annual IEEE Symposium on Foundations of Computer Science, IEEE Computer Society Press, Los Alamitos, CA, 1992, pp. 14-23.
-
(1992)
Proc. 33rd Annual IEEE Symposium on Foundations of Computer Science
, pp. 14-23
-
-
Arora, S.1
Lund, C.2
Motwani, R.3
Sudan, M.4
Szegedy, M.5
-
4
-
-
84968014854
-
Approximating clique is N P-complete
-
IEEE Computer Society Press, Los Alamitos, CA
-
S. ARORA AND S. SAFRA, Approximating clique is N P-complete, in Proc. 33rd Annual IEEE Symposium on Foundations of Computer Science, IEEE Computer Society Press, Los Alamitos, CA, 1992, pp. 2-13.
-
(1992)
Proc. 33rd Annual IEEE Symposium on Foundations of Computer Science
, pp. 2-13
-
-
Arora, S.1
Safra, S.2
-
5
-
-
0002771903
-
Non-deterministic exponential time has two-prover interactive protocols
-
L. BASAI, L. FORTNOW, AND C. LUND, Non-deterministic exponential time has two-prover interactive protocols, Comput. Complexity, 1 (1991), pp. 16-25.
-
(1991)
Comput. Complexity
, vol.1
, pp. 16-25
-
-
Basai, L.1
Fortnow, L.2
Lund, C.3
-
6
-
-
84945961823
-
Efficient probabilistically checkable proofs and applications to approximation
-
Association for Computing Machinery, New York
-
M. BELLARE, S. GOLDWASSER, C. LUND, AND A. RUSSELL, Efficient probabilistically checkable proofs and applications to approximation, in Proc. 25th Annual ACM Symposium on Theory of Computing, Association for Computing Machinery, New York, 1993, pp. 294-304.
-
(1993)
Proc. 25th Annual ACM Symposium on Theory of Computing
, pp. 294-304
-
-
Bellare, M.1
Goldwasser, S.2
Lund, C.3
Russell, A.4
-
7
-
-
0028092495
-
Improved non-approximability results
-
Association for Computing Machinery, New York
-
M. BELLARE AND M. SUDAN, Improved non-approximability results, in Proc. 26th Annual ACM Symposium on Theory of Computing, Association for Computing Machinery, New York, 1994, pp. 184-193.
-
(1994)
Proc. 26th Annual ACM Symposium on Theory of Computing
, pp. 184-193
-
-
Bellare, M.1
Sudan, M.2
-
8
-
-
0026624588
-
On the complexity of approximating the independent set problem
-
P. BERMAN AND G. SCHNITGER, On the complexity of approximating the independent set problem, Inform. and Comput., 96 (1992), pp. 77-94.
-
(1992)
Inform. and Comput.
, vol.96
, pp. 77-94
-
-
Berman, P.1
Schnitger, G.2
-
9
-
-
0024766880
-
Dispersers, deterministic amplification, and weak random sources
-
IEEE Computer Society Press, Los Alamitos, CA
-
A. COHEN AND A. WIGDERSON, Dispersers, deterministic amplification, and weak random sources, in Proc. 30th Annual IEEE Symposium on Foundations of Computer Science, IEEE Computer Society Press, Los Alamitos, CA, 1989, pp. 14-19.
-
(1989)
Proc. 30th Annual IEEE Symposium on Foundations of Computer Science
, pp. 14-19
-
-
Cohen, A.1
Wigderson, A.2
-
10
-
-
85059770931
-
The complexity of theorem-proving procedures
-
Association for Computing Machinery, New York
-
S. A. COOK, The complexity of theorem-proving procedures, in Proc. 3rd Annual ACM Symposium on Theory of Computing, Association for Computing Machinery, New York, 1971, pp. 151-158.
-
(1971)
Proc. 3rd Annual ACM Symposium on Theory of Computing
, pp. 151-158
-
-
Cook, S.A.1
-
11
-
-
0026385082
-
Approximating clique is almost N P-complete
-
IEEE Computer Society Press, Los Alamitos, CA
-
U. FEIGE, S. GOLDWASSER, L. LOVASZ, S. SAFRA, AND M. SZEGEDY, Approximating clique is almost N P-complete, in Proc. 32nd Annual IEEE Symposium on Foundations of Computer Science, IEEE Computer Society Press, Los Alamitos, CA, 1991, pp. 2-12.
-
(1991)
Proc. 32nd Annual IEEE Symposium on Foundations of Computer Science
, pp. 2-12
-
-
Feige, U.1
Goldwasser, S.2
Lovasz, L.3
Safra, S.4
Szegedy, M.5
-
13
-
-
85033049964
-
A mildly exponential approximation algorithm for the permanent
-
IEEE Computer Society Press, Los Alamitos, CA
-
M. JERRUM AND U. VAZIRANI, A mildly exponential approximation algorithm for the permanent, in Proc. 33rd Annual IEEE Symposium on Foundations of Computer Science, IEEE Computer Society Press, Los Alamitos, CA, 1992, pp. 320-326.
-
(1992)
Proc. 33rd Annual IEEE Symposium on Foundations of Computer Science
, pp. 320-326
-
-
Jerrum, M.1
Vazirani, U.2
-
14
-
-
0003037529
-
Reducibility among combinatorial problems
-
R. E. Miller and J. W. Thatcher, eds., Plenum Press, New York
-
R. M. KARP, Reducibility among combinatorial problems, in Complexity of Computer Computations, R. E. Miller and J. W. Thatcher, eds., Plenum Press, New York, 1972, pp. 85-103.
-
(1972)
Complexity of Computer Computations
, pp. 85-103
-
-
Karp, R.M.1
-
15
-
-
0001202403
-
Monte-Carlo approximation algorithms for enumeration problems
-
R. M. KARP, M. LUBY, AND N. MADRAS, Monte-Carlo approximation algorithms for enumeration problems, J. Algorithms, 10 (1989), pp. 429-448.
-
(1989)
J. Algorithms
, vol.10
, pp. 429-448
-
-
Karp, R.M.1
Luby, M.2
Madras, N.3
-
16
-
-
0027205882
-
On the hardness of approximating minimization problems
-
Association for Computing Machinery, New York
-
C. LUND AND M. YANNAKAKIS, On the hardness of approximating minimization problems, in Proc. 25th Annual ACM Symposium on Theory of Computing, Association for Computing Machinery, New York, 1993, pp. 286-293.
-
(1993)
Proc. 25th Annual ACM Symposium on Theory of Computing
, pp. 286-293
-
-
Lund, C.1
Yannakakis, M.2
-
17
-
-
0025103189
-
Quantifiers and Approximation
-
Association for Computing Machinery, New York
-
A. PANCONESI AND D. RANJAN, Quantifiers and Approximation, in Proc. 22nd Annual ACM Symposium on Theory of Computing, Association for Computing Machinery, New York, 1990, pp. 446-456.
-
(1990)
Proc. 22nd Annual ACM Symposium on Theory of Computing
, pp. 446-456
-
-
Panconesi, A.1
Ranjan, D.2
-
18
-
-
0026366408
-
Optimization, approximation, and complexity classes
-
C. H. PAPADIMITRIOU AND M. YANNAKAKIS, Optimization, approximation, and complexity classes, J. Comput. System Sci., 43 (1991), pp. 425-440.
-
(1991)
J. Comput. System Sci.
, vol.43
, pp. 425-440
-
-
Papadimitriou, C.H.1
Yannakakis, M.2
-
19
-
-
0023415869
-
On using deterministic functions to reduce randomness in probabilistic algorithms
-
M. SANTHA, On using deterministic functions to reduce randomness in probabilistic algorithms, Inform. and Comput., 74 (1987), pp. 241-249.
-
(1987)
Inform. and Comput.
, vol.74
, pp. 241-249
-
-
Santha, M.1
-
20
-
-
0024019629
-
Expanders, randomness, or time versus space
-
M. SIPSER, Expanders, randomness, or time versus space, J. Comput. System Sci., 36 (1988), pp. 379-383.
-
(1988)
J. Comput. System Sci.
, vol.36
, pp. 379-383
-
-
Sipser, M.1
-
21
-
-
49249151236
-
The complexity of computing the permanent
-
L. G. VALIANT, The complexity of computing the permanent, Theoret. Comput. Sci., 8 (1979), pp. 189-201.
-
(1979)
Theoret. Comput. Sci.
, vol.8
, pp. 189-201
-
-
Valiant, L.G.1
-
22
-
-
0026372370
-
Simulating BPP using a general weak random source
-
Algorithmica, to appear; preliminary version IEEE Computer Society Press, Los Alamitos, CA
-
D. ZUCKERMAN, Simulating BPP using a general weak random source, Algorithmica, to appear; preliminary version in Proc. 32nd Annual IEEE Symposium on Foundations of Computer Science, IEEE Computer Society Press, Los Alamitos, CA, 1991, pp. 79-89.
-
(1991)
Proc. 32nd Annual IEEE Symposium on Foundations of Computer Science
, pp. 79-89
-
-
Zuckerman, D.1
|