QBF - Groups

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.
- Dataset
- JSON
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.
- Dataset
- JSON

2 datasets found