{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期部分”：[[2024,6,2]，“日期时间”：“2024-06-02T00:17:38Z”，“时间戳”：1717287458678}，“引用计数”：0，“发布者”：“人工智能发展协会（AAAI）”，“内容域”：{“域”：[]，“交叉标记限制”：false}，“short-container-title”：[“SOCS”]，“抽象”：“布尔可满足性（SAT）是一个NP-完全问题，表明其固有的计算难度。然而，冲突驱动子句学习（CDCL）SAT求解器可以有效地处理不同领域中的大型实例。快速识别冲突对于有效解决问题至关重要，因为冲突会导致学习搜索空间修剪子句，找出冲突的根源并防止冲突再次发生。CDCL决策启发法优先考虑参与最近冲突的变量，预测快速冲突生成并加快附加子句学习。实际上，只有一小部分决策会导致冲突，但有些决策可能会产生多重冲突。\在本文中，我们深入研究了CDCL中产生冲突的决策，区分了只产生一个冲突的单冲突（sc）决策和产生两个或多个冲突的多冲突（mc）决策。我们的实证分析基于每种决策类型产生的习得子句的质量来描述其特征。此外，我们的理论分析揭示了一个关键的区别：在同一个mc决策中学习的连续从句形成一个从句链，而在sc决策中的学习从句中则没有。这导致了一种假设，即大规模定制决策中的冲突原因比大规模定制决策的冲突原因更密切相关，这一假设通过我们引入的原因接近概念得到了实证验证。最后，我们提出了分数减少（sr）作为一种新的决策策略，降低了mc决策中学习子句中某些变量的选择优先级。通过四组基准测试，最终达到1200多个基准测试，对2023年SAT竞赛优胜者求解器顶部实施的sr进行了实证评估，揭示了这一新策略的优点<\/jats:p>“，”DOI“：”10.1609\/socs.v17i1.31574“，”type“：”journal-article“，”created“：{”date-parts“：[[2024,6,1]]，”date-time“：”2024-06-01T10:14:19Z“，”timestamp“：1717236859000}，”page“：“267-268”，“source”：“Crossref”，“is-referenced-by-count”：0，“title”：[“探索冲突生成决策：初始结果（扩展摘要）”]，“前缀”：“10.1 609“，”卷“：”17“，”author“：[{”given“：”Md Solimul“，”family“：”Chowdhury“，”sequence“：”first“，”affiliation“：[]}，{”fixed“：”Martin“，“family”：“M\u00fcller”，“sequence”：“additional”，“affiliance”：[]]，{“given”：“Jia-Huai”，“faily”：”You“，parts“：[[2024,6,1]]}，”container-title“：[”组合搜索国际研讨会论文集“]，”original-title“：[]，”link“：[{”URL“：”https:\/\/ojs.aaai.org\/index.php\/SOCS\/article\/download\/31574\/33734“，”content-type“：”application\/pdf“，”content-version“：”vor“，”intended-application“：”text-mining“}，”{“URL”：“https:\/\/ojs.aaai.org\/index.php\/SOCS\/article\/download\/31574\/33734“，“content-type”：“unspecified”，“content-version”：“vor”，“intended-application”：“similarity-checking”}]，“deposed”：{“date-parts”：[2024,6,1]]，“date-time”：”2024-06-01T10:14:19Z“timestamp”：1717236859000}，“score”：1，“resource”：}“primary”：{“URL”：“https:\/\/ojs.aaai.org\/index.php\/SOCS\/article\/view\/31574“}}，”副标题“：[]，”短标题“：[]，”已发布“：{”日期部分“：[2024,6,1]]}，“引用计数”：0，“URL”：“http://\/dx.doi.org\/10.1609\/SOCS.v17i1.31574”，“关系”：{}，‘ISSN’：[”2832-9163“，”2832-6171“]，“ISSN-type”：[{“value”：“2832-9163”，“type”（类型）：“electronic”}，{“value”（值）：“2832-9171”，“类型”：“print”}]，“主题“：[]，”发布“：{“日期部分”：[[2024,6,1]]}}