An Effective QBF Solver for Planning Problems.

Charles Otwell Anja Remshagen Klaus Truemper

Published in: MSV/AMCS (2004)

Keyphrases

planning problems
heuristic search
domain independent
state space
ai planning
quantified boolean formulas
fully observable
planning systems
planning domains
optimal planning
deterministic domains
domain independent planning
general purpose
planning tasks