-
3
-
-
0021501607
-
The n-city travelling salesman problem: Statistical mechanics and the Metropolis algorithm
-
E. Bonomi and J.-L. Lutton, The n-city travelling salesman problem: statistical mechanics and the Metropolis algorithm, SIAM Rev. 26 (1984) 551-568.
-
(1984)
SIAM Rev.
, vol.26
, pp. 551-568
-
-
Bonomi, E.1
Lutton, J.-L.2
-
5
-
-
0030108241
-
Experimental results on the crossover point in random 3SAT
-
J.M. Crawford and L.D. Auton, Experimental results on the crossover point in random 3SAT, Artif. Intell. 81 (1996) 31-57.
-
(1996)
Artif. Intell.
, vol.81
, pp. 31-57
-
-
Crawford, J.M.1
Auton, L.D.2
-
7
-
-
84958052525
-
Scaling effects in the CSP phase transition
-
U. Montanari and F. Rossi, eds., Springer, Berlin
-
I.P. Gent, E. MacIntyre, P. Prosser and T. Walsh, Scaling effects in the CSP phase transition, in: U. Montanari and F. Rossi, eds., Principles and Practice of Constraint Programming - CP95 (Springer, Berlin, 1995) 70-87.
-
(1995)
Principles and Practice of Constraint Programming - CP95
, pp. 70-87
-
-
Gent, I.P.1
MacIntyre, E.2
Prosser, P.3
Walsh, T.4
-
8
-
-
30244574684
-
The constrainedness of search
-
IRST, Trento
-
I.P. Gent, E. MacIntyre, P. Prosser and T. Walsh, The constrainedness of search, Tech. Rept., IRST, Trento (1996); also in: Proceedings AAAI-96 (to appear).
-
(1996)
Tech. Rept.
-
-
Gent, I.P.1
MacIntyre, E.2
Prosser, P.3
Walsh, T.4
-
9
-
-
30244434568
-
-
to appear
-
I.P. Gent, E. MacIntyre, P. Prosser and T. Walsh, The constrainedness of search, Tech. Rept., IRST, Trento (1996); also in: Proceedings AAAI-96 (to appear).
-
Proceedings AAAI-96
-
-
-
10
-
-
85028694811
-
The hardest random SAT problems
-
B. Nebel and L. Dreschler-Fischer, eds., Springer, Berlin
-
I.P. Gent and T. Walsh, The hardest random SAT problems, in: B. Nebel and L. Dreschler-Fischer, eds., KI-94: Advances in Artificial Intelligence. 18th German Annual Conference on Artificial Intelligence (Springer, Berlin, 1994) 355-366.
-
(1994)
KI-94: Advances in Artificial Intelligence. 18th German Annual Conference on Artificial Intelligence
, pp. 355-366
-
-
Gent, I.P.1
Walsh, T.2
-
11
-
-
0028529155
-
Easy problems are sometimes hard
-
I.P. Gent and T. Walsh, Easy problems are sometimes hard, Artif. Intell. 70 (1994) 335-345.
-
(1994)
Artif. Intell.
, vol.70
, pp. 335-345
-
-
Gent, I.P.1
Walsh, T.2
-
12
-
-
0039785289
-
-
Res. Rept./95/178, Department of Computer Science, University of Strathclyde, Glasgow
-
I.P. Gent and T. Walsh, The TSP phase transition, Res. Rept./95/178, Department of Computer Science, University of Strathclyde, Glasgow (1995).
-
(1995)
The TSP Phase Transition
-
-
Gent, I.P.1
Walsh, T.2
-
13
-
-
0028499010
-
The hardest constraint problems: A double phase transition
-
T. Hogg and C. Williams, The hardest constraint problems: a double phase transition, Artif. Intell. 69 (1994) 359-377.
-
(1994)
Artif. Intell.
, vol.69
, pp. 359-377
-
-
Hogg, T.1
Williams, C.2
-
16
-
-
0028434242
-
Critical behavior in the satisfiability of random boolean expressions
-
S. Kirkpatrick and B. Selman, Critical behavior in the satisfiability of random boolean expressions, Science 264 (1994) 1297-1301.
-
(1994)
Science
, vol.264
, pp. 1297-1301
-
-
Kirkpatrick, S.1
Selman, B.2
-
17
-
-
0022041816
-
Statistical mechanics and disordered systems
-
S. Kirkpatrick and R. Swendsen, Statistical mechanics and disordered systems, Commun. ACM 28 (1985) 363-373.
-
(1985)
Commun. ACM
, vol.28
, pp. 363-373
-
-
Kirkpatrick, S.1
Swendsen, R.2
-
18
-
-
0003408279
-
-
Wiley, Chichester
-
E.L. Lawler, J.K. Lenstra, A.H.G. Rinnooy Kan and D.B. Shmoys, eds., The Traveling Salesman Problem (Wiley, Chichester, 1985).
-
(1985)
The Traveling Salesman Problem
-
-
Lawler, E.L.1
Lenstra, J.K.2
Rinnooy Kan, A.H.G.3
Shmoys, D.B.4
-
19
-
-
0027002161
-
Hard and easy distributions of SAT problems
-
San Jose, CA
-
D. Mitchell, B. Selman and H. Levesque, Hard and easy distributions of SAT problems, in: Proceedings AAAI-92, San Jose, CA (1992) 459-465.
-
(1992)
Proceedings AAAI-92
, pp. 459-465
-
-
Mitchell, D.1
Selman, B.2
Levesque, H.3
-
20
-
-
0002419614
-
Binary constraint satisfaction problems: Some are harder than others
-
A.G. Cohn, ed., Amsterdam
-
P. Prosser, Binary constraint satisfaction problems: some are harder than others, in: A.G. Cohn, ed., Proceedings ECAI-94, Amsterdam (1994) 95-99.
-
(1994)
Proceedings ECAI-94
, pp. 95-99
-
-
Prosser, P.1
-
21
-
-
0026225350
-
TSPLIB - A traveling salesman problem library
-
G. Reinelt, TSPLIB - a traveling salesman problem library, ORSA J. Comput. 3 (1991) 376-384.
-
(1991)
ORSA J. Comput.
, vol.3
, pp. 376-384
-
-
Reinelt, G.1
-
22
-
-
0030107174
-
Critical behavior in the computational cost of satisfiability testing
-
B. Selman and S. Kirkpatrick, Critical behavior in the computational cost of satisfiability testing, Artif. Intell. 81 (1996) 273-295.
-
(1996)
Artif. Intell.
, vol.81
, pp. 273-295
-
-
Selman, B.1
Kirkpatrick, S.2
-
23
-
-
0002705628
-
Phase transition and the mushy region in constraint satisfaction problems
-
A.G. Cohn, ed., Amsterdam
-
B.M. Smith, Phase transition and the mushy region in constraint satisfaction problems, in: A.G. Cohn, ed., Proceedings ECAI-94, Amsterdam (1994) 100-104.
-
(1994)
Proceedings ECAI-94
, pp. 100-104
-
-
Smith, B.M.1
-
24
-
-
0021624998
-
On the statistical mechanics of optimization problems of the travelling salesman type
-
J. Vannimenus and M. Mézard, On the statistical mechanics of optimization problems of the travelling salesman type, J. Phys. Lett. 45 (1984) 1145-1152.
-
(1984)
J. Phys. Lett.
, vol.45
, pp. 1145-1152
-
-
Vannimenus, J.1
Mézard, M.2
-
25
-
-
0026976339
-
An average-case analysis of branch-and-bound with applications: Summary of results
-
San Jose, CA
-
W. Zhang and R.E. Korf, An average-case analysis of branch-and-bound with applications: summary of results, in: Proceedings AAAI-92, San Jose, CA (1992) 545-550.
-
(1992)
Proceedings AAAI-92
, pp. 545-550
-
-
Zhang, W.1
Korf, R.E.2
|