Compact Tree Encodings for Planning as QBF.

Olivier Gasquet Dominique Longin Frederic Maris Pierre Régnier Maël Valais

Published in: Inteligencia Artif. (2018)

Keyphrases

planning problems
tree structure
heuristic search
sat encodings
sat solving
binary tree
data structure
index structure
orders of magnitude
b tree
planning domains
tree search
quantified boolean formulas
binary trees
classical planning
domain independent
decision support
lower bound