Classical Planning as QBF Without Grounding
收藏DataCite Commons2026-01-07 更新2025-04-16 收录
下载链接：
https://service.tib.eu/ldmservice/dataset/1a924027-426e-4c97-937f-a9047a94c44a
下载链接
链接失效反馈官方服务：
资源简介：
The dataset is used for classical planning as QBF without grounding. It contains 4 Organic Synthesis domains: OS-Sat18, OS-Opt18, Alkene, and MitExams.
提供机构：
TIB
创建时间：
2024-12-16
