{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2024,4,28]]，“日期时间”：“2024-04-28T09:47:56Z”，“时间戳”：1714297676172}，“出版商位置”：“柏林，海德堡”，“参考计数”：16，“出版者”：“施普林格-柏林-海德堡（Springer Berlin Heidelberg）”，“isbn-type”：[{“值”：“9783540797180”，“类型”：“打印”}，{“值”：“9783540797197”，“type”：“electronic”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，“short-container-title”：[]，”DOI“：”10.1007\/978-3-540-79719-7_24“，”type“：”book-capter“，”created“：{”date-parts“：[[2008,5,6]]，”date-time“：”2008-06-06T08:04:57Z“，”timestamp“：121006109000}，”page“257-270“，”source“：”Crossref“，”is-referenced-by-count“：2，“title”：[“使用子句学习加速非子句局部搜索以获得命题可满足性”]，“prefix”：“10.1007”，“author”：[{“given”：“Zbigniew”，“family”：“Stachniak”，”sequence“：”first“，”affiliation“：[]}，{“给定”：“Anton”，“家族”：“Belov”，“sequence”：“additional”，“affiliation:[]}]，“member”：“297”，“reference”：[[{”key“：”24_CR1“，”doi-as被插入“：“crossref”，“first-page”：“623”，“DOI”：“10.1613\/jair.1681”，“volume”：“24”，“author”：“D.Achlioptas”，“year”：“2005”，“unstructured”：“Achliopsas，D.，Jia，H.，Moore，C.：隐藏令人满意的任务：两个比一个好。人工智能研究杂志\u00a024，623\u2013639（2005）”，“期刊标题”：“人工智能研究期刊”}，{“key”：“24_CR2”，“unstructured”：“Crawford，J.M.，Kearns，M.J.，Shapire，R.E.：最小不一致奇偶性问题作为难满足问题。计算智能研究实验室和AT&T贝尔实验室TR（1994）”}，{“key”：：“Fang，H.，Ruml，W.：命题可满足性的完全局部搜索。摘自：AAAI，pp.161\u2013166（2004）”}，{“key”：“24_CR4”，“unstructured”：“Hoos，H.H.：局部搜索\u2013方法，模型，应用。TU Dermstadt，FB Informatik，Darmstadt.，Germany（1998）”}.，{：“Hoos，H.H.：关于SAT随机局部搜索算法的运行时行为。摘自：AAAI，pp.661\u2013666（1999）”}，{“key”：“24_CR6”，“unstructured”：“Hoo，H.H.:WalkSAT的自适应噪声机制。摘自:AAAI（2002），pp.655\u2013660”}6350622830英寸，“volume”：“24”，“author”：“H.H.Hoos”，“year”：“2000”，“unstructured”：“Hoos，H.H.，Stutzle，T.：SAT的局部搜索算法：实证评估。自动推理杂志\u00a024，421\u2013481（2000）”，“Journal-title”：“自动推理杂志”}，{“key”：”24_CR8“volume-title“：”随机局部搜索：基础与应用”，“author”：“H.H.Hoos”，“year”：“2005”，“unstructured”：“Hoos，H.H.，Stutzle，T.：随机本地搜索：基础与应用。Elsevier，Amsterdam（2005）”}，{“key”：“24_CR9”，“非结构化”：“Kautz，H.，Selman，B.，McAllester，D.：在本地搜索中利用变量依赖性。in:IJCAI，“非结构化”：“Lync，I.，Marques-Silva，J.P.：回溯搜索可满足性算法概述。数学与人工智能年鉴，307\u2013326（2003）”，“DOI”：“10.1023\/A:1021264516079”}，{“key”：“24_CR11”，“非结构性”：“McAllester，D.，Selman，B.，Kautz，H.：局部搜索中不变量的证据。见：AAAI，pp.321\u2013326（1997）”}，{“key”：“24_CR12”，“unstructured”：“Navarro，J.A.，Voronkov，A.：硬非子句随机可满足性问题的生成。见：AAAI，p.436\u2013442，“doi断言者”：“publisher”，“首页”：“107”，“doi”：“10.1007\/978-3-540-72788-_14”，“卷标题”：“可满足性测试的理论和应用\u2013 SAT 2007”，“作者”：“S.D.Prestwich”，“年份”：“2007”，“非结构化”：“Prestwich，S.D.：本地搜索中的可变依赖性：预防胜于治疗。摘自：Marques-Silva，J.，Sakallah，K.A.（编辑）SAT 2007。LNCS，卷\u00a04501，第107页\u2013120。Springer，Heidelberg（2007）“}，{“key”：“24_CR14”，“unstructured”：“Stachniak，Z.：Going Non-classal.In:SAT，pp.316\u2013322（2002）”}，“key“：”24_CR15“，“series-title”：“计算机科学课堂笔记”，“doi-asserted-by”：“crossref”，“first page”：《306》，“doi”：“10.1007\/11527695_24”，《volume-title》：“可满足性测试的理论与应用”，“”作者“：”D.A.Tompkins“，”year“：”2005“，”unstructured“：”Tompkin斯，D.A.，Hoos，H.：UBCSAT:SAT和MAX-SAT的SLS算法的实现和实验环境。In:H.Hoos，H，Mitchell，D.G.（编辑）SAT 2004。LNCS，第u00a03542卷，第306\u2013320页。Springer，Heidelberg（2005）“}，{“key”：“24_CR16”，“unstructured”：“Velev，M.：Miroslav Velev\u2019s SAT Benchmarks，http://www.Miroslav-Velev.com/SAT_Benchmarks.html”}]，“container-title”：[“可满足性测试的理论与应用\u2013 SAT 2008”，“计算机科学课堂讲稿”]，“original-title“：[]，“language”：“en”，“link”：[{“URL”：“http://\/link.springer.com/content\/pdf\/10.1007\/978-3-540-79719-7_24.pdf“，”content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[[2021,4,27]]，”date-time“：“2021-04-27T11:29:14Z”，”timestamp“：16195229554000}，”score“：1，”resource“：”{“primary”：{“URL”：“http://\/link.springer.com/10.1007\/978-3-540-79719-7_24“}}，”副标题“：[]，”短标题“：[]，”发布“：{”日期部分“：[[null]]}，“ISBN”：[“9783540797180”，“978354797197”]，”引用计数“：16，”URL“：”http://\/dx.doi.org\/10.1007\/9783-540-79719/7_24“，”关系“：{}，“：[]}}”