实体 SATResetCoP

SATResetCoP

PulseAugur coverage of SATResetCoP — every cluster mentioning SATResetCoP across labs, papers, and developer communities, ranked by signal.

总计 · 30天

1

90 天内 1

发布 · 30天

0

90 天内 0

论文 · 30天

1

90 天内 1

层级分布 · 90 天

主题

情绪 · 30 天

1 天有情绪数据

最近 · 第 1/1 页 · 共 1 条

TOOL · CL_300800 · Oct 15 · 04:00

新的SATResetCoP证明器通过消除回溯来提高性能

研究人员开发了一种新颖的连接表证明器SATResetCoP，它通过直接利用增量SAT求解器来提高性能。与传统的回溯证明器不同，SATResetCoP避免了无用的表，而是启动新的表来为SAT求解器生成更多地面子句。这种方法已显示出显著的改进，在MPTP2078基准测试中解决了616个问题，比leanCoP风格的基线提高了49%。