{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期部分”：[[2024,9,5]]，“日期时间”：“2024-09-05T12:54:44Z”，“时间戳”：1725540884344}，“出版商位置”：“柏林，海德堡”，“参考计数”：13，“出版者”：“斯普林格-柏林-海德堡“，”isbn-type“：[{”type“打印”，“值”：“9783838 642102905“}，{”类型“：“electronic”，“value”：“9783642102912”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，“short-container-title”：[]，”published-print“：{”date-parts“：[[2009]]}，”DOI“：”10.1007\/978-3642-10291-2_25“，”type“：”book-capter“，”created“：{”date-ports“：[2009,11,16]]，”date-time“：”2009-11-16T03:14:47 Z“，”时间戳“：1258341287000}，”页面“：”243-252“，“source”：“Crossref”，“is-referenced-by-count”：3，“title”：[“Partitioning Search Spaces of a Randomized Search”]，“prefix”：“10.1007”，”author“：[{”given“：”Antti E.J.“，”family“：”Hyv\u00e4rinen“，”sequence“：”first“，”affiliation“：[]}，{”给定“：”Tommi“，”“family”：“Junttila”，“sequence”：“additional”，“afliation”：[]{“given”：”Ilkka“，“family”：“Niemel\u00e4”，“sequence”：“additional”，“affiliation”：[]}]，“member”：“297”，“reference”：[{“key”：“25_CR1”，“series-title”：“人工智能课堂讲稿”，“doi-asserted-by”：“publisher”，《首页》：“125”，“doi”：“10.1007\/978-3-540-85110-3_11”，“volume-title”：《智能计算机数学》，“author”：“A.E.J.Hyv\u00e4rinen”，“year”：“2008”，“unstructured”：“Hyv\u00e4rinen，A.E.J.，Junttila，T.A.，Niemel\u00e 4，I.：通过随机搜索解决网格SAT的策略。in：Autexier，S.，Campbell，J.，Rubio，J.、Sorge，V.，Suzuki，M.，Wiedijk，F.（编辑）AISC 2008，Calculemus 2008，和MKM 2008。LNCS（LNAI），第u00a05144卷，第125\u2013140页。Springer，Heidelberg（2008）“}，{”issue“：“4”，”key“：“25_CR2”，”doi-asserted-by“：”publisher“，”first page“：”173“，“doi”：“10.1016\/0020-0190（93）90029-9”，“volume”：“47”，“author”：“M.Luby”，“year”：“1993”，“unstructured”：“Luby，M.，Sinclair，A.，Zuckerman，D.：拉斯维加斯算法的最佳加速。信息处理快报\u00a047（4），173 \u2013180（1993）“，”journal-title“：”Information Processing Letters“}，{“key”：“25_CR3”，“series-title”：“计算机科学讲义”，“首页”：“463”，”volume-title”：”STACS 94“，”author“：”M.Luby“，”year“：”1994“，”unstructured“：”Luby，M.，Ertel，W.：拉斯维加斯算法的最佳并行化。in:Enjalbert，P.，Mayr，E.W.，Wagner，K.W.（eds.）STACS 1994。LNCS，卷\u00a0775，第463\u2013474页。施普林格，海德堡（1994）“}，{“问题”：“5296”，“关键”：“25_CR4”，“出版商断言的doi”，“第一页”：“51”，“doi”：“10.1126\/science.27.5296.51”，“卷”：“275”，“作者”：“B.A.Huberman”，“年份”：“1997”，“非结构化”：“Huberman，B.A.，Lukose，R.M.，Hogg，T.：硬计算问题的经济学方法。science\u00a0275（5296），51\u201354（1997）“，”journal-title“：科学”}，{“问题”：“1\u20132”，“关键”：“25_CR5”，“doi-asserted-by”：“出版商”，“首页”：“43”，“doi”：“10.1016\/S0004-3702（00）00081-3”，“卷”：“126”，“作者”：“C.P.戈麦斯”，“年份”：“2001”，“非结构化”：“戈麦斯，C.P.，塞尔曼，B.：算法组合。人工智能\u00a0126（1 \u20132），43\u201362（2001）“，”journal-title“：“人工智能”}，{“key”：“25_CR6”，“doi-asserted-by”：“crossref”，“首页”：“223”，“doi”：“10.3233\/SAT190069”，“卷”：“6”，《作者》：“A.E.J.Hyv\u00e4rinen”，“年份”：“2009”，“非结构化”：“Hyv\u00e4rinen，A.E.J.，Junttila，T.，Niemel\u00e 4，I.：将子句学习纳入基于网格的随机SAT求解。可满足性、布尔建模与计算杂志\u00a06，223\u2013244（2009）“，”Journal-title“：”Journal on Satisfility，Boolean Modeling and Computation“}，{“issue”：“4\u20133”，“key”：“25_CR7”，“doi-asserted-by”：“publisher”，“first-page”：“381”，“doi”：“10.1007\/BF02127976”，“volume”：”“17”，“author”：“M.B\u00f6hm”，”“year”：“1996”，“unstructured”：“”B\u00f6hm，M.，Speckenmeyer，E.：快速并行SAT解决方案：高效的工作负载平衡。数学与人工智能年鉴\u00a017（4\u20133），381\u2013400（1996）“，“期刊标题”：“数学与人工智慧年鉴”}，{“问题”：“4”，“关键”：“25_CR8”，“doi-asserted-by”：“出版商”，“首页”：“543”，“doi”：“10.1006\/jsco.1996.030”，“卷”：“21”，“作者”：“H.Zhang”，“年份”：“1996”，“非结构化”：“Zhang，H.，Bonacina，M.，Xiang，J.：PSATO：分布式命题证明器及其在拟群问题中的应用。符号计算杂志\u00a021（4），543\u2013560（1996）“，”Journal-title“：”Journal of Symbolic Computation“}，{“issue”：“1”，“key”：“25_CR9”，“doi-asserted-by”：“publisher”，“first-page”：“73”，“doi”：“10.1007\/s10817-005-1970-7”，“volume”：”34“author”：“B.Jurkowiak”，“year”：“2005”，“unstructured”：“Jurkowiak，B.，Li，C.，Utard，G.：一类SAT解题器基于偷窃工作的并行化方案。《自动推理杂志》\u00a034（1），73\u2013101（2005）“，”期刊标题：“自动推理杂志”}，{“key”：“25_CR10”，“series-title”：“计算机科学讲义”，“doi-asserted-by”：“publisher”，“first page”：”430“，”doi“：”10.1007\/11814948_39“，”volume-title“：”满意度测试的理论与应用-SAT 2006“，”作者“：”A.E.J.Hyv\u00e4rinen“，”year“：”2006“，”unstructured“：”Hyv\ u00e4 rinen，A.E.J..，Junttila，T.，Niemel\u00e 4，I.：求解网格中SAT的分布方法。摘自：Biere，A.，Gomes，C.P.（编辑）SAT 2006。LNCS，卷\u00a04121，第430\u2013435页。Springer，Heidelberg（2006）“}，{”issue“：“1\/2”，”key“：“25_CR11”，”doi-asserted-by“：”publisher“，”first page“：”67“，”doi“：”10.1023\/A:1006314320276“，”volume“：Gomes，C.P.，Selman，B.，Crato，N.，Kautz，H.A.：可满足性和约束满足问题中的重尾现象。《自动推理杂志》（Journal of Automated Reasoning）\u00a024（1/2），67\u2013100（2000）“，“期刊标题”：“自动推理杂志”}，{“key”：“25_CR12”，“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\u001e9n，N.，S\u00f6rensson，N.：一个可扩展的SAT解决方案。收录：Giunchiglia，E.，Tacchella，A.（编辑）SAT 2003。LNCS，第u00a02919卷，第502\u2013518页。Springer，Heidelberg（2004）“}，{“key”：“25_CR13”，“unstructured”：“Hyv\u00e4rinen，A.E.J.：基于网格的SAT求解方法。赫尔辛基理工大学研究报告TKK-ICS-R16（2009年6月）”}]，“container-title”：[“计算机科学讲义”，“AI*IA 2009:人工智能中的新兴观点”]，“original-title“：[]，”link“：[{”URL“：”http://\/link.springer.com/content\/pdf\/10.1007\/978-3642-10291-2_25.pdf“，”content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[2020,11,23]]，”date-time“：“2020-11-23T21:53:27Z”，”timestamp“：1606168407000}，“score”：1，“resource”：{“primary“：{”URL“：”http:\/\/link.springer.com\/10.1007\/978-3-642-10291-2_25“｝｝，“副标题”：[]，“短标题”：[]，“已发布”：｛“日期部分”：[[2009]]｝，“国际标准图书编号”：[“9783642102905”，“9783642102912”]，“引用次数”：13，“URL”：“http:\/\/dx.doi.org/10.1007\/978-3-642-10291-2_25”，“关系”：｛｝，“国际标准图书编号”：[“0302-9743”，“1611-31”349“]，”ISSN类型“：[｛”类型“：”打印“，”值“：”0302-9743“｝，｛”键入“：”electronic“，”value“：”1611-3349“}]，”subject“：[]，”published“：{”date-parts“：[[2009]]}}