Classical Planning as QBF without Grounding (extended version)

Irfansha Shaik, Jaco van de Pol

Most classical planners use grounding as a preprocessing step, essentially reducing planning to propositional logic. However, grounding involves instantiating all action rules with…