研究人员探索了并行连续局部搜索（CLS）作为一种解决具有对称伪布尔约束的布尔可满足性问题的方法。研究发现冗余约束会阻碍收敛，并且CLS在混合求解器中作为完成部分赋值的组件具有潜力。此外，由于目标函数中进一步的步骤收益递减，局部搜索能够快速达到稳定的解质量分布。 AI
影响 这项研究可能为开发更有效的复杂约束满足问题求解器提供信息，并可能影响依赖此类计算的领域。
排序理由 该集群包含一篇详细介绍特定计算方法研究的研究论文。[lever_c_demoted from research: ic=1 ai=1.0]
AI 生成摘要 · Google Gemini · 来自 1 个来源。 我们如何撰写摘要 →