2 datasets found

The dataset is used for classical planning as QBF without grounding. It contains 20 domains from previous IPC competitions.

The dataset is used for classical planning as QBF without grounding. It contains 4 Organic Synthesis domains: OS-Sat18, OS-Opt18, Alkene, and MitExams.