{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期-部件”：[[2024,4,8]]，“日期-时间”：“2024-04-08T00:53:56Z”，“时间戳”：1712537636268}，“引用-计数”：42，“发布者”：“爱思唯尔BV”，“问题”：“9-10”，“许可证”：[{“开始”:{“日期-零件”：[2011年6月1日]，“时间”：2011-06-01T00:00:00Z“，“时间戳”：1306886400000}，“content-version”：“tdm”，“delay-in-days”：0，“URL”：“https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/”}，{“start”：{“date-parts”：[[2015,6,1]]，“date-time”：“2015-06-01T00:00:00Z”，“timestamp”：1433116800000}，“content-version”：“vor”，“delay-in-days”：1461，“URL“https:\\/www.else vier.com./open-access\/userlicense\/1.0\/“}]，”内容域“：{”域“：[]，“crossmark-restriction”：false}，“short-container-title”：[“人工智能”]，“published-print”：{“date-parts”：[[2011，6]]}，”DOI“：”10.1016\/j.artint.2011.02.003“，”type“：”journal-article“，”created“：{”date-part“：[[2011,2,26]]，”date-time“：”2011-02-26T07:06:15Z“，”timestamp“：1298703975000}”，“page”：“1555-1569”，“source”“：”Crossref“，“is-referenced-by-count”：21，“title”：[“值约束问题的混合可处理性”]，“prefix”：“10.1016”，“volume”：“175”，“author”：[{“给定”：“Martin C.”，“family”：“Cooper”，“sequence”：“first”，“affiliation”：[]}，{“give”：“Stanislav”，“家族”：“u017divn\u00fd”，“问题”：“3”，“关键”：“10.1016\/j.artint.2011.02.003_br0010”，“doi-asserted-by”：“crossref”，“first page”：“720”，”doi“：”10.1137\/S0097539700376670076767676“，”article-title“：”使用有限代数对约束的复杂性进行分类“，”volume“：“34”，“author”：“Bulatov”，“year”：“2005”，“journal-title”：“SIAM journal on Computing”}，{“issue”：“1”，“key”：“10.1016\/j.artint.2011.02.003_br0020”，“doi-asserted-by”：“crossref”，“first page”：“57”，“doi”：“10.1137\/S0097539794266766”，“article-title”：“单调单子SNP的计算结构和约束满足：通过数据日志和群论的研究”，“volume”：”28“author”：“Feder”，“year”：“1998”，“journal-title“：”SIAM journal on Computing“}，{“issue”：“1”，“key”：“10.1016\/j.artint.2011.02.003_br0030”，“doi-asserted-by”：“crossref”，“first page”：”1“，“doi”：“101016\/0004-3702（87）90002-6”，“article-title”：“基于网络的约束满足问题启发式算法”，“volume”:“34”，“author”：“Dechter”，“year”：“1988”，“journal title”：”Artificial Intelligence“}，{”issue“1\u2013 2“，”键“：“10.1016\/j.artint.2011.02.003_br0040”，“doi-asserted-by”：“crossref”，“first page”：“185”，”doi“：”10.1016\/S0304-3975（97）00230-2“，”article-title“：”On the algical structure of combinative problems“，”volume“200”，“author”：“Jeavons”，“year”：“1998”，“journal-title”：“Theory Computer Science”}，{“key”：”10.12011.02.003_br 0050英寸，“series-title”：“第八届约束程序设计原理与实践国际会议论文集（CP\u02bc02）”，“首页”：“310”，“article-title”：“约束满足、有界树宽和有限变量逻辑”，“卷”：“vol.2470”，“作者”：“Dalmau”，《年份》：“2002”}，{“issue”：“1”，“key”：“10.1016\/j.artint.2011.02.003_br0060”，“doi-asserted-by”：“crossref”，“first page”：“1”，“doi”：“10.1145\/1206035.1206036”，“article-title”：“从另一面看同态和约束满足问题的复杂性”，“volume”：”54“，”author“：”Grohe“，”year“：”2007“，”journal-title“：”journal of The ACM“}，{”key“：“10.1016\/j.artint.2011.02.003_br0070”，“series-title”：“约束处理”，“author”：“Dechter”，“year”：“2003”}，{“key”：“10.101-/j.aartint.2011.0203_br0080”，《series-ttle》：“第九届约束编程原理与实践国际会议论文集（CP\u02bc03）”，“首页”：“807”，“article-title”：“一类新的二进制CSP，其中弧常数是一个决策过程”，“卷”：“卷2833”，“作者”：“Cohen”，“年份”：“2003”}，{“key”：“10.1016\/j.artint.2011.02.003_br0090”，“series-title”：“约束编程手册”，“文章标题”：“限制语言的复杂性”，“author”：“科恩”，“年”：“2006”}、{“密钥”：“10.1016\/j.artint.2011.02.003_br0100”，“系列标题”：“第14届约束规划原理与实践国际会议论文集（CP\u02bc08）”，“第一页”：“282”，“文章标题”：“混合可处理性框架导致布尔加权约束满足问题”，“卷”：“第5202卷”，“作者”：“Kumar”，“年”：“2008”}，{“issue”：“9\u201310”，“key”：“10.1016\/j.artint.2011.02.003_br0110”，“doi-asserted-by”：“crossref”，“first page”：”570“，“doi”：“101016\/j.artent.2010.03.002”，“article-title”：“树上的泛化约束满足：杂交可驯化性和变量消除”，“volume”：：“人工智能”}，{“key”：“10.1016\/j.artint.2011.02.003_br0120”，“非结构化”：“T.Schiex，H.Fargier，G.Verfaillie，有值约束满足问题：难与易问题，收录于：第十四届国际人工智能联合会议论文集（IJCAI\u02bc95），1995年。可从以下网址获得：http://\/dli.iiit.ac.in\/ijcai\/ijcai-95-VOL1\/pdf\/083.pdf。“}，{”issue“：”2“，”key“：”10.1016\/j.artint.2011.02.003_br0130“，”doi-asserted-by“：”crossref“，”first page“：“201”，”doi“：”101145\/25630.256303.256306“，”article-title“：”Semiring-based constraint satisfaction and optimization“，”volume“:”44“，”author“：”Bistarelli“，”year“：”1997“，”journal title“：“ACM journal of the ACM”}，”{“issue”：“11”，“密钥”：“10.1016\/j.artint.2011.02.003_br0140“，”doi-asserted-by“：”crossref“，”首页“：”983“，”doi“：”10.1016\/j.aartint.2006.04.002“，”article-title“：”软约束满足的复杂性“，”volume“：”170“，”author“：”Cohen“，”year“：”2006“，”journal-title”：“Artificial Intelligence”}，{“issue”：“1\u20133”，“key”：“10.1016\\j.artent.2011.02.003_br0150“，”doi-asserted-by“：”crossref“，”first page“：”36“，”doi“：”10.1016\/j.tcs.2008.03.015“，”article-title“：”泛化子模块和Horn子句：“竞赛对多态定义的可牵引优化问题”，“volume”：“401”，“author”：“Cohen”，“year”：“2008”，“journal-title”：“Theory Computer Science”}，{“key”：10.1016\/j.artint.2011.02.003_br0160“，“author”：“Kolmogorov”}，{“key”：“10.1016\/j.aartint.2011.020.003_br 0170”，“series-title”：“Graphical Models”，“auth”：“Laurizen”，“year”：“1996”}、{“issue”：“1\u20132”，“key“10.1016”：“j.artent.2012.003_br0180”，“doi-asserted-by”：“crossref”，“first page”：“1”，“doi”：“10.1561\/220000001”，“文章标题”：“图形模型、指数族和变分推理”，“卷”：“1”，“作者”：“温赖特”，“年份”：“2008年”，“期刊标题”：“机器学习的基础和趋势”}，{“关键”：“10.1016\/j.artint.2011.02.003_br0190”，“系列标题”：《第十一届全国人工智能会议论文集》（AAAI\u02bc93），“首页”：“731”article-title“：“基于有限约束满足问题微观结构的域分解”，“author”：“J\u00e9gou”，“year”：“1993”}，{“key”：“10.1016\/J.artint.2011.02.003_br0200”，“series-title”：“第十四届约束编程原理与实践国际会议论文集（CP\u02bc08）”，“首页”：“524”，“article-title“：”完美约束是可处理的“，”volume“：”vol.5202“，”author“：”Salamon“，”year“：”2008“}，{“key”：“10.1016\/j.artint.2011.02.003_br0210”，“series-title”：“第27届计算机科学理论方面国际研讨会论文集（STACS\u02bc10）”，“首页”：“657”，“article-title”：”一般最小代价同态问题的二分法定理”，“author”：“Takhanov”，“year”：“2010”}，{“key”：“10.1016\/j.artint.2011.02.003_br0220”，“doi-asserted-by”：“crossref”，“unstructured”：“V.Kolmogorov，S.\u017divn\u00fd，保守值CSP的复杂性，2011，已提交出版。”，“doi”：“101137\/1.9781611973099.61”}、{“issue“：”2“，”key“：”10.1016\/j.artint.2011.02.003_br0230“，”doi-asserted-by“：”crossref“，”first page“：“169”，“doi”：“10.1007\/BF02579273”，“article-title”：“椭球方法及其在组合优化中的后果”，“volume”：“1”，“author”：“Gr\u00f6tschel”，“year”：“1981”，“journal-title“：”Combinatorica“}”，{“issue”：“2”，“密钥”：“10.1016\/j.artint.2011.02.003_br0240“，”doi-asserted-by“：”crossref“，”first page“：”143“，“doi”：“10.1007\/s00493-005-0012-8”，“article-title”：“识别Berge图”，“volume”：“25”，“author”：“Chudnovsky”，“year”：“2005”，“journal-title“：”Combinatorica“}，{“issue”：“4”，“key”：”10.1016\/j.aartint.2003_br020 50“，”doi-asserted-by“：”crossref“，”first page“：”595“，”DOI“：”10.1016\/j.jda.2008.04.001“，”article-title“：”在无分叉图中寻找独立最大权集的多项式算法“，”volume“：”6“，”author“：”Lozin“，”year“：”2008“，”journal-title”：“journal of Discrete Algorithms”}，{“issue”：“1”，“key”：“10.1016\/j.artint.2011.02.003_br0260”，“DOI-asserted-by”：“crossref”，“first page”：”239“，”DOI“：”10.1137\/090750822“，”article-title“：”无应用图中最大权重的独立集“，”volume“：”24“，”author“：”Brandst\u00e4dt“，”year“：”2010“，”journal-title”：“SIAM journal on Discrete Mathematics”}，{“key”：“10.1016\/j.artint.2011.02.003_br0270”，“series-title”：”《第二十五届人工智能不确定性国际会议论文集》，“第一页”：“258”，“文章标题”：“信息传递和完美图形”，“作者”：“杰巴拉”，“年份”：“2009”}，{“关键”：“10.1016\/j.artint.2011.02.003_br0280”，“系列标题”：author“：”Garey“，”year“：”1979“}，{“key”：“10.1016\/j.artint.2011.02.003_br0290”，“series-title”：“计算复杂性”，“author”：“Papadimitriou”，“year”：“1994”}，“key“：”10.1016\/j.aartint.2011.0203_br0300“，”unstructured“：”j.-C。R\u00e9gin，《CSP差异约束的过滤算法》，载《第十二届全国人工智能大会论文集》（AAAI\u02bc94），第1卷，1994年，第362\u2013367页。网址：http://www.aaai.org\/Papers\/AAAAI\/1994\/AAAI94-055.pdf。“}，{”key“：”10.1016\/j.artint.2011.02.003_br0310“，”series-title“：”约束编程原理与实践（CP\u02bc01）“，”首页“：”451“，”article-title“：“过约束问题的特定过滤算法”，“volume”：“vol.2239”，“author”：“Petit”，“year”：“2001”}，“issue”：“4\u20135”，“key”：”10.106\/j-artint.2011.2003_br0320“，”doi由“：”crossref“，”first page“：”347“，”doi“：”10.1007\\s10732-006-6550-4“，”文章标题“：”关于全球变暖：基于流量的全球软约束“，”卷“：”12“，”作者“：”van Hoeve“，”年份“：”2006“，”期刊标题“：”启发式期刊“}，｛”key“：”10.1016\\j.artint.2011.02.003_br0330“，”系列标题“：”第19届IEEE人工智能工具国际会议论文集（ICTAI\u02bc07）“，“第一页”：“223”，“文章标题”：“所有不同：在加权CSP中软化所有不同”，“作者”：“M\u00e9tiver”，“年份”：“2007”}，{“key”：“10.1016\/j.artint.2011.02.003_br0340”，“series-title”：“《第十二届约束编程原理与实践国际会议论文集》（CP\u02bc06），“第一页”：“468”，“文章标题”：“泛化AllDifferent:the SomeDifferent Constraint”，“作者”：“Richter”，“年份”：“2006”}，{“key”：“10.1016\/j.artint.2011.02.003_br0350”，“series-title”：“《第十五届约束编程原理与实践国际会议论文集》（CP\u02bc09），“第一页”：“470”，“文章标题”：“相同关系约束”，“卷”：“第5732卷”，“作者”：“Jefferson”，“年份”：“2009”}，｛“问题”：“3”，“关键”：“10.1016\/j.artint.2011.02.003_br0360”，“doi断言者”：“crossref”，“第一页”：“846”，“doi”：“10.1287\/oper.21.3.846“，”article-title“：“最小化并行机器的平均流时间”，“volume”：“21”，“author”：“Horn”，“year”：“1973”，“journal-title”：“Operations Research”}，{“issue”：“7”，“key”：”10.1016\/j.artint.2011.02.003_br0370“，”doi-asserted-by“：”crossref“，”first page“：”382“，”doi“：”10.1145\/36101.361064“，”article-title“：“安排独立任务以减少平均完成时间“，“volume”：“17”，“author”：“Bruno”，“year”：“1974”，“journal-title”：“ACM的通信”}，{“issue”：“3\u20134”，“key”：”10.1016\/j.artint.2011.02.003_br0380“，”doi-asserted-by“：”crossref“，”first page“：”387“，”doi“：”10.1023\/A:1020506526052“，”article-title“：”全球基数约束的基于成本的弧一致性”，“卷”：“7”，“作者”：“R\u00e9gin”，“年份”：“2002”，“日志标题”：“约束”}，{“键”：“10.1016\/j.artint.2011.02.003_br0390”，“系列标题”：《第21届国际人工智能联合会议论文集》（IJCAI\u02bc09），“首页”：“559”，“文章标题”：面向加权约束满足中全局约束的高效一致性实施”，“author”：“Lee”，“year”：“2009”}，{“key”：“10.1016\/j.artint.2011.02.003_br0400”，“series-title”：“网络流：理论、算法和应用程序”，“author”:“Ahuja”，“year”：组合优化：多面体与效率”，“卷”：“第24卷”，“作者”：“Schrijver”，“年份”：“2003”}，{“关键”：“10.1016\/j.artint.2011.02.003_br0420”，“系列-时间”：“ACM第十届计算理论年会论文集（STOC\u02bc78）”，“首页”：“216”，“文章-时间”，“可满足性问题的复杂性”，“作家”：“Schaefer“，”year“：”1978“}]，”container-title“：[”Artificial Intelligence“]，”original-title”：[]，”language“：”en“，”link“：[{”URL“：”https:\/\/api.elsevier.com/content\/article\/PII:S0004370211000348？httpAccept=text\/xml“，”content-type“：”text\/xml“，”content-version“：”vor“，”intended-application“：”text-mining“}，”{“URL”：“https:\/\/api.elsevier.com/content\/article\/PII:S0004370211000348？httpAccept=text\/plain“，”content-type“：”text\/prain“，“content-version”：“vor”，“intended-application”：“text-mining”}]，“deposted”：{“date-parts”：[[2019,6,8]]，“date-time”：“2019-06-08T17:41:28Z”，“timestamp”：1560015688000}，“score”：1，“resource”：{“primary”：“URL”：“https://linkinghub.elsevier.com\/retrieve\/pii\/S0 004370211000348“}}，”副标题“：[]，”短标题“：[]，”发布“：{”日期部分“：[[2011,6]]}，”引用计数“：42，”日志发布“：}”问题“：“9-10”，“发布-打印”：{“日期部分”：[[2011，6]]]}}，“alternative-id”：[“S0004370211000348”]，“URL”：“http://\/dx.doi.org\/10.1016\/j.artint.2011.02.003”，“关系”：{}，，“ISSN”：[“0004-3702”]，“ISSN-type”：[{“value”：“0004-3702”，“type”:“print”}]，“subject”：[]，“发布了“：{“date-parts”：[[2011,6]]}}}