找到1个数据集

标签: SAT规划实验

过滤结果

  • AxSAT_JELIA_2025_SAT规划实验代码与结果数据

    2026年1月28日 30 193 151

    数据集概述 本数据集为JELIA 2025论文《AxSAT - Bringing Axioms to SAT Planning》的配套资源，包含扩展版Fast Downward规划系统代码、PDDL基准测试用例、原始实验数据及解析后的数据，共4个文件，用于支持SAT规划算法AxSAT的实验复现与分析。 文件详解 代码文件 文件名称：code.zip...
    packageimg