实体 SAT-ACT

SAT-ACT

PulseAugur coverage of SAT-ACT — every cluster mentioning SAT-ACT 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_336384 · Nov 2 · 05:00

新的SAT-ACT框架改进了CDCL求解器的分支决策

研究人员开发了SAT-ACT，一个旨在增强SAT求解器决策能力的新框架。该方法通过比较同一求解器状态下不同分支动作产生的后果来学习分支偏好，而不是依赖单一标量指标。该系统使用条件化网络来指导搜索过程，实验表明它降低了搜索成本并提高了在SAT竞赛基准测试上的性能。