-
20 domains from previous IPC competitions
The dataset is used for classical planning as QBF without grounding. It contains 20 domains from previous IPC competitions. -
Classical Planning as QBF Without Grounding
The dataset is used for classical planning as QBF without grounding. It contains 4 Organic Synthesis domains: OS-Sat18, OS-Opt18, Alkene, and MitExams.