-
Eriksson_ICAPS_2017_Based_经典规划不可解性证明实验数据
2026年1月19日 30 82 23
数据集概述 本数据集为Eriksson等人在ICAPS 2017发表的论文《Unsolvability Certificates for Classical Planning》所用实验数据，包含实验运行的解析属性及重要属性概览，以压缩包形式提供，支持经典规划算法的不可解性证明研究。 文件详解 压缩包文件： 文件名称：eriksson-et-al-...
2026年1月19日 30 82 23
