{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2024,5,7]]，“日期时间”：“2024-05-07T14:37:31Z”，“时间戳”：1715092651002}，“出版商位置”：“柏林，海德堡”，“参考计数”：24，“出版者”：“施普林格-柏林-海德堡（Springer Berlin Heidelberg）”，“isbn-type”：[{“值”：“9783540851097”，“类型”：“打印”}，{“值”：“9783540851103”，“type”：“electronic”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，“short-container-title”：[]，”DOI“：”10.1007\/978-3-540-85110-3_11“，”type“：”book-capter“，”created“：{”date-parts“：[[2008,7,26]]，”date-time“：”2008-07-26T06:00:32Z“，”timestamp“：1217052032000}，”page“125-140“，”源“：”Crossref“，”is-referenced-by-count“：7，“title”：[“Strategies for Solving SAT in Grids by Randomized Search”]，“prefix”：“10.1007”，“author”：[{“given”：“Antti E.J.”，”family“：”Hyv\u00e4rinen“，”sequence“：”first“，”affiliation“：[]}，{“给定”：“Tommi”，“family”：“Junttila”，“sequence”：“additional”，“afliation”：[]{“given”:“Ilkka”，“家庭”：“Niemel\u00e 4”，“序列“：”附加“，”从属“：[]}]，“member”：“297”，“reference”：[{“key”：“11_CR1”，“series-title”：“计算机科学课堂讲稿”，“doi-asserted-by”：“crossref”，”first page“：”502“，”doi“：”10.1007\/978-3-540-24605-3_37“，”volume-title“：“可满足性测试的理论与应用”，“author”：“N.E\u00e9n”，“year”：“2004”，“unstructured”：“E\u00e9n，N.，S\u00f6rensson，N.：可扩展SAT解决方案。收录：Giunchiglia，E.，Taccella，A.（编辑）SAT 2003。LNCS，第00a02919卷，第502\u2013518页。Springer，Heidelberg（2004）“}，{”issue“：”1\/2“，”key“：”11_CR2“，”doi-asserted-by“：”publisher“，”first-page“：”67“，”doi“：”10.1023\/A:1006314320276“，”volume“：“24”，”author“：”C.P.Gomes“，“year”：“2000”，”unstructured“：”Gomes，C.P.，Selman，B.，Crato，N.，Kautz，H.A.：可满足性和约束满足性问题中的重尾现象。J。自动推理\u00a024（1\/2），67\u2013100（2000）“，“日记标题”：“J.自动推理”}，{“问题”：“4”，“关键字”：“11_CR3”，“doi-asserted-by”：“出版商”，“首页”：“173”，“doi”：“10.1016\/0020-0190（93）90009-9”，“卷”：“47”，“作者”：“M.Luby”，“年份”：“1993”，“非结构化”：“Luby，M.，Sinclair，A.，Zuckerman，D.：拉斯维加斯算法的最佳加速。信息处理。莱特。\u00a047（4），173\u2013180（1993）“，“日记标题”：“Inf.Process。莱特。“}，{”key“：”11_CR4“，”first page“：“1172”，”volume-title“：”IJCAI“，”author“：”T.Walsh“，”year“：”1999“，”unstructured“：”Walsh，T.：“Search in a small world。in:IJCAI，pp.1172\u20131177。Morgan Kaufmann，San Francisco（1999）“}，{“key”：“11_CR5”，“unstructured”：“Kautz，H.A.，Horvitz，E.，Ruan，Y.，Gomes，C.P.，Selman，B.：动态重启策略。收录于：AAAI\/IAAAI，第674\u2013681页（2002）”}、{“密钥”：“11 _ CR6”，“系列-标题”：“计算机科学课堂讲稿”，“doi-asserted-by”：“publisher”，“首页”：“573”，“doi”：“10.1007 \/3-540-46135-3_38“，“volume-title”：“约束编程的原理和实践-CP 2002”，“author”：“Y.Ruan”，“year”：“2002”，《unstructured》：“Ruan，Y.，Horvitz，E.，Kautz，H.A.：重新启动运行间依赖的策略：动态编程方法。收录：Van Hentenryck，P.（编辑）CP 2002。LNCS，卷\u00a02470，第573\u2013586页。Springer，Heidelberg（2002）“}，{”key“：“11_CR7”，”first page“：”1204“，”volume-title“：”AAAI“，”author“：”M.Streeter“，”year“：”2007“，”unstructured“：”Streeter，M.，Golovin，D.，Smith，S.F.：重新启动问题实例集合的计划。摘自：AAAI，pp.1204\u20131210。AAAI Press，Menlo Park（2007）“}，{“key”：“11_CR8”，“unstructured”：“Huang，J.：重新启动对小句学习效率的影响。In：IJCAI，pp.2318\u20132323（2007）”}，}，“key“：”11_CR9“，“series-title”：“计算机科学课堂笔记”，“doi-asserted-by”：“publisher”，“doi”：“10.1007\/978-3-540-74970-7_48”，“volume-title”：”约束编程原理与实践\u2013 CP 2007“，“作者”：“H.Wu”，“年份”：“2007”，“非结构化”：“Wu，H.，van Beek，P.：关于回溯搜索的通用重启策略。收录：Bessi\u00e8re，C.（编辑）CP 2007。LNCS，卷\u00a04741。Springer，Heidelberg（2007）“}，{“问题”：“1-2”，“关键”：“11_CR10”，“doi-asserted-by”：“出版商”，“首页”：“43”，“doi”：“10.1016\/S0004-3702（00）00081-3”，“卷”：“126”，“作者”：“C.P.戈麦斯”，“年份”：“2001”，“非结构化”：“戈麦斯，C.P.，塞尔曼，B.：算法组合。人工智能\u00a0126（1-2），43\u201362（2001）”，“journal al标题“：”人工智能“}，{“key”：“11_CR11”，“doi-asserted-by”：“crossref”，“unstructured”：“Wu，H.，van Beek，P.：关于在截止日期前进行回溯搜索的投资组合。收录于：ICTAI，pp.231\u2013238（2007）”，“doi”：“10.1109\/ICTAI.2007.38”}，}“issue”：“16”，“key“：”11_CR12”，“doi-assertd-by”：“publisher”，”，“首页”：“2291”，“DI:”10.1016\/j.dam.2006.04.015“，“volume”：“154”，“author”：“K.Inoue”，“year”：“2006”，“unstructured”：“Inoue，K.等人：命题可满足性的竞争与合作方法。离散应用数学\u00a0154（16），2291\u20132306（2006）“，”期刊标题“：”离散应用数学“}，{“key”：“11_CR13”，“series-title”：“计算机科学课堂笔记”，“首页”：“463”，”卷-时间“：”STACS 94“，”作者“：”M.Luby“，”年份“：”1994“非结构化”：“Luby，M.，Ertel，W.：拉斯维加斯算法的最佳并行化。In：Enjalbert，P.，Mayr，E.W.，Wagner，K.W.（编辑）STACS 1994。LNCS，卷\u00a0775，第463\u2013474页。Springer，Heidelberg（1994）“}，{“问题”：“4-3”，“关键”：“11_CR14”，“doi-asserted-by”：“出版商”，“首页”：“381”，“doi”：“10.1007\/BF02127976”，“卷”：“17”，“作者”：“M.Boehm”，“年份”：“1996”，“非结构化”：“Boehm，M.，Speckenmeyer，E.：快速并行SAT解决方案：高效的工作负载平衡。数学与人工智能年鉴\u00a017（4-3），381\u2013400（1996）“，”杂志标题“：”数学与人工智慧年鉴“}，{“问题”：“4”，“关键字”：“11_CR15”，“doi-asserted-by”：“publisher”，“首页”：“543”，“doi”：“10.1006\/jsco.1996.0030”，“卷”：“21”，“作者”：“H.Zhang”，“年份”：“1996”，“非结构化”：“Zhang，H.，Bonacina，M.，Xiang，J.：PSATO：分布式命题证明器及其在拟群问题中的应用。J.符号计算\u00a021（4），543\u2013560（1996）“，“journal-title”：“J.符号运算”}，{“issue”：“3”，“key”：“11_CR16”，“doi-asserted-by”：“publisher”，“first-page”：“75”，“doi”：“10.1016\/J.entcs.2004.10.020”，“volume”：”128“author”：“Y.Feldman”，“year”：“2005”，“unstructured”：“Feldman，Y.，Dershowitz，N.，Hanna，Z.：并行多线程可满足性求解器：设计和实现。理论计算机科学电子笔记\u00a0128（3），75\u201390（2005）“，“期刊标题”：“理论计算机科学中的电子笔记”}，{“key”：“11_CR17”，“doi-asserted-by”：“publisher”，“首页”：“1079”，“doi”：“10.1109\/CCGRID.2005.1558680”，“volume-title”：“CCGRID 2005”，“author”：“W.Blochinger”，“年份”：“2005年”，“非结构化”：“Blochinger，W.、Westje，W.，K\u00fcchlin，W.Wedeniwski，S.：桌面网格上的ZetaSAT\u2013布尔可满足性求解。收录于：CCGrid 2005，第1079\u20131086页。IEEE，Los Alamitos（2005）“}，{“问题”：“1”，“关键”：“11_CR18”，“doi-asserted-by”：“出版商”，“首页”：“73”，“doi”：“10.1007\/s10817-005-1970-7”，“卷”：“34”，“作者”：“B.Jurkowiak”，“年份”：“2005”，“非结构化”：“Jurkowiak，B.，Li，C.，Utard，G.：一类SAT解题器基于偷窃工作的并行化方案。自动推理杂志\u00a034（1），73\u2013101（2005）“，”期刊标题“：”自动推理杂志“}，{“key”：“11_CR19”，“series-title”：“离散数学中的电子笔记”，“首页”：“12”，“volume-title”：”SAT 2001“，“author”：“C.Sinz”，“year”：“2001”，“unstructured”：“Sinz，C.，Blochinger，W.，K\u00fcchlin，W.：PaSAT\u2014带引理交换的并行SAT检查：实现和应用。收录于：SAT 2001。离散数学电子笔记，第u00a09卷，第12\u201313页。Elsevier，Amsterdam（2001）“}，{”key“：”11_CR20“，”volume-title“：”SC 2003“，”author“：”W.Chrabakh“，”year“：”2003“，“unstructured”：“Chrabach，W.，Wolski，R.：GridSAT：网格的基于箔条的分布式SAT解算器。In:SC 2003。IEEE，Los Alamitos（2003）“｝，｛“key”：“11_CR21”，“series title”：“计算机科学讲义”，“doi asserted by”：“publisher”，“first page”：“430”，“doi”：“10.1007\/118149483_39”，“volume title”：“SAT 2006可满足性测试的理论与应用”，“author”：“A.E.J.Hyv\u00e4rinen”，“year”：“2006”，“nonstructured”：“Hyv\u00e4rinen，A.E.J.，Junttila，T.，Niemel\u00e 4，I.：求解网格中SAT的分布方法。摘自：Biere，A.，Gomes，C.P.（编辑）SAT 2006。LNCS，卷\u00a04121，第430\u2013435页。Springer，Heidelberg（2006）“}，{”key“：”11_CR22“，”unstructured“：”Forman，S.，Segre，A.：NAGSAT:3-SAT的随机、完整、并行求解器。摘自：SAT 2002，Proceedings（2002），\n\n http://gauss.ececs.uc.edu \/Conferences\/SAT2002\/sat2002list.html“}”，{“key”：“11_CR23”，“volume-title”：“CBMS 2008”，“author“：”M.J.Pitkanen“，”year“：”2008“，”unstructured“：”Pitkannen，M.J.等人：使用网格提高医学图像搜索引擎的性能。收录于：CBMS 2008。IEEE，Los Alamitos（2008年接受出版）“}，{“key”：“11_CR24”，“unstructured”：“Hyv\u00e4rinen，A.E.J.：GridJM A Computer Program，\n\n http://www.tcs.hut.fi\/~aehyvari\/GridJM\/”}]，“container-title”：[“计算机科学课堂讲稿”，“智能计算机数学”]，“original-title“：[]，”语言“：”en“，”链接“：[{“URL”：“http://\/link.springer.com/content\/pdf\/10.1007\/978-3-540-85110-3_11.pdf”，“内容类型”：“未指定”，“content-version”：“vor”，“intended-application”：“相似性检查”}]，“存放”：{“date-parts”：[2021,4,27]]，“date-time”：“2021-04-27T11:14:38Z”，“时间戳”：1619522078000}，“分数”：1，“资源”：{“主”：{“URL”：“http:\/\/link.springer.com/10.1007\/978-3-540-85110-3_11“}}，”副标题“：[]，”短标题“：[]，”已发布“：{”日期部分“：[[null]]}，“ISBN”：[“9783540851097”，“978354851103”]，”引用计数“：24，”URL“：”http://\/dx.doi.org\/10007\/978-3-540-5110-3_11“，”关系“：{}，N“：[”0302-9743“，”1611-3349“]，“ISSN-type”：[{“value”：“0302-974”，“type”:“print”}，{“值“：”1611-3349“，”类型“：”电子“}]，”主题“：[]}}