找到1个数据集

标签: VeriT格式

过滤结果

  • Propositional_Resolution_Based命题归结证明数据集

    2026年1月19日 30 92 90

    数据集概述 本数据集包含命题归结证明，主要采用SMT求解器VeriT格式，同时包含少量TraceCheck格式证明和一份DRUP/DRAT格式证明。这些证明曾用于Skeptik工具中证明压缩算法的评估实验，为命题逻辑证明相关研究提供基础数据。 文件详解 文件名称：Propositional Resolution Proofs.zip 文件格式：ZIP...
    packageimg