Planning as Quantified Boolean Formula.

Michael Cashmore Maria Fox Enrico Giunchiglia

Published in: ECAI (2012)

Keyphrases

boolean formula
planning problems
sat solvers
conjunctive normal form
search algorithm
special case
orders of magnitude
heuristic search
boolean variables
dynamic programming
practical problems