Return to Article Details Classical Planning as QBF without Grounding Download Download PDF