You're currently viewing an old version of this dataset. To see the current version, click here.

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.

Data and Resources

Cite this as

Irfansha Shaik, Jaco van de Pol (2024). Dataset: Classical Planning as QBF Without Grounding. https://doi.org/10.57702/uv8f50st

DOI retrieved: December 16, 2024

Additional Info

Field Value
Created December 16, 2024
Last update December 16, 2024
Defined In https://doi.org/10.48550/arXiv.2106.10138
Author Irfansha Shaik
More Authors
Jaco van de Pol