-
1
-
-
0001580511
-
Where the really hard problems are
-
Sydney, Australia, Morgan Kaufmann
-
P. Cheeseman, B. Kanefsky, and W. Taylor. Where the really hard problems are. In Proceedings of the 12th IJCAI, pages 331-337, Sydney, Australia, 1991. Morgan Kaufmann.
-
(1991)
In Proceedings of the 12Th IJCAI
, pp. 331-337
-
-
Cheeseman, P.1
Kanefsky, B.2
Taylor, W.3
-
2
-
-
0000411214
-
Tabu search-part I
-
F. Glover. Tabu search-part I. ORSA Journal on Computing, 1(3):190-206, 1989.
-
(1989)
ORSA Journal on Computing
, vol.1
, Issue.3
, pp. 190-206
-
-
Glover, F.1
-
4
-
-
0001701566
-
Analyzing a heuristic strategy for constraintsatisfaction and scheduling
-
M. Zweben and M. Fox, editors, Morgan Kaufmann
-
M. Johnston and S. Minton. Analyzing a heuristic strategy for constraintsatisfaction and scheduling. In M. Zweben and M. Fox, editors, Intelligent Scheduling, pages 257-290. Morgan Kaufmann, 1994.
-
(1994)
Intelligent Scheduling
, pp. 257-290
-
-
Johnston, M.1
Minton, S.2
-
5
-
-
0025416690
-
An almost perfect heuristic for the n nonattacking queens problem
-
L. Kale. An almost perfect heuristic for the n nonattacking queens problem. Inf. Process. Lett., 34:173-178, 1990.
-
(1990)
Inf. Process. Lett
, vol.34
, pp. 173-178
-
-
Kale, L.1
-
6
-
-
84966254647
-
Estimating the efficiency of backtrack programs
-
D. Knuth. Estimating the efficiency of backtrack programs. Mathematics of Computation, 29:121-136, 1975.
-
(1975)
Mathematics of Computation
, vol.29
, pp. 121-136
-
-
Knuth, D.1
-
7
-
-
0002514541
-
Algorithms for constraint-satisfaction problems: A survey
-
V. Kumar. Algorithms for constraint-satisfaction problems: a survey. AI Magazine, 13(1):32-44, 1992.
-
(1992)
AI Magazine
, vol.13
, Issue.1
, pp. 32-44
-
-
Kumar, V.1
-
9
-
-
44049112032
-
Minimizing conficts: A heuristic repair method for constraint satisfaction and scheduling problems
-
S. Minton, M. Johnston, A. Philips, and P. Laird. Minimizing conficts: a heuristic repair method for constraint satisfaction and scheduling problems. Artificial Intelligence, 58:161-205, 1992.
-
(1992)
Artificial Intelligence
, vol.58
, pp. 161-205
-
-
Minton, S.1
Johnston, M.2
Philips, A.3
Laird, P.4
-
10
-
-
0027002161
-
Hard and easy distributions of SAT problems
-
San Jose, CA, AAAI Press
-
D. Mitchell, B. Selman, and H. Levesque. Hard and easy distributions of SAT problems. In Proceedings of AAAI-92, pages 459-465, San Jose, CA, 1991. AAAI Press.
-
(1991)
In Proceedings of AAAI-92
, pp. 459-465
-
-
Mitchell, D.1
Selman, B.2
Levesque, H.3
-
11
-
-
0039310873
-
HSTS: Integrating planning and scheduling
-
M. Zweben and M. Fox, editors, Morgan Kaufmann
-
N. Muscettola. HSTS: Integrating planning and scheduling. In M. Zweben and M. Fox, editors, Intelligent Scheduling, pages 169-212. Morgan Kaufmann, 1994.
-
(1994)
Intelligent Scheduling
, pp. 169-212
-
-
Muscettola, N.1
-
12
-
-
0002151554
-
Tree search and arc consistency in constraint satisfaction algorithms
-
L. Kanal and V. Kumar, editors, Springer-Verlag
-
B. Nadel. Tree search and arc consistency in constraint satisfaction algorithms. In L. Kanal and V. Kumar, editors, Search in Artificial Intelligence, pages 287-342. Springer-Verlag, 1988.
-
(1988)
Search in Artificial Intelligence
, pp. 287-342
-
-
Nadel, B.1
-
14
-
-
0002146217
-
Constradicting conventional wisdom in constraint satisfaction
-
A. Borning, editor, Orcas Island, Washington, Springer- Verlag
-
D. Sabin and E. Freuder. Constradicting conventional wisdom in constraint satisfaction. In A. Borning, editor, Proceedings of the 1995 Workshop on Principles and Practice of Constraint Programming, Orcas Island, Washington, 1994. Springer- Verlag.
-
(1994)
Proceedings of the 1995 Workshop on Principles and Practice of Constraint Programming
-
-
Sabin, D.1
Freuder, E.2
-
16
-
-
0011781727
-
Micro-opportunistic scheduling: The micro-boss factory scheduler
-
M. Zweben and M. Fox, editors, Morgan Kaufmann
-
N. Sadeh. Micro-opportunistic scheduling: the micro-boss factory scheduler. In M. Zweben and M. Fox, editors, Intelligent Scheduling, pages 99-135. Morgan Kaufmann, 1994.
-
(1994)
Intelligent Scheduling
, pp. 99-135
-
-
Sadeh, N.1
-
17
-
-
0027001335
-
A new method for solving hard satisfiability problems
-
San Jose, CA, AAAI Press
-
B. Selman, H. Levesque, and D. Mitchell. A new method for solving hard satisfiability problems. In Proceedings of AAA1-92, pages 440-446, San Jose, CA, 1992. AAAI Press.
-
(1992)
In Proceedings of AAA1-92
, pp. 440-446
-
-
Selman, B.1
Levesque, H.2
Mitchell, D.3
|