找到1个数据集

分类: 公开数据 标签: SMT

过滤结果

  • FraSMT实验分析基准与原始数据集

    2025年12月9日 30 177 56

    数据集概述 本数据集包含FraSMT实验的分析基准数据与原始数据，涉及超图的分数超树宽度（fhtd）相关实验结果，涵盖时间、内存、目标值等指标，支持实验结果的复现与分析。 文件详解 该数据集包含多种格式的文件，具体说明如下： - CSV数据文件（24个）： - 名称示例：fhtd-hypergraphs-by-...
    packageimg