-
1
-
-
0035369022
-
Planning as heuristic search
-
Bonet, B., and Geffner, H. 2001. Planning as heuristic search. Artif. Intell. 129(1-2):5-33.
-
(2001)
Artif. Intell.
, vol.129
, Issue.1-2
, pp. 5-33
-
-
Bonet, B.1
Geffner, H.2
-
3
-
-
78650594871
-
Suboptimal and anytime heuristic search on multi-core machines
-
Burns, E.; Lemons, S.; Ruml, W; and Zhou, R. 2009b. Suboptimal and anytime heuristic search on multi-core machines. In ICAPS.
-
(2009)
ICAPS
-
-
Burns, E.1
Lemons, S.2
Ruml, W.3
Zhou, R.4
-
4
-
-
0031366911
-
Maximizing the Benefits of Parallel Search Using Machine Learning
-
Cook, D. J., and Varnell, R. C. 1997. Maximizing the Benefits of Parallel Search Using Machine Learning. In AAAI, 559-564.
-
(1997)
AAAI
, pp. 559-564
-
-
Cook, D.J.1
Varnell, R.C.2
-
5
-
-
84957879055
-
Searching with Pattern Databases
-
McCalla, G. L, ed., Canadian Conference on AI, Springer
-
Culberson, J. C., and Schaeffer, J. 1996. Searching with Pattern Databases. In McCalla, G. L, ed., Canadian Conference on AI, volume 1081 of Lecture Notes in Computer Science, 402-416. Springer.
-
(1996)
Lecture Notes in Computer Science
, vol.1081
, pp. 402-416
-
-
Culberson, J.C.1
Schaeffer, J.2
-
7
-
-
33845987956
-
Limited Discrepancy Beam Search
-
Furcy, D., and Koenig, S. 2005. Limited Discrepancy Beam Search. In IJCAI, 125-131.
-
(2005)
IJCAI
, pp. 125-131
-
-
Furcy, D.1
Koenig, S.2
-
8
-
-
84948994516
-
Heavy-tailed distributions in combinatorial search
-
Smolka, G., ed., CP, Springer
-
Gomes, C. P.; Selman, B.; and Crato, N. 1997. Heavy-tailed distributions in combinatorial search. In Smolka, G., ed., CP, volume 1330 of Lecture Notes in Computer Science, 121-135. Springer.
-
(1997)
Lecture Notes in Computer Science
, vol.1330
, pp. 121-135
-
-
Gomes, C.P.1
Selman, B.2
Crato, N.3
-
9
-
-
77949528695
-
ManySAT: A Parallel SAT Solver
-
Hamadi, Y.; Jabbour, S.; and Sais, L. 2009. ManySAT: a Parallel SAT Solver. Journal on Satisfiability, Boolean Modeling and Computation 6:245-262.
-
(2009)
Journal on Satisfiability, Boolean Modeling and Computation
, vol.6
, pp. 245-262
-
-
Hamadi, Y.1
Jabbour, S.2
Sais, L.3
-
10
-
-
78650590331
-
Landmarks, critical paths and abstractions: What's the difference anyway?
-
Helmert, M., and Domshlak, C. 2009. Landmarks, critical paths and abstractions: What's the difference anyway? In ICAPS.
-
(2009)
ICAPS
-
-
Helmert, M.1
Domshlak, C.2
-
11
-
-
58849131584
-
Unifying the causal graph and additive heuristics
-
Helmert, M., and Geffner, H. 2008. Unifying the causal graph and additive heuristics. In ICAPS, 140-147.
-
(2008)
ICAPS
, pp. 140-147
-
-
Helmert, M.1
Geffner, H.2
-
12
-
-
33749001469
-
The fast downward planning system
-
Helmert, M. 2006. The fast downward planning system. J. Artif. Intell. Res. (JAIR) 26:191-246.
-
(2006)
J. Artif. Intell. Res. (JAIR)
, vol.26
, pp. 191-246
-
-
Helmert, M.1
-
13
-
-
36348984418
-
Automatic Algorithm Configuration Based on Local Search
-
AAAI Press
-
Hutter, F.; Hoos, H. H.; and Stützle, T. 2007. Automatic Algorithm Configuration Based on Local Search. In AAAI, 1152-1157. AAAI Press.
-
(2007)
AAAI
, pp. 1152-1157
-
-
Hutter, F.1
Hoos, H.H.2
Stützle, T.3
-
14
-
-
78650608544
-
Scalable, Parallel Best-First Search for Optimal Sequential Planning
-
Kishimoto, A.; Fukunaga, A.; and Botea, A. 2009. Scalable, Parallel Best-First Search for Optimal Sequential Planning. In ICAPS, 201-208.
-
(2009)
ICAPS
, pp. 201-208
-
-
Kishimoto, A.1
Fukunaga, A.2
Botea, A.3
-
15
-
-
0002378545
-
Are Many Reactive Agents Better Than a Few Deliberative Ones?
-
Knight, K. 1993. Are Many Reactive Agents Better Than a Few Deliberative Ones? In IJCAI, 432-437.
-
(1993)
IJCAI
, pp. 432-437
-
-
Knight, K.1
-
16
-
-
0343427568
-
Iterative-Deepening-A*: An Optimal Admissible Tree Search
-
Korf, R. E. 1985. Iterative-Deepening-A*: An Optimal Admissible Tree Search. In IJCAI, 1034-1036.
-
(1985)
IJCAI
, pp. 1034-1036
-
-
Korf, R.E.1
-
17
-
-
0027623753
-
Linear-Space Best-First Search
-
Korf, R. E. 1993. Linear-Space Best-First Search. Artif. Intell. 62(1):41-78.
-
(1993)
Artif. Intell.
, vol.62
, Issue.1
, pp. 41-78
-
-
Korf, R.E.1
-
18
-
-
70350225844
-
A Concurrent Portfolio Approach to SMT Solving
-
Bouajjani, A., and Maler, O., eds., CAV, Springer
-
Wintersteiger, C. M.; Hamadi, Y.; and de Moura, L. M. 2009. A Concurrent Portfolio Approach to SMT Solving. In Bouajjani, A., and Maler, O., eds., CAV, volume 5643 of Lecture Notes in Computer Science, 715-720. Springer.
-
(2009)
Lecture Notes in Computer Science
, vol.5643
, pp. 715-720
-
-
Wintersteiger, C.M.1
Hamadi, Y.2
De Moura, L.M.3
|