｛“status”：“ok”，“message type”：“work”，“message version”：“1.0.0”，“message”：｛“indexed”：｛“date parts”：[[2022,11,8]]，“date-time”：“2022-11-08T05:51:01Z”，“timestamp”：1667886661345｝，“reference count”：0，“publisher”：“Association for the Advancement of Artificial Intelligence（AAAI）”，“issue”：“1”，“content domain”：｛“domain”：[]，“crossmark restriction”：false｝，“short container-title”：[“AAAI”]，“抽象”：“\在这个摘要中，我们提出了通过随机抽样探索SAT搜索空间的研究，目的是改进冲突导向子句学习（CDCL）SAT解算器。我们提出的CDCL-SAT求解算法expSAT使用了一种新的分支启发式expVSIDS。它将标准VSIDS分数与探索得出的启发式分数相结合。最近SAT竞赛的应用基准测试表明，expSAT方法有潜力改进CDCL SAT解算器。\n\n<\/jats:p>“，”DOI“：”10.1609\/aaai.v32i1.12164“，”type“：”journal-article“，”created“：{”date-parts“：[2022,6,24]]，”date-time“：”2022-06-24T21:08:23Z“，”timestamp“：16561049030000}，”source“：“Crossref”，“is-referenced-by-count”：0，“title”：[“Exploration-Driven可满足性解决的初步结果”]，“前缀”：“10.1609”，“volume：“32”作者“：[{”given“：”Md Solimul“，”family“：”Chowdhury“，”sequence“：”first“，”affiliation“：[]}，”givent“：”Martin“，“family”：“M\u00fcller”，“sequence”：“additional”，“affiliance”：[]{，“given”：“Jia-Huai”，“faily”：”You“”，“sequence”:“additionable”，“abfiliation”：[]}]，“member”：“9382”，“published-on-line”：{“date-parts”：[2018,4,29]]}，“集装箱标签”：[“AAAI人工智能会议记录“]，“original-title”：[]，“link”：[{“URL”：“https:\/\/ojs.AAAI.org\/index.php\/AAAI\/aarticle\/download\/12164\/12023”，“content-type”：“application\/pdf”，“content-version”：“vor”，“intended-application”：“text-mining”}，{“URL”：“https:\/\/ojs.aaai.org\/index.php\/aaai\/article\/download\/12164\/12023“，”content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[2022,11,7]]，”date-time“：“2022-11-07T18:15:43Z”，”timestamp“：1667844943000}，“score”：1，“resource”：{“primary”:{“URL”：“”https:\/\/ojs.aaai.org\/index.php\/aaai\/article\/view\/12164“}}，”副标题“：[]，”短标题“：[]，”已发布“：{”日期部分“：[[2018,4,29]]}，“引用计数”：0，“日志发布”：{“发布”：“1”，“在线发布”：}“日期部分”：[[2018，2,8]]}}、“URL”：“http://\/dx.doi.org\/10.10609 \/aaai.v32i1.12164“，”关系“：{}，”ISSN“：[”2374-3468“，”2159-5399“]，”ISSN-type“：[{”value“：”2374-3468“，”type“：“电子”}，{“value”：“2159-5399”，“type”：”print“}]，“subject”：[]，“published”：{“date-parts”：[[2018,4,29]]}}}