-
1
-
-
15944413051
-
Primality and identity testing via Chinese remaindering
-
Agrawal, M., Biswas, S.: Primality and identity testing via Chinese remaindering. Journal of the ACM 50(4), 429-443 (2003)
-
(2003)
Journal of the ACM
, vol.50
, Issue.4
, pp. 429-443
-
-
Agrawal, M.1
Biswas, S.2
-
2
-
-
15944367466
-
PRIMES is in P
-
Agrawal, M., Kayal, N., Saxena, N.: PRIMES is in P. Ann. of Math. 160(2), 781-793 (2004)
-
(2004)
Ann. of Math.
, vol.160
, Issue.2
, pp. 781-793
-
-
Agrawal, M.1
Kayal, N.2
Saxena, N.3
-
3
-
-
0032058198
-
Proof verification and the hardness of approximation problems
-
Arora, S., Lund, C., Motwani, R., Sudan, M., Szegedy, M.: Proof verification and the hardness of approximation problems. Journal of the ACM 45(3), 501-555 (1998)
-
(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
-
-
0001548856
-
A linear-time algorithm for testing the truth of certain quantified boolean formulas
-
Aspvall, B., Plass, M.F., Tarjan, R.E.: A linear-time algorithm for testing the truth of certain quantified boolean formulas. Information Processing Letters 8(3), 121-123 (1979)
-
(1979)
Information Processing Letters
, vol.8
, Issue.3
, pp. 121-123
-
-
Aspvall, B.1
Plass, M.F.2
Tarjan, R.E.3
-
7
-
-
78650833816
-
Approximating multilinear monomial coefficients and maximum multilinear monomials in multivariate polynomials
-
Wu, W., Daescu, O. (eds.) COCOA 2010, Part I. Springer, Heidelberg (The full version will appear in Journal of Combinatorial Optimization)
-
Chen, Z., Fu, B.: Approximating multilinear monomial coefficients and maximum multilinear monomials in multivariate polynomials. In: Wu, W., Daescu, O. (eds.) COCOA 2010, Part I. LNCS, vol. 6508, pp. 309-323. Springer, Heidelberg (2010) (The full version will appear in Journal of Combinatorial Optimization)
-
(2010)
LNCS
, vol.6508
, pp. 309-323
-
-
Chen, Z.1
Fu, B.2
-
8
-
-
84969277556
-
Improved algorithms for path, matching, and packing problems
-
Chen, J., Lu, S., Sze, S.-H., Zhang, F.: Improved algorithms for path, matching, and packing problems. In: SODA, pp. 298-307 (2007)
-
(2007)
SODA
, pp. 298-307
-
-
Chen, J.1
Lu, S.2
Sze, S.-H.3
Zhang, F.4
-
9
-
-
0029290085
-
Fixed parameter tractability and completeness. II. On completeness for W(1)
-
Downey, R.G., Fellows, M.R.: Fixed parameter tractability and completeness. II. On completeness for W(1). Theoretical Computer Science 141(1-2), 109-131 (1995)
-
(1995)
Theoretical Computer Science
, vol.141
, Issue.1-2
, pp. 109-131
-
-
Downey, R.G.1
Fellows, M.R.2
-
10
-
-
0030100766
-
Interactive proofs and the hardness of approximating cliques
-
Feige, U., Goldwasser, S., Lovász, L., Safra, S., Szegedy, M.: Interactive proofs and the hardness of approximating cliques. Journal of the ACM 43(2), 268-292 (1996)
-
(1996)
Journal of the ACM
, vol.43
, Issue.2
, pp. 268-292
-
-
Feige, U.1
Goldwasser, S.2
Lovász, L.3
Safra, S.4
Szegedy, M.5
-
11
-
-
51249163193
-
Separating PH from PP by relativization
-
Fu, B.: Separating PH from PP by relativization. Acta Math. Sinica 8(3), 329-336 (1992)
-
(1992)
Acta Math. Sinica
, vol.8
, Issue.3
, pp. 329-336
-
-
Fu, B.1
-
12
-
-
0038107689
-
Derandomizing polynomial identity tests means proving circuit lower bounds
-
Kabanets, V., Impagliazzo, R.: Derandomizing polynomial identity tests means proving circuit lower bounds. In: STOC, pp. 355-364 (2003)
-
(2003)
STOC
, pp. 355-364
-
-
Kabanets, V.1
Impagliazzo, R.2
-
14
-
-
49049085267
-
Faster algebraic algorithms for path and packing problems
-
Aceto, L., Damgård, I., Goldberg, L.A., Halldórsson, M.M., Ingólfsdóttir, A., Walukiewicz, I. (eds.) ICALP 2008, Part I. Springer, Heidelberg
-
Koutis, I.: Faster algebraic algorithms for path and packing problems. In: Aceto, L., Damgård, I., Goldberg, L.A., Halldórsson, M.M., Ingólfsdóttir, A., Walukiewicz, I. (eds.) ICALP 2008, Part I. LNCS, vol. 5125, pp. 575-586. Springer, Heidelberg (2008)
-
(2008)
LNCS
, vol.5125
, pp. 575-586
-
-
Koutis, I.1
-
15
-
-
0004290881
-
-
(expanded edition 1988). MIT Press, Cambridge
-
Minsky, M., Papert, S.: Perceptrons (expanded edition 1988). MIT Press, Cambridge (1968)
-
(1968)
Perceptrons
-
-
Minsky, M.1
Papert, S.2
-
17
-
-
0029513529
-
Splitters and near-optimal derandomization
-
Naor, M., Schulman, L.J., Srinivasan, A.: Splitters and near-optimal derandomization. In: FOCS, pp. 182-191 (1995)
-
(1995)
FOCS
, pp. 182-191
-
-
Naor, M.1
Schulman, L.J.2
Srinivasan, A.3
-
18
-
-
18244365341
-
Deterministic polynomial identity testing in non-commutative models
-
Raz, R., Shpilka, A.: Deterministic polynomial identity testing in non-commutative models. Computational Complexity 14(1), 1-19 (2005)
-
(2005)
Computational Complexity
, vol.14
, Issue.1
, pp. 1-19
-
-
Raz, R.1
Shpilka, A.2
-
19
-
-
0026930543
-
IP = PSPACE
-
Shamir, A.: IP = PSPACE. Journal of the ACM 39(4), 869-877 (1992)
-
(1992)
Journal of the ACM
, vol.39
, Issue.4
, pp. 869-877
-
-
Shamir, A.1
|