{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期-部分”：[[2022,6,19]]，“日期-时间”：“2022-06-19T16:10:53Z”，“时间戳”：1655655053729}，“发布者位置”：“查姆”，“引用-计数”：18，“发布商”：“斯普林格国际出版”，“isbn-type”：[{“值”：“9783319390765”，“类型”：”打印“}，{“值”：“9783319390772”，“type”：“electronic”}]，“license”：[{“start”：{“date-parts”：[[2016,1,1]]，“date-time”：“2016-01-01T00:00:00Z”，“timestamp”：1451606400000}，“content-version”：“unspecified”，“delay-in-days”：0，“URL”：“http://www.springer.com\/tdm”}]，“content-domain”：[]，“published-print”：{“date-parts”：[2016年]]}，“DOI”：“10.1007\/978-3-319-39077-2_3”，“type”：“book-chipter”，“created”：{“date-parts”：[[2016,5,2]，“date-time”：“2016-05-02T13:00:15Z”，“timestamp”：1462194015000}，“page”：”30-41“，”source“：”Crossref“，”is-referenced-by-count“：0，”title“：[”Improved Survey Propagation on Graphics Processing Units“]，”前缀“10.1007”，”作者“：[{”给定“：”Yang“，“家庭”：“Zhao”，“sequence”：“first”，“affiliation”：[]｝，｛“given”：“Jingfei”，“family”：“Jiang”，“sequence”：“additional”，“affiliation”：[]｝，“sequence”：“additional”，“affiliation”：[]｝，“member”：“297”，“published online”：｛“date parts”：[[2016,5,3]]｝，“reference”：[｛“issue”：“3”，“key”：“3_CR1”，“doi asserted by”：“发布者”，“首页”：“740”，“DOI”：“10.1137\/S0097539703434231”，“volume”：“36”，“author”：“D Achlioptas”，“year”：“2006”，“unstructured”：“Achliopsas，D.，Moore，C.：随机k-SAT：两个时刻足以跨越一个尖锐的阈值。SIAM J.Compute.36（3），740\u2013762“”：“Braunstein，A.，M\u00e9zard，M.，Weigt，M.和Zecchina，R.：通过调查传播实现约束满足。In:计算复杂性和统计物理，p.107（2005）”，“DOI”：“10.1093\/oso\/9780195177374.003.0011”}，{“issue”：“2”，“key”：“3_CR3”，“DOI-asserted-by”：“publisher”，“first page”：”201“，“DOI:”10.1002\/rsa.20057“，”volume“27”，“作者”：“A Braunstein”，“年份”：“2005年”，“非结构化”：“Braunstei，A.，M\u00e9zard，M.，Zecchina，R.：调查传播：可满足性算法。随机结构算法27（2），201\u2013226（2005）”，“期刊标题”：“随机结构算法”}，{“问题”：“06”，“密钥”：“3_CR4”，“doi-asserted-by”：“publisher”，“首页”：“P06007”，“doi”：“10.1088\/1742-5468\/2004\/06\/P06007”，“volume”：“2004”，“author”：“A Braunstein”，“year”：“04”，“unstructured”：“Braunsten，A.，Zecchina，R.：作为局部平衡方程的调查传播。J.Stat.Mech.Theory Exp.2004（06），P06007：“Cook，S.A.：理论证明程序的复杂性。摘自：第三届ACM计算理论研讨会论文集，第151\u2013158页。ACM（1971）“，“DOI”：“10.1145\/800157.805047”}，{“key”：“3_CR6”，“volume-title”：“Constraint Processing”，“author”：“R Dechter”，“year”：“2003”，“unstructured”：“Dechter，R.：Constraint Process。Morgan Kaufmann，Burlington（2003）”}“”Fujii，H.，Fujimoto，N.：SAT算法BCP程序的GPU加速。IPSJ SIG Notes 8，1\u20136（2012）“，”journal-title“：”IPSJ SI G Notes“}，{”issue“：”1“，”key“：”3_CR8“，”doi-asserted-by“：”publisher“，”first page“：“21”，”doi“：”10.1109\/TIT.1962.1057683“，”volume“：‘8’，”author“：”RG Gallager“，”year“：”1962“，”unstructured“：”Gallager，R.G.：Low-density平价校验码。IRE Trans.Inf.Theory 8（1），21\u201328（1962）“，”journal-title“：”IRE事务处理。Inf.Theory“}，{”issue“：“1”，”key“：“3_CR9”，”doi-asserted-by“：”publisher“，”first page“：”285“，”doi“：”10.1137\/012520“，”volume“：15”，”author“：”LA Levin“，”year“：”1986“，”unstructured“：”Levin，L.A.：平均案例完整问题。SIAM J.Compute.15（1），285\u2013286（1986）“，”journal title“：”SIAM J.Compute.“}”，{“key“：”3_CR10“，”非结构化“：”Luo，Z.，Liu，H.：细胞遗传算法和图形硬件上3-SAT问题的局部搜索。摘自：IEEE进化计算大会，CEC 2006，第2988\u20132992页。IEEE（2006）“}，{”key“：”3_CR11“，”series-title“：”计算机科学课堂讲稿“，”doi-asserted-by“：”publisher“，”first page“：“311”，”doi“：”10.1007\/11814948_30“，”volume-title“：“可满足性测试的理论与应用——SAT 2006”，”author“：”P Manolios“，”year“：”2006“，”unstructured“：”Manolios，P.，Zhang，Y.：在图形处理单元上实施调查传播。摘自：Biere，A.，Gomes，C.P.（编辑）SAT 2006。LNCS，第4121卷，第311\u2013324页。Springer，Heidelberg（2006）“}，{”issue“：“5582”，”key“：“3_CR12”，”doi-asserted-by“：”publisher“，”first page“：”812“，”doi“：”10.1126\/science.1073287“，”volume“：‘297’，”author“：”M M\u00e9zard“，”year“2002”，”unstructured“：”M\u00 e9zaRD，M.，Parisi，G.，Zecchina，R.：随机可满足性的分析和算法解问题。科学297（5582），812\u2013815（2002）“，”journal-title“：科学”}，{“key”：“3_CR13”，“volume-title”：“智能系统中的概率推理：可信推理网络”，“author”：“J Pearl”，“year”：“2014”，“unstructured”：“Pearl，J.：智能系统中概率推理：合理性推理网络”。Morgan Kaufmann，Burlington（2014）“}，”{“密钥”：“3_CR14”，“首页”：“027”，“卷”：“6”，“作者”：“T Tao”，“年份”：“2012”，“非结构化”：“Tao，T.，Xuejun，Y.，Yisong，L.：基于迭代序列的流程序的位置分析和优化。J.计算。Res.Dev.6027（2012）”，“期刊标题”：“J.Comput。研究开发“}，{“key”：“3_CR15”，“doi-asserted-by”：“crossref”，“first page”：”295“，“doi”：“10.1007\/9781-4612-1872-2_12”，“volume-title”：“复杂性理论回顾II”，“author”：“Jie Wang”，“year”：“1997”，“unstructured”：“Wang，J.：平均案例计算复杂性理论。In:复杂性理论回顾Ⅱ，pp.295\u2013328（1997）”}2“，”key“：”3_CR16“，”doi-asserted-by“：”publisher“，”first-pages“：”359“，”doi“：”10.1007\/s10586-013-0300-9“，“volume”：“17”，“author”：“M Wen”，“year”：“2014”，“unstructured”：“Wen，M.，Su，H.，Wei，W.，Wu，N.，Cai，X.，Zhang，C.：CPU-GPU混合簇上的高效沉积盆地模拟。集群计算。17（2），359\u2013369（2014）“，“journal-title”：“集群计算。“}，{”key“：”3_CR17“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”first page“：“272”，“doi”：“10.1007\/3-540-63104-6_28”，“volume-title”：“自动演绎-CADE-14”，“author”：“H Zhang”，“year”：“1997”，“unstructured”：“Zhang，H.：SATO：一个有效的介词证明程序。in:McCune，W.（ed.）CADE 1997。LNCS，第1249卷，第272\u2013275页。Springer，Heidelberg（1997）“}，{“问题”：“4”，“密钥”：“3_CR18”，“出版商断言的doi”，“第一页”：“543”，“doi”：“10.1006\/jsco.1996.0030”，“卷”：“21”，“作者”：“H Zhang”，“年份”：“1996”，“非结构化”：“Zhang，H.，Bonacina，M.P.，Hsiang，J.:PSATO:一个分布式命题证明及其在拟群问题中的应用。符号计算。21（4），543\u2013560（1996）“，“新闻标题”：《符号计算杂志》。“}]，”container-title“：[”Green，Pervasive，and Cloud Computing“，”Computer Science课堂讲稿“]，”original-title”：[]，”link“：[{”URL“：”http://\/link.springer.com/content\/pdf\/10.1007\/978-3-319-39077-2_3“，”content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：”similarity-checking“}”，“deposed”：{“date-parts”：[2022,6,19]]，“”date-time“：”2022-06-19T15:39:43Z“，”timestamp“：1655653183000}，”score“：1，”resource“：{主要”：{“URL”：“http://\/link.springer.com\/10.1007\/978-3-319-39077-2_3”}}，“副标题”：[]，“短标题”：[]，“已发布”:{“date-parts”：[2016年]}，‘ISBN’：[”9783319390765“，”9783390772“]，”references-count“：18，“URL”：“http://\/dx.doi.org\/10.1007\/978-3-319-39077-2_3”，“关系“：{}，”ISSN“：[“0302-9743”，“1611-3349”]，”ISSN-type“：[{”value“：”0302-974“，”type“:”print“}，{”value“：”1611-3399“，”类型“：”electronic“}]，“subject”：[]，“published”：{“date-parts”：[2016]}}}