{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[2022,4,4]，“日期时间”：“2022-04-04T08:16:36Z”，“时间戳”：1649060196425}，“出版商位置”：“柏林，海德堡”，“参考计数”：8，“出版者”：“斯普林格-柏林-海德堡（Springer Berlin Heidelberg）”，“isbn-type”：[{“值”：“9783540232056”，“类型”：“打印”}，{“值”：“9783540301349”，“type”：“electronic”}]，“license”：[{“start”：{“date-parts”：[[2004,1,1]]，“date-time”：“2004-01T00:00:00Z”，“timestamp”：1072915200000}，“content-version”：“tdm”，“delay-in-days”：0，“URL”：“http:\\/www.springer.com\/tdm”}，{“start”：{“date-ports”：[2004,1,1]，“日期-时间”：“2004-01-01T00:00:00Z”，“时间戳”：1072915200000}，“内容-版本”：“tdm”，“delay-in-days”：0，“URL”：“http://www.springer.com\/tdm”}]，“content-domain”：{“domain”:[“link.springer.com”]，“crossmark-restriction”：false}，“short-container-title”：[]，“published-print”:{“date-parts”：[[2004]]}，”DOI“：”10.1007\/978-3-540-30134-9_94“，”type“：”book-capter“，”created“：{”date“parts“：[2010,3,2]，”日期时间“：”2010-03-02T18:44:54Z“，“时间戳”：1267555494000}，“页面”：“703-709”，“更新策略”：“http://\/dx.doi.org\/10.1007\/springer_crossmark_policy”，“源”：“Crossref”，”is-referenced-by-count“：0，”title“：[”增量SAT和增量MAX-SAT的随机本地搜索“]，”prefix“：”10.1007“，”author“：[{”given“：”Malek“，”family“：”Mouhoub“，“sequence”：“first”，“隶属关系”：[]}，{“given”：“Chonghai”，“family”：“Wang”，“sequence”：“additional”，“affiliation”：[]}]，“member”：“297”，“published-on-line”：{“date-parts”：[[2004,10,14]]}，“reference”：[{“key”：”94_CR1“unstructured”：“Hoos，H.H.，O\u2019Neil，K.：动态SAT的随机局部搜索方法——初步研究。摘自：AAAI 2000计算中利用概率和不确定性研讨会，第22页\u201326（2000）”}，{“key”：“94_CR2”，“非结构化”：“Gutierrez，J.，Mali，A.D.：增量可满足性的本地搜索。摘自：国际人工智能会议，第986\u2013991（2002）页”}，{“key”：“94_CR3”，“doi-asserted-by”：“publisher”，“first page”：”177“，“doi”：“10.1016\/0743-1066（93）90018-C”，”volume“：”15“author”：“J.N.Hooker”，“year”：“1993”，“unstructured”：“胡克，J.N.：解决增量可满足性问题。逻辑编程杂志\u00a015177\u2013186（1993）”，“期刊标题”：“逻辑编程杂志”}，{“key”：“94_CR4”，“doi-asserted-by”：“publisher”，“first page”：”301“，“doi”：“10.1287\/ijoc.10.3.301”，“volume”：第10卷，“author”：“H.Bennaceur”，年：“1998”，“非结构化”：“Bennaceur，H.，Gouachi，I.，Plateau，G.：可满足性问题的增量分支和定界方法。INFORMS计算期刊\u00a010，301\u2013308（1998）”，“期刊标题”：“INFORMS计算期刊”}，｛“key”：“94_CR5”，“doi asserted by”：“crossref”，“nonstructured”：“Whittemore，J.、Kim，J.和Sakallah，K.A.：SATIRE:一个新的增量可满足性引擎。摘自：DAC 2001，pp.542\u2013545（2001）”，“DOI”：“10.1145\/378239.379019”}，{“key”：“94_CR6”，“DOI-asserted-by”：“crossref”，“unstructured”：“Cook，S.A.：定理证明过程的复杂性。收录于：第三届年度ACM计算理论研讨会，第151\u2013158（1971）页”，“DOI”：“10.1145\/800157.805047”}，{“key”：“94_CR7”，“unstructured”：“Selman，B.，Kautz，H.A.：贪婪局部搜索满足性测试的实证研究。收录自：AAAI 1993，第46\u201351（1993）页”}、{“key”：“94_CR8”，“first page”：“337”，“volume-title”：“AAAI 1994”，“author”：“B.Selman”，“year”：“1994”，”unstructured“：“Selman，B.，Kautz，H.A.，Cohen，B.：Noise Strategies for Improvement Local Search。摘自：AAAI 1994,pp.337\u2013343。麻省理工学院出版社，剑桥（1994）“}”，“容器-时间”：[“计算机科学课堂讲稿”，“基于知识的智能信息和工程系统”]，“原始标题”：[]，“链接”：[{“URL”：“http://\/link.springer.com/content\/pdf\/10.1007\/978-3-540-30134-9_94”，“内容类型”：“未指定”，“content-version”：“vor”，“intended-application”：“相似性检查“}”，“存放”：{“日期部分”：[[2020,1,23]]，“日期时间”：“2020-01-23T01:06:10Z”，“时间戳”：1579741570000}，“分数”：1，“资源”：{-“主要”：{“URL”：“http://\\link.springer.com\/10.1007\/978-3-540-30134-9_94”}，“ISBN”：[“9783540232056”，“9783540301349”]，“references-count“：8，”URL“：”http:\/\/dx.doi.org\/10.1007\/978-3-540-30134-9_94“，”关系“：{}，”ISSN“：[”0302-9743“，”1611-3349“]，”ISSN-type“：[{”value“：”0302-7743“、”type“:”print“}、{”value“：”1611-33049“、”类型“：”electronic“}]、”subject“：【】，”published“：{”date-parts“：【2004】】}，“断言”：[{“value”：“2004年10月14日”，“order”：1，“name”：“first_online”，“label”：“第一联机“，”组“：{“name”：“ChapterHistory”，“label”：“章节历史”}}]}}