找到1个数据集

标签: 增量SAT算法

过滤结果

  • 轻量级描述逻辑增量SAT公理定位实证评估数据集

    2025年12月20日 30 86 11

    数据集概述 该数据集包含论文《SATPin: Axiom Pinpointing for Lightweight Description Logics through Incremental SAT》中提出的程序的实证评估结果及对应输入数据，支持轻量级描述逻辑领域的公理定位方法研究。 文件详解 该数据集包含八个文件，具体说明如下： -...
    packageimg