实体
Conflict Driven Clause Learning
Conflict Driven Clause Learning
PulseAugur coverage of Conflict Driven Clause Learning — every cluster mentioning Conflict Driven Clause Learning across labs, papers, and developer communities, ranked by signal.
总计 · 30天
1
90 天内 2
发布 · 30天
0
90 天内 0
论文 · 30天
1
90 天内 2
层级分布 · 90 天
主题
情绪 · 30 天
1 天有情绪数据
最近 · 第 1/1 页 · 共 2 条
-
新的SAT-ACT框架改进了CDCL求解器的分支决策
研究人员开发了SAT-ACT，一个旨在增强SAT求解器决策能力的新框架。该方法通过比较同一求解器状态下不同分支动作产生的后果来学习分支偏好，而不是依赖单一标量指标。该系统使用条件化网络来指导搜索过程，实验表明它降低了搜索成本并提高了在SAT竞赛基准测试上的性能。
-
混合CDCL与CP-SAT架构加速设施布局优化
研究人员开发了一种结合了冲突驱动子句学习（CDCL）和CP-SAT求解器的混合架构，以加速离散设施布局优化。虽然CDCL擅长快速找到高度约束问题的可行解，但它在优化目标方面存在困难。新方法使用CDCL生成可行性提示，然后将其输入CP-SAT优化器，从而显著加快找到最优解的过程。