arXiv Artificial Intelligence· Martin S. Fixman, Fredrik R{\o}mming, Sean B. Holden·· 18 小时前AI 评分22
SATResetCoP：不回退、常重置，用持久 SAT 状态加速连接表证明器
Reset Early, Reset Often, Eliminate Models
AI 导读
SATResetCoP 不再对无产出的 tableau 回退，而是直接开启新 tableau 为 SAT 求解器持续生成新的 ground 子句。在 TPTP 上，它比 leanCoP 风格基线提升 54%、比 SATCoP 风格基线提升 18%；在 bushy MPTP2078 基准上求解 616 个问题，分别提升 49% 和 12%。
来源：arXiv Artificial Intelligence · arxiv.org