{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[2022,4,1]]，“日期时间”：“2022-04-01T09:04:49Z”，“时间戳”：1648803889092}，“出版商位置”：“柏林，海德堡”，“参考计数”：11，“出版者”：“施普林格-柏林-海德堡（Springer Berlin Heidelberg）”，“isbn-type”：[{“值”：“9783540663638”，“类型”：“打印”}，{“值”：“9783540483878”，“type”：“electronic”}]，“license”：[{“start”：{“date-parts”：[[1999,1,1]]，“date-time”：“1999-01-01T00:00:00Z”，“timestamp”：915148800000}，“content-version”：“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”：[[1999]]}，“DOI”：“10.1007\/3-540-48387-x_48”，“type”：“book-chapter”，“created”：{“date-parts”：[[2007,10,6]]，“date-time”：“2007-10-06T23:32:31Z”，“timestamp”：1191713551000}，_策略“，”源“：”Crossref“，”is-referenced-by-count“：0，”title“：[“约束求解的并行实现*”]，“prefix”：“10.1007”，“author”：[{“given”：“Alvaro”，“family”：“Ruiz-Andio”，“sequence”：“first”，“affiliation”：[]}给定“：”Jos\u00e9“，“family”：“Ruz”，“sequence”：“additional”，“affiliation”：[]}]，“member”：“297”，“published-online”：{“date-parts”：[[2003,4,18]]}，“reference”：[{“key”：“48_CR1”，“doi-asserted-by”：”publisher“，”first page“：”179“1994”，“非结构化”：“Bessiere，D.：电弧一致性和电弧一致性。人工智能杂志65（1994）179\u2013190。”，“期刊标题”：“人工智能杂志”}，{“key”：“48_CR2”，“series-title”：“Tech.Rep.”，“volume-title”：《分布式电弧一致性算法分析》，“author”：“B.Baudot”，“year”：“1997”，“unstructured”：“Baudot，B.，Deville，Y.：分布式电弧一致性算法分析。技术报告97-07。Uni.大学。（1997年）。“}，{”key“：”48_CR3“，”doi-asserted-by“：”publisher“，”first-page“：”275“，”doi“：”10.1016\/0004-3702（90）90009-O“，”volume“：“45”“，”author“：”S.Kasif“，”year“：”1990“，”unstructured“：”Kasif，S.：关于约束满足网络中离散松弛的并行复杂性。人工智能45（1990）275\u2013286.“，”journal-title“：”人工智能“}，{”key“：”48_CR4“，”doi-asserted-by“：”publisher“，”first page“：“307”，“doi”：“10.1016\/0004-3702（94）90085-X”，“volume”：“69”，“author”：“S.Kasif”，“year”：“1994”，“unstructured”：“Kasif，S.，Delcher，A.L.：并行约束满足网络中的局部一致性。人工智能69（1994）307\u2013327.”，“journal title”：“人工智能“}，{”key“：”48_CR5“，”doi-asserted-by“：”publisher“，”first page“：“227”，“doi”：“10.1016\/S0167-6423（97）00012-9”，“volume”：“30”，“author”：“T.Nguyen”，“year”：“1998”，“unstructured”：“Nguyen，T.，Deville，Y.：一种分布式一致性算法。计算机编程科学，30（1998）227\u2013250.”，“journal-title”：“计算机编程科学“}，{“key”：“48_CR6”，“unstructured”：“Ruiz-Andino，A.，Araujo，L.，Ruz，J.：并行约束满足和优化。PCSO系统。技术报告71。98.计算机科学系。马德里Complutense大学（1998）“}，{”key“：“48_CR7”，”doi-asserted-by“：”publisher“，”first page“：”291“，”doi“：”10.1016\/0004-3702（92）90020-X“，”volume“：。M.：一种通用的弧一致性算法及其特殊性。人工智能57（1992）291\u2013321.“，”journal-title“：”Artificial Intelligence“}，{”key“：”48_CR8“，”unstructured“：”Wallace，M.：“规划、调度和布局问题中的约束。约束编程，Springer-Verlag（1994）。“}”，{“key”：“48_CR9”，“series-title”：“技术报告”，“volume-title”：”生成阴影场景绘图的语义描述”，“author”：“D.Waltz”，“year”：“1972”，“unstructured”：“Waltz，D.：生成阴影场景图形的语义描述。技术报告AI271，麻省理工学院，马萨诸塞州剑桥（1972）。“}，{”key“：”48_CR10“，”unstructured“：”Yokoo，M.：“解决分布式约束满足问题的异步弱承诺搜索。约束编程原理与实践（1995）88\u2013102。“}”，{“key”：“48_CR11”，“doi-asserted-by”：“crossref”，“unstructure”：“Zhang，Y.，Mackworth，A。K.：并行和分布式有限约束满足：复杂性、算法和实验。人工智能并行处理。爱思唯尔科学。(1993).“，”DOI“：”10.1016\/B978-0-444-81704-4.50018-1“}]，”container-title“：[”计算机科学课堂讲稿“，”并行计算技术“]，”原文标题“：[]，”链接“：[{”URL“：”http://\/link.springer.com\/content\/pdf\/10.1007\/3-540-48387-X_48“，”content-type“：”unspecified“，”内容版本“：”vor“，”intended-application“：”相似性检查“}]”，“”存放“：{“date-parts”：[[2019,5,19]]，“date-time”：“2019-05-19T10:40:31Z”，“timestamp”：1558262431000}，“score”：1，“resource”：{（主要）：{”URL“：”http://\/link.springer.com/10.1007\/3-540-48387-X_48“}}，”副标题“：[]，”短标题“：[]，“issued”：{“date-ports”：[1999]]}，540663638“，”9783540483878“]，”references-count“：11，”URL“：”http://\/dx.doi.org\/10.1007\/3-540-48387-x_48“，”关系“：{}，”ISSN“：[”0302-9743“]，”ISSN-type“：[{”值“：”0302-7743“，”类型“：”打印“}]，”主题“：[]，”发布“：{”日期-部分“：[[1999]]}，“断言”：[{”价值“：“2003年4月18日”，“订单”：1，“名称”：“first_online”，“标签”：“first online”，“组”：{“名称”：“章节历史”，“标签”：“章历史”}}]}}