找到3个数据集

格式: ZIP 标签: 命题逻辑

过滤结果

  • propositional_logic_命题逻辑输出证明数据

    2026年1月29日 30 167 140

    数据集概述 本数据集围绕命题逻辑主题构建，包含1个JSON格式文件，未区分训练/测试、数据/标签或原始/处理数据，无目录层级，未提供文件内容预览及说明文档。 文件详解 文件名称：output_proofs_divided.json 文件格式：JSON 字段映射介绍：未提供文件内容预览，无法获取具体字段信息 适用场景 命题逻辑证明研究:...
    packageimg

  • ESA_2018_Based_SAT实例与树分解基准测试数据集

    2026年1月28日 30 112 68

    数据集概述 本数据集是ESA'2018会议论文《Weighted Model Counting on the GPU by Exploiting Small Treewidth》所用的基准集合，包含#SAT实例和树分解数据。数据来源于ApproxMC、C2D、Cachet等公开基准源，总计3个压缩文件，无目录结构，未划分训练/测试或数据/标签集。...
    packageimg

  • 特征模型语义差异分析工具包

    2025年12月12日 30 206 112

    数据集概述 本数据集是用于分析特征模型语义差异的工具包，包含代码、测试脚本、评估数据及文档。核心基于命题逻辑和QSAT形式化定义，实现特征模型语义差异的分类与枚举，支持在标准化UVL格式工业模型上的评估。 文件详解 核心代码与工具文件： 上游仓库代码：来自booleguru、outercount、kissat等仓库的代码，用于特征模型处理与逻辑求解...
    packageimg