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