-
1
-
-
84947781941
-
Lower bounds for probabilistic space complexity: Communication-automata approach
-
F. Ablayev, Lower bounds for probabilistic space complexity: communication-automata approach, in Proceedings of the LFCS'94, Lecture Notes in Computer Science, Springer-Verlag, 813, (1994), 1-7.
-
(1994)
Proceedings of the LFCS'94, Lecture Notes in Computer Science, Springer-Verlag
, vol.813
, pp. 1-7
-
-
Ablayev, F.1
-
2
-
-
85068530809
-
Adelman, Two theorems on random polynomial time
-
L
-
L. Adelman, Two theorems on random polynomial time, in Proceedings of the 19-th FOCS, (1978), 75-83.
-
(1978)
In Proceedings of the 19-Th FOCS
, pp. 75-83
-
-
-
3
-
-
84880226003
-
A theorem on randomized constant depth circuits
-
M. Ajtai and M. Ben-Or, A theorem on randomized constant depth circuits, in Proceedings of the 16-th STOC, (1984), 471-474.
-
(1984)
Proceedings of the 16-Th STOC
, pp. 471-474
-
-
Ajtai, M.1
Ben-Or, M.2
-
4
-
-
0002872731
-
Relative to a random oracle A, PA ≠ NPA ≠co - NPA with probability 1
-
Awith probability 1, SIAM J. Comput, 10, (1981), 96-113.
-
(1981)
SIAM J. Comput
, vol.10
, pp. 96-113
-
-
Bennet, C.1
Gill, J.2
-
5
-
-
84947793830
-
-
В. Boiling, M. Sauerhoff, D. Sieling, and I. Wegener, On the power of different types of restricted branching programs, ECCC Reports 1994, TR94-025.
-
-
-
Boiling, В.1
Sauerhoff, M.2
Sieling, D.3
Wegener, I.4
-
6
-
-
84947718606
-
-
R. Boppana and M. Sipser, The complexity of finite functions, in Handbook of Theoretical Computer Science, Vol A: Algorithms and Complexity, MIT Press and Elsevier, The Netherlands, 1990, ed. J Van Leeuwen, 757-804.
-
-
-
Boppana, R.1
Sipser, M.2
-
7
-
-
0002443391
-
On lower bounds for read-fc-times branching programs
-
A. Borodin, A. Razborov, and R. Smolensky, On lower bounds for read-fc-times branching programs, Computational Complexity, 3, (1993), 1-18.
-
(1993)
Computational Complexity
, vol.3
, pp. 1-18
-
-
Borodin, A.1
Razborov, A.2
Smolensky, R.3
-
8
-
-
0000797215
-
Time-space tradeoffs (Getting closer to barrier?), in
-
A. Borodin, Time-space tradeoffs (getting closer to barrier?), in Proceedings of the ISAAC'93, Lecture Notes in Computer Science, Springer-Verlag, 762, (1993), 209-220.
-
(1993)
Proceedings of the ISAAC'93, Lecture Notes in Computer Science, Springer-Verlag
, vol.762
, pp. 209-220
-
-
Borodin, A.1
-
9
-
-
0026913667
-
Symbolic boolean manipulation with ordered binary decision diagrams
-
R. Bryant, Symbolic boolean manipulation with ordered binary decision diagrams, ACM Computing Surveys, 24, No. 3, (1992), 293-318.
-
(1992)
ACM Computing Surveys
, vol.24
, Issue.3
, pp. 293-318
-
-
Bryant, R.1
-
10
-
-
85034453168
-
Fast probabilistic algorithms
-
R. Frevalds, Fast probabilistic algorithms, in Proceedings of the Conference Mathematical Foundation of Computer Science 1979, Lecture Notes in Computer Science, Springer-Verlag, 74, (1979), 57-69.
-
(1979)
Proceedings of the Conference Mathematical Foundation of Computer Science 1979, Lecture Notes in Computer Science, Springer-Verlag
, vol.74
, pp. 57-69
-
-
Frevalds, R.1
-
11
-
-
84957674544
-
Lower time bounds for randomized computation
-
R. Freivalds and M. Karpinski, Lower time bounds for randomized computation, in Proceedings of the ICALP'95, Lecture Notes in Computer Science, Springer-Verlag, 944, (1995), 183-195.
-
(1995)
Proceedings of the ICALP'95, Lecture Notes in Computer Science, Springer-Verlag
, vol.944
, pp. 183-195
-
-
Freivalds, R.1
Karpinski, M.2
-
12
-
-
0026119666
-
Lower bounds for depth-restricted branching programs
-
M. Krause, Lower bounds for depth-restricted branching programs, Information and Computation, 91, (1991), 1-14.
-
(1991)
Information and Computation
, vol.91
, pp. 1-14
-
-
Krause, M.1
-
13
-
-
84903828974
-
Representation of switching circuits by binary-decision programs
-
C. Y. Lee, Representation of switching circuits by binary-decision programs, Bell System Technical Journal, 38, (1959), 985-999.
-
(1959)
Bell System Technical Journal
, vol.38
, pp. 985-999
-
-
Lee, C.Y.1
-
14
-
-
0003234791
-
Communication complexity: A survey
-
L. Lovasz, Communication complexity: a survey, in "Paths, Flows and VLSI Layout", Korte, Lovasz, Proemei, Schrijver Eds., Springer- Verlag (1990), 235-266.
-
(1990)
"Paths, Flows and VLSI Layout", Korte, Lovasz, Proemei, Schrijver Eds., Springer- Verlag
, pp. 235-266
-
-
Lovasz, L.1
-
16
-
-
0002961746
-
A lower bound for integer multiplication with read-once branching programs
-
S. Ponzio, A lower bound for integer multiplication with read-once branching programs, Proceedings of the 27-th STOC, (1995), 130-139.
-
(1995)
Proceedings of the 27-Th STOC
, pp. 130-139
-
-
Ponzio, S.1
-
17
-
-
0002736706
-
Lower bounds for deterministic and nondeterministic branching programs, in
-
A. Razborov, Lower bounds for deterministic and nondeterministic branching programs, in Proceedings of the FCT'91, Lecture Notes in Computer Science, Springer- Verlag, 529, (1991), 47-60.
-
(1991)
Proceedings of the FCT'91, Lecture Notes in Computer Science, Springer- Verlag
, vol.529
, pp. 47-60
-
-
Razborov, A.1
-
18
-
-
84947703754
-
-
J. Simon and M. Szegedy, A new lower bound theorem for read-only-once branching programs and its applications, Advances in Computational Complexity Theory, ed. Jin-Yi Cai, DIMACS Series, 13, AMS (1993), 183-193.
-
-
-
Simon, J.1
Szegedy, M.2
-
20
-
-
0000906394
-
Efficient data structures for boolean functions
-
I. Wegener, Efficient data structures for boolean functions, Discrete Mathematics, 136, (1994), 347-372.
-
(1994)
Discrete Mathematics
, vol.136
, pp. 347-372
-
-
Wegener, I.1
|