arXiv · cs.AI· Martin S. Fixman, Fredrik R{\o}mming, Sean B. Holden·· 11 小时前
SATResetCoP通过频繁重置连接表证明器提升性能
Reset Early, Reset Often, Eliminate Models
arXiv:2610.18204v1阅读论文 PDF ↗
仅依据论文摘要整理；未读取全文，实验条件、证明与基准细节请核对原文。
作者：Martin S. Fixman, Fredrik R{\o}mming, Sean B. Holden
研究任务与主要进展
作者提出 SATResetCoP，在连接表证明器不 productive 的 tableau 上不执行回溯，而是启动新 tableau，为增量 SAT 求解器生成更多 grounded clauses。
来源：arXiv · cs.AI · arxiv.org