Space-efficient search algorithms
ACM Computing Surveys (CSUR)
A space-time tradeoff for memory-based heuristics
AAAI '99/IAAI '99 Proceedings of the sixteenth national conference on Artificial intelligence and the eleventh Innovative applications of artificial intelligence conference innovative applications of artificial intelligence
Error Detection with Directed Symbolic Model Checking
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
Finding optimal solutions to the graph partitioning problem with heuristic search
Annals of Mathematics and Artificial Intelligence
Partial Symbolic Pattern Databases for Optimal Sequential Planning
KI '08 Proceedings of the 31st annual German conference on Advances in Artificial Intelligence
Survey on Directed Model Checking
Model Checking and Artificial Intelligence
Multi-valued Pattern Databases
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
Bidirectional heuristic search reconsidered
Journal of Artificial Intelligence Research
Switching from bidirectional to unidirectional search
IJCAI'99 Proceedings of the 16th international joint conference on Artificial intelligence - Volume 2
Recent progress in heuristic search: a case study of the four-peg towers of Hanoi problem
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
How to use limited memory in heuristic search
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
Optimal symbolic planning with action costs and preferences
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Algorithms for memory hierarchies: advanced lectures
Algorithms for memory hierarchies: advanced lectures
Efficient modified bidirectional algorithm for optimal route-finding
IEA/AIE'07 Proceedings of the 20th international conference on Industrial, engineering, and other applications of applied intelligent systems
SARA'07 Proceedings of the 7th International conference on Abstraction, reformulation, and approximation
Combining perimeter search and pattern database abstractions
SARA'07 Proceedings of the 7th International conference on Abstraction, reformulation, and approximation
Finding optimal solutions to the twenty-four puzzle
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 2
Finding optimal solutions to Rubik's cube using pattern databases
AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
Dynamic improvements of heuristic evaluations during search
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
Heuristic perimeter search: first results
CAEPIA'05 Proceedings of the 11th Spanish association conference on Current Topics in Artificial Intelligence
Forward perimeter search with controlled use of memory
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Symbolic merge-and-shrink for cost-optimal planning
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Hi-index | 0.00 |