-
1
-
-
85059770931
-
The complexity of theorem-proving procedures
-
edited by P.M. Lewis, M.J. Fischer, J.E. Hopcroft, A.L. Rosenberg, J.W. Thatcher, P.R. Young (New York, ACM
-
S.A. Cook, The complexity of theorem-proving procedures, in Proceedings of the 3rd Annual ACM Symposium on Theory of Computing, edited by P.M. Lewis, M.J. Fischer, J.E. Hopcroft, A.L. Rosenberg, J.W. Thatcher, P.R. Young (New York, ACM, 1971), pp. 151-158
-
(1971)
Proceedings of the 3rd Annual ACM Symposium on Theory of Computing
, pp. 151-158
-
-
Cook, S.A.1
-
2
-
-
0003037531
-
-
edited by E. Miller, J.W. Thatcher, J.D. Bohlinger (New York Plenum Press
-
R.M. Karp, Reducibility among combinatorial problems, in Complexity of Computer Computations, edited by E. Miller, J.W. Thatcher, J.D. Bohlinger (New York Plenum Press, 1972), pp. 85-103
-
(1972)
Reducibility among Combinatorial Problems, in Complexity of Computer Computations
, pp. 85-103
-
-
Karp, R.M.1
-
6
-
-
84883447859
-
-
3095267 10.1007/s10884-013-9312-7
-
B. Fiedler, A. Mochizuki, G. Kurosawa, D. Saito, J. Dyn. Diff. Eq. 25, 563 (2013)
-
(2013)
J. Dyn. Diff. Eq.
, vol.25
, pp. 563
-
-
Fiedler, B.1
Mochizuki, A.2
Kurosawa, G.3
Saito, D.4
-
7
-
-
84880696206
-
-
10.1016/j.jtbi.2013.06.009
-
A. Mochizuki, B. Fiedler, G. Kurosawa, D. Saito, J. Theor. Biol. 335, 130 (2013)
-
(2013)
J. Theor. Biol.
, vol.335
, pp. 130
-
-
Mochizuki, A.1
Fiedler, B.2
Kurosawa, G.3
Saito, D.4
-
14
-
-
44449119973
-
-
2453852 2008JPhA.41v4003B 10.1088/1751-8113/41/22/224003
-
G. Bianconi, N. Gulbahce, J. Phys. A 41, 224003 (2008)
-
(2008)
J. Phys. A
, vol.41
, pp. 224003
-
-
Bianconi, G.1
Gulbahce, N.2
-
16
-
-
47949124922
-
-
2008PhRvL.101c7208B 10.1103/PhysRevLett.101.037208
-
M. Bayati, C. Borgs, A. Braunstein, J. Chayes, Phys. Rev. Lett. 101, 037208 (2008)
-
(2008)
Phys. Rev. Lett.
, vol.101
, pp. 037208
-
-
Bayati, M.1
Borgs, C.2
Braunstein, A.3
Chayes, J.4
-
17
-
-
79551658804
-
-
2011PNAS.108.882B 10.1073/pnas.1004751108
-
M. Bailly-Bechet, C. Borgs, A. Braunstein, J. Cheyes, A. Dagkessamanskaia, J.-M. Francois, R. Zecchina, Proc. Natl. Acad. Sci. USA 108, 882 (2011)
-
(2011)
Proc. Natl. Acad. Sci. USA
, vol.108
, pp. 882
-
-
Bailly-Bechet, M.1
Borgs, C.2
Braunstein, A.3
Cheyes, J.4
Dagkessamanskaia, A.5
Francois, J.-M.6
Zecchina, R.7
-
22
-
-
84855197746
-
-
Oxford Univ. Press, New York
-
M. Mézard, A. Montanari, Information, Physics, and Computation (Oxford Univ. Press, New York, 2009)
-
(2009)
Information, Physics, and Computation
-
-
Mézard, M.1
Montanari, A.2
-
23
-
-
84865423021
-
-
2969630 2012JSP.148.513Z 10.1007/s10955-012-0555-1
-
H.-J. Zhou, C. Wang, J. Stat. Phys. 148, 513 (2012)
-
(2012)
J. Stat. Phys.
, vol.148
, pp. 513
-
-
Zhou, H.-J.1
Wang, C.2
-
24
-
-
80053607947
-
-
2844996 2011JPhA.44P5001X 10.1088/1751-8113/44/42/425001
-
J.-Q. Xiao, H.-J. Zhou, J. Phys. A 44, 425001 (2011)
-
(2011)
J. Phys. A
, vol.44
, pp. 425001
-
-
Xiao, J.-Q.1
Zhou, H.-J.2
-
25
-
-
84855422157
-
-
10.1088/1742-5468/2011/12/L12001
-
H.-J. Zhou, C. Wang, J.-Q. Xiao, Z. Bi, J. Stat. Mech.: Theo. Exp. 2011, L12001 (2011)
-
(2011)
J. Stat. Mech.: Theo. Exp.
, vol.2011
, pp. 12001
-
-
Zhou, H.-J.1
Wang, C.2
Xiao, J.-Q.3
Bi, Z.4
-
26
-
-
36149021742
-
-
41069 1951PhRv.81.988K 10.1103/PhysRev.81.988
-
R. Kikuchi, Phys. Rev. 81, 988 (1951)
-
(1951)
Phys. Rev.
, vol.81
, pp. 988
-
-
Kikuchi, R.1
-
27
-
-
0000567034
-
-
1988JSP.52.727A 10.1007/BF01019726
-
G. An, J. Stat. Phys. 52, 727 (1988)
-
(1988)
J. Stat. Phys.
, vol.52
, pp. 727
-
-
An, G.1
-
31
-
-
84888348229
-
-
A. Lucas, arXiv:1302.5841 (2013)
-
A. Lucas, arXiv:1302.5841 (2013)
-
-
-
|