找到1个数据集

标签: 合成实例

过滤结果

  • 伪布尔模型计数合成实例数据集

    2025年12月13日 30 11 3

    数据集概述 该数据集包含用于论文《On Top-Down Pseudo-Boolean Model Counting》的伪布尔模型计数合成实例，由现有实例修改而来，为伪布尔模型计数相关研究提供实验数据支持。 文件详解 文件名称: cost-graph.zip 文件格式: ZIP压缩包（.zip） 内容说明:...
    packageimg