-
4
-
-
33645068280
-
-
K. Appel and W. Haken, Ill. J. Math. 21, 421 (1977); 21, 491 (1977).
-
(1977)
J. Math.
, vol.21
, pp. 491
-
-
-
7
-
-
33645065445
-
-
For a comprehensive collection of benchmark and tests for SAT solvers, see http://www.satlib.org
-
-
-
-
8
-
-
0019398205
-
-
G.J. Chaitin, M.A. Auslander, A.K. Chandra, J. Cocke, M.E. Hopkins, and P. Markstein, Comput. Speech Lang. 6, 47 (1981).
-
(1981)
Comput. Speech Lang.
, vol.6
, pp. 47
-
-
Chaitin, G.J.1
Auslander, M.A.2
Chandra, A.K.3
Cocke, J.4
Hopkins, M.E.5
Markstein, P.6
-
10
-
-
33645049406
-
-
Artif. Intell. 81, 1-2 (1996).
-
(1996)
Artif. Intell.
, vol.81
, pp. 1-2
-
-
-
11
-
-
33645094228
-
-
Theor. Comput. Sci. 265, 1-2 (2001).
-
(2001)
Theor. Comput. Sci.
, vol.265
, pp. 1-2
-
-
-
12
-
-
0043230411
-
-
K. Binder andA.P. Young, Rev. Mod. Phys. 58, 801 (1986); M. Mézard, G. Parisi, and M.A. Virasoro, Spin Glass Theory and Beyond (World Scientific, Singapore 1987); K.H. Fisher and J.A. Hertz, Spin Glasses (Cambridge University Press, Cambridge, UK, 1991).
-
(1986)
Rev. Mod. Phys.
, vol.58
, pp. 801
-
-
Binder, K.1
Young, A.P.2
-
13
-
-
0003571050
-
-
World Scientific, Singapore
-
K. Binder andA.P. Young, Rev. Mod. Phys. 58, 801 (1986); M. Mézard, G. Parisi, and M.A. Virasoro, Spin Glass Theory and Beyond (World Scientific, Singapore 1987); K.H. Fisher and J.A. Hertz, Spin Glasses (Cambridge University Press, Cambridge, UK, 1991).
-
(1987)
Spin Glass Theory and Beyond
-
-
Mézard, M.1
Parisi, G.2
Virasoro, M.A.3
-
14
-
-
0004215583
-
-
Cambridge University Press, Cambridge, UK
-
K. Binder andA.P. Young, Rev. Mod. Phys. 58, 801 (1986); M. Mézard, G. Parisi, and M.A. Virasoro, Spin Glass Theory and Beyond (World Scientific, Singapore 1987); K.H. Fisher and J.A. Hertz, Spin Glasses (Cambridge University Press, Cambridge, UK, 1991).
-
(1991)
Spin Glasses
-
-
Fisher, K.H.1
Hertz, J.A.2
-
16
-
-
0037165015
-
-
R. Mulet, A. Pagnani, M. Weigt, and R. Zecchina, Phys. Rev. Lett. 89, 268701 (2002).
-
(2002)
Phys. Rev. Lett.
, vol.89
, pp. 268701
-
-
Mulet, R.1
Pagnani, A.2
Weigt, M.3
Zecchina, R.4
-
19
-
-
0030144334
-
-
B. Pittel, J. Spencer, and N. Wormald, J. Comb. Theory, Ser. B 67, 111 (1996).
-
(1996)
J. Comb. Theory, Ser. B
, vol.67
, pp. 111
-
-
Pittel, B.1
Spencer, J.2
Wormald, N.3
-
29
-
-
33645079251
-
-
e-print cond-mat/0208280
-
S. Franz and M. Leone, e-print cond-mat/0208280.
-
-
-
Franz, S.1
Leone, M.2
-
31
-
-
0034339633
-
-
E. Marinari, G. Parisi, F. Ricci-Tersenghi, J. Ruiz-Lorenzo, and F. Zuliani, J. Stat. Phys. 98, 973 (2000).
-
(2000)
J. Stat. Phys.
, vol.98
, pp. 973
-
-
Marinari, E.1
Parisi, G.2
Ricci-Tersenghi, F.3
Ruiz-Lorenzo, J.4
Zuliani, F.5
-
32
-
-
33645081820
-
-
note
-
The educated reader will recognize that this construction is actually a rephrasement of the real replica argument due to Monasson [40] in which we consider the limiting case β →, m→0 such that y = mβ is finite.
-
-
-
-
36
-
-
33645061599
-
-
note
-
c) displayed in the table of Sec. I for q = 3 are therefore to be considered as a lower bound to the true value.
-
-
-
-
45
-
-
33645085961
-
-
Report TR-2002-35 (unpublished)
-
J.S. Yedidia, W.F. Freeman, and Y. Weiss, Mitsubishi Electrical Research Laboratories, Report TR-2002-35 (unpublished), available online at http://www.merl.com
-
-
-
Yedidia, J.S.1
Freeman, W.F.2
Weiss, Y.3
|