Amortized efficiency of list update and paging rules
Communications of the ACM
Depth-first iterative-deepening: an optimal admissible tree search
Artificial Intelligence
The input/output complexity of sorting and related problems
Communications of the ACM
Speeding up problem solving by abstraction: a graph oriented approach
Artificial Intelligence - Special volume on empirical methods
I/O-complexity of graph algorithms
Proceedings of the tenth annual ACM-SIAM symposium on Discrete algorithms
Divide-and-Conquer Frontier Search Applied to Optimal Sequence Alignment
Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on Innovative Applications of Artificial Intelligence
External-Memory Breadth-First Search with Sublinear I/O
ESA '02 Proceedings of the 10th Annual European Symposium on Algorithms
Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on Innovative Applications of Artificial Intelligence
Sweep A*: Space-Efficient Heuristic Search in Partially Ordered Graphs
ICTAI '03 Proceedings of the 15th IEEE International Conference on Tools with Artificial Intelligence
Factored A* search for models over sequences and trees
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Delayed duplicate detection: extended abstract
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Breadth-first heuristic search
Artificial Intelligence
Maximizing over multiple pattern databases speeds up heuristic search
Artificial Intelligence
A comparative analysis of parallel disk-based Methods for enumerating implicit graphs
Proceedings of the 2007 international workshop on Parallel symbolic computation
Dynamic Delayed Duplicate Detection for External Memory Model Checking
SPIN '08 Proceedings of the 15th international workshop on Model Checking Software
Layered Duplicate Detection in External-Memory Model Checking
SPIN '08 Proceedings of the 15th international workshop on Model Checking Software
Linear-time disk-based implicit graph search
Journal of the ACM (JACM)
Harnessing parallel disks to solve Rubik's cube
Journal of Symbolic Computation
Domain-independent structured duplicate detection
AAAI'06 proceedings of the 21st national conference on Artificial intelligence - Volume 2
Cost-optimal external planning
AAAI'06 Proceedings of the 21st national conference on Artificial intelligence - Volume 1
Memory intensive AND/OR search for combinatorial optimization in graphical models
Artificial Intelligence
Large-scale parallel breadth-first search
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 3
External-memory pattern databases using structured duplicate detection
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 3
Parallel structured duplicate detection
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 2
Edge partitioning in external-memory graph search
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Breadth-first heuristic search
Artificial Intelligence
Best-first heuristic search for multi-core machines
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Combining breadth-first and depth-first strategies in searching for treewidth
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Dynamic State Space Partitioning for External Memory Model Checking
FMICS '09 Proceedings of the 14th International Workshop on Formal Methods for Industrial Critical Systems
Combining perimeter search and pattern database abstractions
SARA'07 Proceedings of the 7th International conference on Abstraction, reformulation, and approximation
Leveraging graph locality via abstraction
SARA'07 Proceedings of the 7th International conference on Abstraction, reformulation, and approximation
Revisiting resistance speeds up I/O-efficient LTL model checking
TACAS'08/ETAPS'08 Proceedings of the Theory and practice of software, 14th international conference on Tools and algorithms for the construction and analysis of systems
Very large pattern databases for heuristic search
Proceedings of the 19th ACM International Symposium on High Performance Distributed Computing
Artificial intelligence search algorithms
Algorithms and theory of computation handbook
Best-first heuristic search for multicore machines
Journal of Artificial Intelligence Research
External memory breadth-first search with delayed duplicate detection on the GPU
MoChArt'10 Proceedings of the 6th international conference on Model checking and artificial intelligence
Out-of-core parallel frontier search with mapreduce
HPCS'09 Proceedings of the 23rd international conference on High Performance Computing Systems and Applications
I/O efficient directed model checking
VMCAI'05 Proceedings of the 6th international conference on Verification, Model Checking, and Abstract Interpretation
Solving the 24 puzzle with instance dependent pattern databases
SARA'05 Proceedings of the 6th international conference on Abstraction, Reformulation and Approximation
Time-Efficient model checking with magnetic disk
TACAS'05 Proceedings of the 11th international conference on Tools and Algorithms for the Construction and Analysis of Systems
Parallel external directed model checking with linear i/o
VMCAI'06 Proceedings of the 7th international conference on Verification, Model Checking, and Abstract Interpretation
New dominance rules and exploration strategies for the 1|ri|ΣUi scheduling problem
Computational Optimization and Applications
Parallel model checking using abstraction
SPIN'12 Proceedings of the 19th international conference on Model Checking Software
MR-search: massively parallel heuristic search
Concurrency and Computation: Practice & Experience
Evaluation of a simple, scalable, parallel best-first search strategy
Artificial Intelligence
Dynamic state space partitioning for external memory state space exploration
Science of Computer Programming
Forward perimeter search with controlled use of memory
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Minimizing writes in parallel external memory search
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
| Hi-index | 0.00 |
We consider how to use external memory, such as disk storage, to improve the scalability of heuristic search in state-space graphs. To limit the number of slow disk I/O operations, we develop a new approach to duplicate detection in graph search that localizes memory references by partitioning the search graph based on an abstraction of the state space, and expanding the frontier nodes of the graph in an order that respects this partition. We demonstrate the effectiveness of this approach both analytically and empirically.