-
1
-
-
0028566297
-
Exploiting algebraic structure in parallel state space search
-
Seattle, WA
-
J. Bright, S. Kasif, L. Stiller, Exploiting algebraic structure in parallel state space search, in: Proceedings AAAI-94, Seattle, WA, 1994, pp. 1341-1346.
-
(1994)
Proceedings AAAI-94
, pp. 1341-1346
-
-
Bright, J.1
Kasif, S.2
Stiller, L.3
-
2
-
-
0001854509
-
Solving time-dependent planning problems
-
Detroit, MI
-
M. Boddy, T. Dean, Solving time-dependent planning problems, in: Proceedings IJCAI-89, Detroit, MI, 1989, pp. 979-984.
-
(1989)
Proceedings IJCAI-89
, pp. 979-984
-
-
Boddy, M.1
Dean, T.2
-
3
-
-
0001580511
-
Where the really hard problems are
-
Sydney, Australia
-
P. Cheeseman, B. Kanefsky, W.M. Taylor, Where the really hard problems are, in: Proceedings IJCAI-91, Sydney, Australia, 1991, pp. 331-337.
-
(1991)
Proceedings IJCAI-91
, pp. 331-337
-
-
Cheeseman, P.1
Kanefsky, B.2
Taylor, W.M.3
-
4
-
-
0003603813
-
-
W.H. Freeman, San Francisco, CA
-
M.R. Garey, D.S. Johnson, Computers and Intractability: A Guide to the Theory of NP-Completeness, W.H. Freeman, San Francisco, CA, 1979.
-
(1979)
Computers and Intractability: A Guide to the Theory of NP-Completeness
-
-
Garey, M.R.1
Johnson, D.S.2
-
5
-
-
0039785289
-
-
Technical Report RR-95-185, Department of Computer Science, University of Strathclyde, Glasgow, Scotland
-
I.P. Gent, T. Walsh, The number partition phase transition, Technical Report RR-95-185, Department of Computer Science, University of Strathclyde, Glasgow, Scotland, 1995.
-
(1995)
The Number Partition Phase Transition
-
-
Gent, I.P.1
Walsh, T.2
-
6
-
-
84880690977
-
From approximate to optimal solutions: Constructing pruning and propagation rules
-
Nagoya, Japan
-
I.P. Gent, T. Walsh, From approximate to optimal solutions: constructing pruning and propagation rules, in: Proceedings IJCAI-97, Nagoya, Japan, 1997, pp. 1396-1401.
-
(1997)
Proceedings IJCAI-97
, pp. 1396-1401
-
-
Gent, I.P.1
Walsh, T.2
-
7
-
-
0002409769
-
Limited discrepancy search
-
Montreal, Quebec
-
W.D. Harvey, M.L. Ginsberg, Limited discrepancy search, in: Proceedings IJCAI-95, Montreal, Quebec, 1995, pp. 607-613.
-
(1995)
Proceedings IJCAI-95
, pp. 607-613
-
-
Harvey, W.D.1
Ginsberg, M.L.2
-
8
-
-
0016047180
-
Computing partitions with applications to the Knapsack problem
-
E. Horowitz, S. Sahni, Computing partitions with applications to the Knapsack problem, J. ACM 21 (2) (1974) 277-292.
-
(1974)
J. ACM
, vol.21
, Issue.2
, pp. 277-292
-
-
Horowitz, E.1
Sahni, S.2
-
9
-
-
0023440251
-
Phase transitions in artificial intelligence systems
-
B. Huberman, T. Hogg, Phase transitions in artificial intelligence systems, Artificial Intelligence 33 (2) (1987) 155-171.
-
(1987)
Artificial Intelligence
, vol.33
, Issue.2
, pp. 155-171
-
-
Huberman, B.1
Hogg, T.2
-
10
-
-
0001047763
-
Optimization by simulated annealing: An experimental evaluation, Part II: Graph coloring and number partitioning
-
D.S. Johnson, C.R. Aragon, L.A. McGeoch, C. Schevon, Optimization by simulated annealing: an experimental evaluation, Part II: Graph coloring and number partitioning, Oper. Res. 39 (3) (1991) 378-406.
-
(1991)
Oper. Res.
, vol.39
, Issue.3
, pp. 378-406
-
-
Johnson, D.S.1
Aragon, C.R.2
McGeoch, L.A.3
Schevon, C.4
-
11
-
-
0001789719
-
Solving partitioning problems with genetic algorithms
-
R.K. Belew, L.B. Booker (Eds.), Morgan Kaufmann, San Mateo, CA
-
D.R. Jones, M.A. Beltramo, Solving partitioning problems with genetic algorithms, in: R.K. Belew, L.B. Booker (Eds.), Proceedings 4th International Conference on Genetic Algorithms, Morgan Kaufmann, San Mateo, CA, 1991, pp. 442-449.
-
(1991)
Proceedings 4th International Conference on Genetic Algorithms
, pp. 442-449
-
-
Jones, D.R.1
Beltramo, M.A.2
-
12
-
-
0003590131
-
-
Technical Report UCB/CSD 82/113, Computer Science Division, University of California, Berkeley, CA
-
N. Karmarkar, R.M. Karp, The differencing method of set partitioning. Technical Report UCB/CSD 82/113, Computer Science Division, University of California, Berkeley, CA, 1982.
-
(1982)
The Differencing Method of Set Partitioning
-
-
Karmarkar, N.1
Karp, R.M.2
-
13
-
-
0022772130
-
Probabilistic analysis of optimum partitions
-
N. Karmarkar, R.M. Karp, G.S. Lueker, A.M. Odlyzko, Probabilistic analysis of optimum partitions, J. Appl. Probab. 23 (1986) 626-645.
-
(1986)
J. Appl. Probab.
, vol.23
, pp. 626-645
-
-
Karmarkar, N.1
Karp, R.M.2
Lueker, G.S.3
Odlyzko, A.M.4
-
14
-
-
0003037529
-
Reducibility among combinatorial problems
-
R.E. Miller, J.W. Thatcher (Eds.), Plenum Press, New York
-
R.M. Karp, Reducibility among combinatorial problems, in: R.E. Miller, J.W. Thatcher (Eds.), Complexity of Computer Computations, Plenum Press, New York, 1972, pp. 85-103.
-
(1972)
Complexity of Computer Computations
, pp. 85-103
-
-
Karp, R.M.1
-
15
-
-
0001899512
-
From approximate to optimal solutions: A case study of number partitioning
-
Montreal, Quebec
-
R.E. Korf, From approximate to optimal solutions: a case study of number partitioning, in: Proceedings IJCAI-95, Montreal, Quebec, 1995, pp. 266-272.
-
(1995)
Proceedings IJCAI-95
, pp. 266-272
-
-
Korf, R.E.1
-
16
-
-
0030361834
-
Improved limited discrepancy search
-
Portland, OR
-
R.E. Korf, Improved limited discrepancy search, in: Proceedings AAAI-96, Portland, OR, 1996, pp. 286-291.
-
(1996)
Proceedings AAAI-96
, pp. 286-291
-
-
Korf, R.E.1
-
17
-
-
0027002161
-
Hard and easy distributions of SAT problems
-
San Jose, CA
-
D. Mitchell, B. Selman, H. Levesque, Hard and easy distributions of SAT problems, in: Proceedings AAAI-92, San Jose, CA, 1992, pp. 459-465.
-
(1992)
Proceedings AAAI-92
, pp. 459-465
-
-
Mitchell, D.1
Selman, B.2
Levesque, H.3
-
18
-
-
0000997555
-
Easily searched encodings for number partitioning
-
W. Ruml. J.T. Ngo, J. Marks, S. Shieber, Easily searched encodings for number partitioning, J. Optim. Theory Appl. 89 (2) (1996).
-
(1996)
J. Optim. Theory Appl.
, vol.89
, Issue.2
-
-
Ruml, W.1
Ngo, J.T.2
Marks, J.3
Shieber, S.4
-
19
-
-
0001539550
-
n/4) algorithm for certain NP-complete problems
-
n/4) algorithm for certain NP-complete problems, SIAM J. Comput. 10 (3) (1981) 456-464.
-
(1981)
SIAM J. Comput.
, vol.10
, Issue.3
, pp. 456-464
-
-
Schroeppel, R.1
Shamir, A.2
-
20
-
-
0030082880
-
The differencing algorithm LDM for partitioning: A proof of a conjecture of Karmarkar and Karp
-
B. Yakir, The differencing algorithm LDM for partitioning: a proof of a conjecture of Karmarkar and Karp, Math. Oper. Res. 21 (1996) 85-99.
-
(1996)
Math. Oper. Res.
, vol.21
, pp. 85-99
-
-
Yakir, B.1
-
21
-
-
0030108948
-
A study of complexity transitions on the asymmetric traveling salesman problem
-
W. Zhang, R.E. Korf, A study of complexity transitions on the asymmetric traveling salesman problem, Artificial Intelligence 81 (1996) 223-239.
-
(1996)
Artificial Intelligence
, vol.81
, pp. 223-239
-
-
Zhang, W.1
Korf, R.E.2
|