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

This dataset has no data

Cite this as

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

Private DOI This DOI is not yet resolvable.
It is available for use in manuscripts, and will be published when the Dataset is made public.

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