-
2
-
-
0000901610
-
Planning as heuristic search: New results
-
Biundo, S, and Fox, M, eds, Durham, UK: Springer: Lecture Notes on Computer Science
-
Bonet, B., and Geffner, H. 1999. Planning as heuristic search: New results. In Biundo, S., and Fox, M., eds., Proc. 5th European Conf. on Planning, 359-371. Durham, UK: Springer: Lecture Notes on Computer Science.
-
(1999)
Proc. 5th European Conf. on Planning
, pp. 359-371
-
-
Bonet, B.1
Geffner, H.2
-
4
-
-
58849098548
-
Limits and possibilities of bdds in state space search
-
Edelkamp, S., and Kissmann, P. 2008. Limits and possibilities of bdds in state space search. In AAAI'08.
-
(2008)
AAAI
, vol.8
-
-
Edelkamp, S.1
Kissmann, P.2
-
7
-
-
38349109599
-
Compressed pattern databases
-
Felner, A.; Korf, R. E.; Meshulam, R.; and Holte, R. 2007. Compressed pattern databases. Journal of Artificial Intelligence Research 30:213-247.
-
(2007)
Journal of Artificial Intelligence Research
, vol.30
, pp. 213-247
-
-
Felner, A.1
Korf, R.E.2
Meshulam, R.3
Holte, R.4
-
8
-
-
84899829959
-
A formal basis for the heuristic determination of minimum cost paths
-
Hart, P.; Nilsson, N.; and Raphael, B. 1968. A formal basis for the heuristic determination of minimum cost paths. In IEEE Transactions on Systems Science and Cybernetics, volume SSC-4(2), 100-107.
-
(1968)
IEEE Transactions on Systems Science and Cybernetics
, vol.SSC-4
, Issue.2
, pp. 100-107
-
-
Hart, P.1
Nilsson, N.2
Raphael, B.3
-
11
-
-
33750633519
-
Maximizing over multiple pattern databases speeds up heuristic search
-
Holte, R. C.; Felner, A.; Newton, J.; Meshulam, R.; and Furcy, D. 2006. Maximizing over multiple pattern databases speeds up heuristic search. Artificial Intelligence 170:1123-1136.
-
(2006)
Artificial Intelligence
, vol.170
, pp. 1123-1136
-
-
Holte, R.C.1
Felner, A.2
Newton, J.3
Meshulam, R.4
Furcy, D.5
-
13
-
-
0019044994
-
Toward a model of representation changes
-
Korf, R. E. 1980. Toward a model of representation changes. Artificial Intelligence 14(1):41-78.
-
(1980)
Artificial Intelligence
, vol.14
, Issue.1
, pp. 41-78
-
-
Korf, R.E.1
-
14
-
-
0022129301
-
Depth-first iterative-deepening: An optimal admissible tree search
-
Korf, R. E. 1985. Depth-first iterative-deepening: An optimal admissible tree search. Artificial Intelligence 27(1):97-109.
-
(1985)
Artificial Intelligence
, vol.27
, Issue.1
, pp. 97-109
-
-
Korf, R.E.1
-
15
-
-
58849099479
-
-
Long, D, and Fox, M, eds
-
Long, D., and Fox, M., eds. 2003. Special Issue on the 3rd International Planning Competition, Journal of Artificial Intelligence Research (JAIR), volume 20.
-
(2003)
Special Issue on the 3rd International Planning Competition, Journal of Artificial Intelligence Research (JAIR)
, vol.20
-
-
-
16
-
-
0027646606
-
Machine discovery of effective admissible heuristics
-
Prieditis, A. E. 1993. Machine discovery of effective admissible heuristics. Machine Learning 12:117-141.
-
(1993)
Machine Learning
, vol.12
, pp. 117-141
-
-
Prieditis, A.E.1
-
17
-
-
0028465846
-
Enhanced iterativedeepening search
-
Reinefeld, A., and Marsland, T. 1994. Enhanced iterativedeepening search. IEEE Trans. PAMI 16:701-710.
-
(1994)
IEEE Trans. PAMI
, vol.16
, pp. 701-710
-
-
Reinefeld, A.1
Marsland, T.2
-
18
-
-
0027880685
-
Algebraic Decision Diagrams and Their Applications
-
Santa Clara, California: IEEE Computer Society Press
-
R.I. Bahar; E.A. Frohm; C.M. Gaona; G.D. Hachtel; E. Macii; A. Pardo; and F. Somenzi. 1993. Algebraic Decision Diagrams and Their Applications. In IEEE /ACM International Conference on CAD, 188-191. Santa Clara, California: IEEE Computer Society Press.
-
(1993)
IEEE /ACM International Conference on CAD
, pp. 188-191
-
-
Bahar, R.I.1
Frohm, E.A.2
Gaona, C.M.3
Hachtel, G.D.4
Macii, E.5
Pardo, A.6
Somenzi, F.7
-
20
-
-
58849147824
-
-
Somenzi, F 2005. CUDD: CU Decision Diagram package release 2.4.1. Software Release
-
Somenzi, F 2005. CUDD: CU Decision Diagram package release 2.4.1. Software Release.
-
-
-
|