-
1
-
-
66149167320
-
Efficient algorithms to rank and unrank permutations in lexicographic order
-
Bonet, B. 2008. Efficient algorithms to rank and unrank permutations in lexicographic order. In AAAI-Workshop on Search in AI and Robotics.
-
(2008)
AAAI-Workshop on Search in AI and Robotics
-
-
Bonet, B.1
-
2
-
-
48949097559
-
External perfect hashing for very large key sets
-
Botelho, F. C., and Ziviani, N. 2007. External perfect hashing for very large key sets. In CIKM, 653-662.
-
(2007)
CIKM
, pp. 653-662
-
-
Botelho, F.C.1
Ziviani, N.2
-
3
-
-
0039577309
-
Sorting with fixed-length reversals
-
Chen, T., and Skiena, S. 1996. Sorting with fixed-length reversals. Discrete Applied Mathematics 71(1-3):269-295.
-
(1996)
Discrete Applied Mathematics
, vol.71
, Issue.1-3
, pp. 269-295
-
-
Chen, T.1
Skiena, S.2
-
4
-
-
38249012602
-
New methods for using Cayley graphs in interconnection networks
-
Cooperman, G., and Finkelstein, L. 1992. New methods for using Cayley graphs in interconnection networks. Discrete Applied Mathematics 37/38:95-118.
-
(1992)
Discrete Applied Mathematics
, vol.37
, Issue.38
, pp. 95-118
-
-
Cooperman, G.1
Finkelstein, L.2
-
6
-
-
33745770447
-
Large-scale directed model checking LTL
-
Edelkamp, S., and Jabbar, S. 2006. Large-scale directed model checking LTL. In SPIN, 1-18.
-
(2006)
SPIN
, pp. 1-18
-
-
Edelkamp, S.1
Jabbar, S.2
-
9
-
-
27344444060
-
Large-scale parallel breadth-first search
-
Korf, R. E., and Schultze, T. 2005. Large-scale parallel breadth-first search. In AAAI, 1380-1385.
-
(2005)
AAAI
, pp. 1380-1385
-
-
Korf, R.E.1
Schultze, T.2
-
10
-
-
0031361254
-
Finding optimal solutions to Rubik's Cube using pattern databases
-
Korf, R. E. 1997. Finding optimal solutions to Rubik's Cube using pattern databases. In AAAI, 700-705.
-
(1997)
AAAI
, pp. 700-705
-
-
Korf, R.E.1
-
11
-
-
9444272595
-
Breadth-first frontier search with delayed duplicate detection
-
Korf, R. E. 2003. Breadth-first frontier search with delayed duplicate detection. In MoChArT), 87-92.
-
(2003)
MoChArT)
, pp. 87-92
-
-
Korf, R.E.1
-
12
-
-
57749168341
-
Minimizing disk I/O in two-bit-breathfirst search
-
Korf, R. E. 2008. Minimizing disk I/O in two-bit-breathfirst search. In AAAI, 317-324.
-
(2008)
AAAI
, pp. 317-324
-
-
Korf, R.E.1
-
13
-
-
36348993090
-
Twenty-six moves suffice for Rubik's cube
-
Kunkle, D., and Cooperman, G. 2007. Twenty-six moves suffice for Rubik's cube. In ISSAC, 235 - 242.
-
(2007)
ISSAC
, pp. 235-242
-
-
Kunkle, D.1
Cooperman, G.2
-
14
-
-
0032762510
-
I/O-complexity of graph algorithms
-
Munagala, K., and Ranade, A. 1999. I/O-complexity of graph algorithms. In SODA, 687-694.
-
(1999)
SODA
, pp. 687-694
-
-
Munagala, K.1
Ranade, A.2
-
15
-
-
0035975708
-
Ranking and unranking permutations in linear time
-
Myrvold,W., and Ruskey, F. 2001. Ranking and unranking permutations in linear time. Information Processing Letters 79(6):281-284.
-
(2001)
Information Processing Letters
, vol.79
, Issue.6
, pp. 281-284
-
-
Myrvold, W.1
Ruskey, F.2
-
16
-
-
49049088756
-
GPU computing
-
Owens, J. D.; Houston, M.; Luebke, D.; Green, S.; Stone, J. E.; and Phillips, J. C. 2008. GPU computing. Proceedings of the IEEE 96(5):879-899.
-
(2008)
Proceedings of the IEEE
, vol.96
, Issue.5
, pp. 879-899
-
-
Owens, J.D.1
Houston, M.2
Luebke, D.3
Green, S.4
Stone, J.E.5
Phillips, J.C.6
-
17
-
-
9444239159
-
Structured duplicate detection in external-memory graph search
-
Zhou, R., and Hansen, E. A. 2004. Structured duplicate detection in external-memory graph search. In AAAI, 683- 689.
-
(2004)
AAAI
, pp. 683-689
-
-
Zhou, R.1
Hansen, E.A.2
-
18
-
-
32944479332
-
Breadth-first heuristic search
-
Zhou, R., and Hansen, E. A. 2006. Breadth-first heuristic search. AI 170(4-5):385-408.
-
(2006)
AI
, vol.170
, Issue.4-5
, pp. 385-408
-
-
Zhou, R.1
Hansen, E.A.2
-
19
-
-
36348961857
-
Parallel structured duplicate detection
-
Zhou, R., and Hansen, E. A. 2007. Parallel structured duplicate detection. In AAAI, 1217-1222.
-
(2007)
AAAI
, pp. 1217-1222
-
-
Zhou, R.1
Hansen, E.A.2
|