Memory-efficient symbolic heuristic search
Rune Møller Jensen, Eric A. Hansen, Simon Richards, Rong Zhou · IT University Of Copenhagen (IT University of Copenhagen) · 2006
A promising approach to solving large state-space search problems is to integrate heuristic search with symbolic search. Recent work shows that a symbolic A * search al-gorithm that uses binary decision diagrams to compactly rep-resent sets of states outperforms traditional A * in many do-mains. Since the memory requirements of A * limit its scal-ability, we show how to integrate symbolic search with a memory-efficient strategy for heuristic search. We analyze the resulting search algorithm, consider the factors that affect its behavior, and evaluate its performance in solving bench-mark problems that include STRIPS planning problems.