What's in It for My BDD? On Causal Graphs and Variable Orders in Planning.

Peter Kissmann Jörg Hoffmann

Published in: ICAPS (2013)

Keyphrases

causal graph
planning problems
causal models
strips planning
plan generation
state variables
binary decision diagrams
classical planning
heuristic search
np hardness
domain independent
boolean functions
state space
ai planning
boolean formula
linear program
multi valued
search space
objective function