Structure and Problem Hardness: Goal Asymmetry and DPLL Proofs in SAT-Based Planning

Jörg Hoffmann Carla P. Gomes Bart Selman

Published in: CoRR (2007)

Keyphrases

planning problems
sat solvers
ai planning
planning domains
np complete
domain independent
propositional logic
sat solving
computational complexity
version space