-
1
-
-
15944367466
-
-
Manindra, A., Neeraj, K., Nitin, S.: PRIMES is in P. Ann. of Math. 160(2), 781-793 (2004)
-
(2004)
PRIMES Is in P. Ann. of Math.
, vol.160
, Issue.2
, pp. 781-793
-
-
Manindra, A.1
Neeraj, K.2
Nitin, S.3
-
2
-
-
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
-
3
-
-
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
-
5
-
-
84957545881
-
One the learnability of ZN-DNF formulas
-
ACM, Santa Cruz
-
Bshouty, N.H., Chen, Z., Decatur, S.E., Homer, S.: One the learnability of ZN-DNF formulas. In: Proceedings of the Eighth Annual Conference on Computational Learning Theory (COLT 1995), pp. 198-205. ACM, Santa Cruz (1995)
-
(1995)
Proceedings of the Eighth Annual Conference on Computational Learning Theory (COLT 1995)
, pp. 198-205
-
-
Bshouty, N.H.1
Chen, Z.2
Decatur, S.E.3
Homer, S.4
-
6
-
-
78650833816
-
Approximating multilinear monomial coefficients and maximum multilinear monomials in multivariate polynomials
-
Wu, W., Daescu, O. (eds.) COCOA 2010, Part I. Springer, Heidelberg
-
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)
-
(2010)
LNCS
, vol.6508
, pp. 309-323
-
-
Chen, Z.1
Fu, B.2
-
7
-
-
80051957266
-
Algorithms for Testing Monomials in Multivariate Polynomials
-
Chen, Z., Fu, B., Liu, Y., Schweller, R.T.: Algorithms for Testing Monomials in Multivariate Polynomials. In: Proceedings of the Fifth International Conference on Combinatorial Optimization and Applications (2011)
-
Proceedings of the Fifth International Conference on Combinatorial Optimization and Applications (2011)
-
-
Chen, Z.1
Fu, B.2
Liu, Y.3
Schweller, R.T.4
-
8
-
-
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
-
9
-
-
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
-
10
-
-
0001009871
-
5/2 algorithm for maximum matchings in bipartite graphs
-
5/2 algorithm for maximum matchings in bipartite graphs. SIAM Journal on Computing 2(4), 225-231 (1973)
-
(1973)
SIAM Journal on Computing
, vol.2
, Issue.4
, pp. 225-231
-
-
Hopcroft, J.E.1
Karp, R.M.2
-
11
-
-
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
-
13
-
-
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
-
14
-
-
0004290881
-
-
expanded edition MIT Press, Cambridge
-
Minsky, M., Papert, S.: Perceptrons (expanded edition 1988). MIT Press, Cambridge (1968)
-
(1968)
Perceptrons
-
-
Minsky, M.1
Papert, S.2
-
16
-
-
0001038743
-
Algorithms for maximum independent sets
-
Robson, J.M.: Algorithms for maximum independent sets. Journal of Algorithms 7(3), 425-440 (1986)
-
(1986)
Journal of Algorithms
, vol.7
, Issue.3
, pp. 425-440
-
-
Robson, J.M.1
-
17
-
-
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
|