Datasets Activity Stream About Order by Relevance Name Ascending Name Descending Last Modified Go 1 dataset found Tags: Organic Synthesis Filter Results 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
