Classical Planning as QBF without Grounding (extended version)

Open in new window