Recent Advances in AI Planning

The past five years have seen dramatic advances in planning algorithms, with an emphasis on propositional methods such as GRAPHPLAN and compilers that convert planning problems into propositional conjunctive normal form formulas for solution using systematic or stochastic SAT methods. In this survey, I explain the latest techniques and suggest areas for future research.