External-memory pattern databases using structured duplicate detection

Proceedings of the National Conference on Artificial Intelligence

Volumn 3, Issue , 2005, Pages 1398-1404

  Zhou, Rong ^a   Hansen, Eric A ^a  

^a MISSISSIPPI STATE UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

DATABASE HEURISTICS; HEURISTIC FUNCTIONS; PATTERN DATABASES; STRUCTURED DUPLICATE DETECTION;

ARTIFICIAL INTELLIGENCE; FUNCTIONS; HEURISTIC METHODS; PATTERN RECOGNITION; PROBLEM SOLVING; QUERY LANGUAGES; SEARCH ENGINES; STATE SPACE METHODS; TABLE LOOKUP;

DATABASE SYSTEMS;

EID: 29344435814     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (20)

1. Culberson, J., and Schaeffer, J. 1998. Pattern databases. Computational Intelligence 14(4):318-334.
2. Edelkamp, S. 2001. Planning with pattern databases. In 6th European Conference on Planning (ECP-01).
3. Edelkamp, S.; Jabbar, S.; and Schrödl, S. 2004. External A*. In Proceedings of the 27th German Conf. on AI, 226-240.
4. Felner, A.; Meshulam, R.; Holte, R.; and Korf, R. E. 2004. Compressing pattern databases. In Proceedings of the 19th National Conference on Artificial Intelligence (AMI-04), 638-643.
5. Hernádvölgyi, I., and Holte, R. 2000. Experiments with automatically created memory-based heuristics. In Proc. of the Symposium on Abstraction, Reformulation, and Approximation (SARA-2000), Lecture Notes in Artificial Intelligence 1864, 281-290.
6. Holte, R.; Newton, J.; Felner, A.; Meshulam, R.; and Furcy, D. 2004. Multiple pattern databases. In Proceedings of the 14th International Conference on Automated Planning and Scheduling, 122-131.
7. Korf, R. 1985. Depth-first iterative deepening: An optimal admissible tree search. Artificial Intelligence 27:97-109.
8. Korf, R. 1997. Finding optimal solutions to Rubik's cube using pattern databases. In Proceedings of 14th National Conference on Artificial Intelligence (AAAI-97), 700-705.
9. Korf, R. 2004. Best-first frontier search with delayed duplicate detection. In Proceedings of the 19th National Conference on Artificial Intelligence (AAAI-04), 650-657.
10. Korf, R., and Feiner, A. 2002. Disjoint pattern database heuristics. Artificial Intelligence 134(1-2):9-22.
11. McNaughton, M.; Lu, P.; Schaeffer, J.; and Szafron, D. 2002. Memory-efficient A* heuristics for multiple sequence alignment. In Proceedings of the 18th National Conference on Artificial Intelligence (AAAI-02), 737-743.
12. Mehlhorn, K., and Meyer, U. 2002. External-memory breadth-first search with sublinear I/O. In Proceedings of the 10th Annual European Symposium on Algorithms, 723-735.
13. Munagala, K., and Ranade, A. 1999. I/O-complexity of graph algorithms. In Proceedings of the 10th Symposium on discrete algorithms, 687-694.
14. Qian, K., and Nymeyer, A. 2004. Guided invariant model checking based on abstraction and symbolic pattern databases. In Proceedings of the 10th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, 497-511.
15. Sleator, D., and Tarjan, R. 1985. Amortized efficiency of list update and paging rules. Communications of the ACM 28:202-8.
16. Thompson, J.; Plewniak, F.; and Poch, O. 1999. BAliBASE: A benchmark alignment database for the evaluation of multiple alignment programs. Bioinformatics 15(1):87-88.
17. Zhou, R., and Hansen, E. 2003. Sweep A*: Space-efficient heuristic search in partially ordered graphs. In Proceedings of 15th IEEE International Conference on Tools with Artificial Intelligence, 427-434.
18. Zhou, R., and Hansen, E. 2004a. Breadth-first heuristic search. In Proceedings of the 14th International Conference on Automated Planning and Scheduling, 92-100.
19. Zhou, R., and Hansen, E. 2004b. Space-efficient memory-based heuristics. In Proceedings of the 19th National Conference on Artificial Intelligence (AAAI-04), 808-814.
20. Zhou, R., and Hansen, E. 2004c. Structured duplicate detection in external-memory graph search. In Proceedings of the 19th National Conference on Artificial Intelligence (AAAI-04), 683-688.