-
TU_Wien_DBAI_adf_bdd_v0_2_4_beta_1_Based_求解器性能评估完整数据集
2025年12月22日 30 79 1
数据集概述 该数据集包含adf-bdd求解器（版本v0.2.4-beta.1）的运行时间数据，以及与其他ADF求解器的对比结果，可用于评估求解器性能，基于TU Wien DBAI的基准测试集构建。 文件详解 核心数据文件（CSV格式，共11个）： statistics_overview.csv：原始测试数据总览 其他CSV文件（如kadf-...
2025年12月22日 30 79 1
