-
1
-
-
85035267566
-
-
M.R. Garey and D.S. Johnson, Computers and Intractability (Freeman, New York, 1979)
-
M.R. Garey and D.S. Johnson, Computers and Intractability (Freeman, New York, 1979).
-
-
-
-
5
-
-
85035286169
-
-
Complexity of Computer Computation, edited by R.E. Miller and J.W. Thatcher (Plenum Press, New York, 1972), p. 85
-
Complexity of Computer Computation, edited by R.E. Miller and J.W. Thatcher (Plenum Press, New York, 1972), p. 85.
-
-
-
-
7
-
-
85035302246
-
-
For a comprehensive collection of benchmark and tests for SAT solvers, see http://www.satlib.org
-
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
-
-
85035303987
-
-
Artif. Intell. 81, 1-2 (1996)
-
Artif. Intell. 81, 1-2 (1996).
-
-
-
-
11
-
-
85035281600
-
-
Theor. Comput. Sci. 265, 1-2 (2001)
-
Theor. Comput. Sci. 265, 1-2 (2001).
-
-
-
-
12
-
-
0043230411
-
-
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)
-
K. Binder and A.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
-
14
-
-
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
-
17
-
-
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
-
19
-
-
85035307617
-
-
D. Achlioptas and C. Moore, Proceedings of the Symposium on Theory of Computing (STOC) 2002 (unpublished)
-
D. Achlioptas and C. Moore, Proceedings of the Symposium on Theory of Computing (STOC) 2002 (unpublished).
-
-
-
-
27
-
-
85035273842
-
-
e-print cond-mat/0208280
-
S. Franz and M. Leone, e-print cond-mat/0208280.
-
-
-
Franz, S.1
Leone, M.2
-
28
-
-
85035268344
-
-
M. Talagrand, Spin Glasses: A Challenge for Mathematicians. Mean-field Models and Cavity Method (Springer-Verlag, Berlin, in press)
-
M. Talagrand, Spin Glasses: A Challenge for Mathematicians. Mean-field Models and Cavity Method (Springer-Verlag, Berlin, in press).
-
-
-
-
29
-
-
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
-
36
-
-
85035286150
-
-
A. Braunstein, M. Mézard, M. Weigt, and R. Zecchina (unpublished)
-
A. Braunstein, M. Mézard, M. Weigt, and R. Zecchina (unpublished).
-
-
-
-
37
-
-
85035247324
-
-
Graph Coloring Page, http://www.cs.ualberta.ca/∼joe
-
Graph Coloring Page, http://www.cs.ualberta.ca/∼joe
-
-
-
-
41
-
-
85035293720
-
-
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
-
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
-
-
-
-
42
-
-
85035255271
-
-
S. Mertens, M. Mezard, and R. Zecchina (unpublished)
-
S. Mertens, M. Mezard, and R. Zecchina (unpublished).
-
-
-
|