TY - GEN
T1 - Symbolic A* search with pattern databases and the merge-and-shrink abstraction
AU - Edelkamp, Stefan
AU - Kissmann, Peter
AU - Torralba, Álvaro
N1 - Copyright:
Copyright 2018 Elsevier B.V., All rights reserved.
PY - 2012
Y1 - 2012
N2 - The efficiency of heuristic search planning crucially depends on the quality of the search heuristic, while succinct representations of state sets in decision diagrams can save large amounts of memory in the exploration. BDDA* - a symbolic version of A* search - combines the two approaches into one algorithm. This paper compares two of the leading heuristics for sequential-optimal planning: the merge-and-shrink and the pattern databases heuristic, both of which can be compiled into a vector of BDDs and be used in BDDA*. The impact of optimizing the variable ordering is highlighted and experiments on benchmark domains are reported.
AB - The efficiency of heuristic search planning crucially depends on the quality of the search heuristic, while succinct representations of state sets in decision diagrams can save large amounts of memory in the exploration. BDDA* - a symbolic version of A* search - combines the two approaches into one algorithm. This paper compares two of the leading heuristics for sequential-optimal planning: the merge-and-shrink and the pattern databases heuristic, both of which can be compiled into a vector of BDDs and be used in BDDA*. The impact of optimizing the variable ordering is highlighted and experiments on benchmark domains are reported.
UR - http://www.scopus.com/inward/record.url?scp=84878775014&partnerID=8YFLogxK
U2 - 10.3233/978-1-61499-098-7-306
DO - 10.3233/978-1-61499-098-7-306
M3 - Article in proceeding
AN - SCOPUS:84878775014
SN - 9781614990970
T3 - Frontiers in Artificial Intelligence and Applications
SP - 306
EP - 311
BT - ECAI 2012 - 20th European Conference on Artificial Intelligence, 27-31 August 2012, Montpellier, France - Including Prestigious Applications of Artificial Intelligence (PAIS-2012) System Demonstration
PB - IOS Press
T2 - 20th European Conference on Artificial Intelligence, ECAI 2012
Y2 - 27 August 2012 through 31 August 2012
ER -