{“id”：“https://openalex.org/W2023663308“，”doi“：”https://doi.org/10.2197/ipsjjip.19.201“，”title“：“分布式约束推理中约束的高效表示和变量值对称的传播”，”display_name“：“分布约束推理中的约束的高效表达和变量值不对称的传播”、”publication_year“：2011，”publication_date“：”2011-01-01“，”ids“：{”openalex“：”https://openalex.org/W2023663308“，”doi“：”https://doi.org/10.2197/ipsjjip.19.201“，”mag“：”2023663308“}，”language“：”en“，”primary_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.2197/ipsjjip.19.201，“pdf_url”：https://www.jstage.jst.go.jp/article/ipsjjip/19/019_0_201/pdf，“源”：{“id”：https://openalex.org/S4210239267“，”display_name“：”Journal of Information Processing“，”issn_l“：”1882-6652“，”isn“：[”1882-6.652“]，”is_oa“：true，”isin_doaj“：false，”is_core“：true，”host_organization“：null，”host_organization_name“:null，“host_orgganization_lineage_names”：[]，”type“：”Journal“}，”license“：nul，”licence_id“：null，”version“：”publishedVersion““，”is_accepted“：true，”is_published“：true}，”type“：“文章”，”type_crossref“：”journal-article“，”indexed_in“：[”crossref“]，”open_access“：{”is_oa“：真，”oa_status“：”青铜“，”oa_url“：”https://www.jstage.jst.go.jp/article/ipsjjip/19/019_0_201/pdf“，”any_repository_has_fulltext“：false}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5037726021“，”display_name“：”Xavier Oliv\u00e9“，”orcid“：”https://orcid.org/0000-0002-2335-5774}，“机构”：[{“id”：https://openalex.org/I22299242“，”display_name“：”京都大学“，”ror“：”https://ror.org/02kpeqv85“，”country_code“：”JP“，”type“：“教育”，”世系“：[”https://openalex.org/I22299242“]}]，”国家“：[”JP“]，”is_corresponding“：false，”raw_author_name“：”Xavier Olive“，”raw_affiliation_strings“：[“京都大学”]，”affiliations“：[{”raw_affiliation_string“：”京都大学“，”institution_ids“：[https://openalex.org/I22299242“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5056038063“，”display_name“：”Hiroshi Nakashima“，”orcid“：”https://orcid.org/0000-0001-8096-6398}，“机构”：[{“id”：https://openalex.org/I22299242“，”display_name“：”京都大学“，”ror“：”https://ror.org/02kpeqv85“，”country_code“：”JP“，”type“：“教育”，”世系“：[”https://openalex.org/I22299242“]}]，”国家“：[”JP“]，”is_corresponding“：false，”raw_author_name“：”Hiroshi Nakashima“，”raw _affiliation_strings“：[“京都大学”]，”affiliations“：[{”raw _affiliation_string“：”京都大学“，”institution_ids“：]”https://openalex.org/I22299242“]}]}]，”institution_assertions“：[]，”countries_distiction_count“：1，”institutions_disticent_count”：1，“corresponding_author_ids”：[]、“corresconding_institution_ids“：[].”apc_list“：null，”apc_payed“：null，”fwci“：0.0，”has_fulltext“：true，”fulltext_origin“：”pdf“，”cited_by_count is_in_top_1_percent“：false，”is_in_top_10_percent“：false}，”cited_by_percentile_year“：{”min“：0，”max“：65}，“biblio”：{“volume”：“19”，“issue”：null，“first_page”：“201”，“last_page”：”210“}”，“is_retracted”：false，“is_paratext”：false，“primary_topic”：{“id”：“https://openalex.org/T11596“，”“display_name”：“分布式约束优化问题和算法”，“score”：0.9993，“subfield”：{“id”：“https://openalex.org/subfields/1705“，”display_name“：”计算机网络和通信“}，”字段“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}，”主题“：[{”id“：”https://openalex.org/T11596“，”“display_name”：“分布式约束优化问题和算法”，“score”：0.9993，“subfield”：{“id”：“https://openalex.org/subfields/1705“，”display_name“：”计算机网络和通信“}，”字段“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}，{”id“：”https://openalex.org/T11010“，”display_name“：”逻辑编程与知识表示“，”score“：0.9882，”subfield“：{”id“：”https://openalex.org/subfields/s702“，”display_name“：”人工智能“}，”字段“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}，{”id“：”https://openalex.org/T10317“，”“display_name”：“数据流管理系统和技术”，“score”：0.9842，“subfield”：{“id”：“https://openalex.org/subfields/1705“，”display_name“：”计算机网络和通信“}，”字段“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}]，”关键词“：[{”id“：”https://openalex.org/keywords/constraint-optimization（https://openalex.org/keywords/constraint-optimization）“，”display_name“：”约束优化“，”score“：0.587666}，{”id“：”https://openalex.org/keywords/constraint-logic-programming网站“，”display_name“：”约束逻辑编程“，”score“：0.584649}，{”id“：”https://openalex.org/keywords/constraint-graph“，”display_name“：”约束图“，”score“：0.5659651}，{”id“：”https://openalex.org/keywords/soft-constraints网站“，”display_name“：”软约束“，”score“：0.558527}，{”id“：”https://openalex.org/keywords/spacial-reasoning网站“，”display_name“：”Spatial Reasoning“，”score“：0.55385}，{”id“：”https://openalex.org/keywords/distributed-algorithms网站“，”display_name“：”分布式算法“，”score“：0.552958}，{”id“：”https://openalex.org/关键词/bounding-overwatch“，”display_name“：”掩护边界“，”score“：0.543015}]，”concepts“：[{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.7470833}，{”id“：”https://openalex.org/C178481205，“wikidata”：https://www.wikidata.org/wiki/Q5164372“，”display_name“：”约束图“，”level“：5，”score“：0.5659651}，{”id“：”https://openalex.org/C63584917，“wikidata”：https://www.wikidata.org/wiki/Q333286“，”display_name“：”Bounding overwatch“，”level“：2，”score“：0.543015｝，｛”id“：”https://openalex.org/C96469262，“wikidata”：https://www.wikidata.org/wiki/Q1324364“，”display_name“：”同构空间“，”level“：2，”score“：0.47559747}，{”id“：”https://openalex.org/C2779960059，“wikidata”：https://www.wikidata.org/wiki/Q7113681“，”display_name“：”开销（工程）“，”级别“：2，”分数“：0.46760312｝，｛”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.4625212}，{”id“：”https://openalex.org/C2776036281，“wikidata”：https://www.wikidata.org/wiki/Q48769818“，”display_name“：”约束（计算机辅助设计）“，”level“：2，”score“：0.4419463}，{”id“：”https://openalex.org/C130120984，“wikidata”：https://www.wikidata.org/wiki/Q2835898“，”display_name“：”分布式算法“，”level“：2，”score“：0.42125118}，{”id“：”https://openalex.org/C137105694，“wikidata”：https://www.wikidata.org/wiki/Q3407510“，”display_name“：”本地一致性“，”level“：4，”score“：0.37915364}，{”id“：”https://openalex.org/C11413529，“wikidata”：https://www.wikidata.org/wiki/Q8366“，”display_name“：”Algorithm“，”level“：1，”score“：0.37812063}，{”id“：”https://openalex.org/C199622910，“wikidata”：https://www.wikidata.org/wiki/Q1128326“，”display_name“：”约束满足问题“，”level“：3，”score“：0.33645687}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.23509845}，{”id“：”https://openalex.org/C120314980，“wikidata”：https://www.wikidata.org/wiki/Q180634“，”display_name“：”分布式计算“，”level“：1，”score“：0.1976189}，{”id“：”https://openalex.org/C154945302，“wikidata”：https://www.wikidata.org/wiki/Q11660“，”display_name“：”人工智能“，”level“：1，”score“：0.12692282}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.113262445｝，｛”id“：”https://openalex.org/C2524010，“wikidata”：https://www.wikidata.org/wiki/Q8087“，”display_name“：”Geometry“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C49937458，“wikidata”：https://www.wikidata.org/wiki/Q2599292“，”display_name“：”概率逻辑“，”level“：2，”score“：0.0}]，”mesh“：[]，”locations_count“：1，”location“：[{”is_oa“：true，”landing_page_url“：”https://doi.org/10.2197/ipsjjip.19.201，“pdf_url”：https://www.jstage.jst.go.jp/article/ipsjjip/19/0/19_0_201/_pdf，“源”：{“id”：https://openalex.org/S4210239267“，”display_name“：”Journal of Information Processing“，”issn_l“：”1882-6652“，”isn“：[”1882-6.652“]，”is_oa“：true，”isin_doaj“：false，”is_core“：true，”host_organization“：null，”host_organization_name“:null，“host_orgganization_lineage_names”：[]，”type“：”Journal“}，”license“：nul，”licence_id“：null，”version“：”publishedVersion““，”is_accepted“：true，”is_published“：true}]，”best_oa_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.2197/ipsjjip.19.201，“pdf_url”：https://www.jstage.jst.go.jp/article/ipsjjip/19/0/19_0_201/_pdf，“源”：{“id”：https://openalex.org/S4210239267“，”display_name“：”Journal of Information Processing“，”issn_l“：”1882-6652“，”isn“：[”1882-6.652“]，”is_oa“：true，”isin_doaj“：false，”is_core“：true，”host_organization“：null，”host_organization_name“:null，“host_orgganization_lineage_names”：[]，”type“：”Journal“}，”license“：nul，”licence_id“：null，”version“：”publishedVersion““，”is_accepted“：true，”is_published“：true}，”sustainable_development_goals“：[]，”grants“：[]，”datasets“：〔]，”versions“：[〕，”referenced_works_count“：13，”referrenced_works“：【”https://openalex.org/W1527987966","https://openalex.org/W1548955532","https://openalex.org/W1556129273","https://openalex.org/W186587644","https://openalex.org/W1982333717","https://openalex.org/W2015918917","https://openalex.org/W2016578044","https://openalex.org/W2033546932","https://openalex.org/W2110116921","https://openalex.org/W2128040438","https://openalex.org/W2158896662","https://openalex.org/W2171737120","https://openalex.org/W4238171218“]，”related_works“：[”https://openalex.org/W96881443","https://openalex.org/W3195880842","https://openalex.org/W2784687883","https://openalex.org/W2737098235","https://openalex.org/W2569549435","https://openalex.org/W2141935412","https://openalex.org/W2091348864","https://openalex.org/W2032348095","https://openalex.org/W1486916474","https://openalex.org/W115413730“]，”abstract_inverted_index“：{”In“：[0,73117]，”this“：[1134187]，”paper“：[2]，”we“：[3,37,76,97216]，”discuss“：[4]，”variable“：[5]，”and“：[6,13,18174192246]，“value”：[7]，“symmetures”：[8,31,53]，“In”：[9,21,54,672052112250]，“distributed”：[10,22,69183200254]，“constraint”：[11,46,70121212 55]，“推理”：[12,71256]，“高效”：[14,68]，“方法：[15,28]，“to”：[16,33,40,56147156166175]，“representation”：[17,77]，“propagate”：[19,57176]，“them”：[20,42,58177]，“environments”。“：[23]，”不同“：[24]，”常用“：[25]，”使用“：[26]，”集中“：[27]，”其中“：[29]，”检测“：[30]，”根据“：[32]，”他们的“：[34]，”全局“：[35]，”定义“：[36]，”建议“：[38]，”此处“：[39]，”define“：[41,49]，”at“：[43]，”the“：[44,60,88100138141168196221]，”个人“：[45]，”级别，“：[47]，”then“：[48]，”operations“：[50]，”on“：[51127199240]，”threes“：[52]，“order”：[55]，“through”：[59]，“depth first”：[61]，“search”：[62]，“tree”：[63]，“that”：[6410210]，“is”：[65]，“generated”：[66]，“algorithms”：[72]，“our”：[74]，“algorithm”：[75]，“constraints”：[778191]，“（or”：[79]，“utility”：[80172]，“functions”）：[81]，“by”：[82105]，“a”：[83120128241]，“列表”：【84104142】，“共”用法：[85102113115130143151171190213223244253]，“成本：”：[86]，“while”：[87226]，“通常”：[89]，“代表”：[90189]，“列表”：[91]，“一个”：[92,95108111]，“费用”：[93109]，“for”：[94110119]，“分配”：[96]，“急剧”：[98]，“减少”：[99]，“大小”：[101139]，“保留”：[106]，“仅”：[107]，“类别”：[112]，“等同”：[114]，“转让”：[116]，“实践”，：[118]，“with”：[122179195]，“n”：[123131159]，“对称”：[124132]，“变量”：[125]，“定义的”：[126]，“域”：[129]，“值”，“：[133]，“方法”：[135]，“切割”：[136]，“向下”：[137218]，“成本”：[144]，“来源”：[145154]，“nn”：%146]，“p（n）”：[148]，“（分区”：[149]，“函数”：[150]，“n），“：[152]，”即“：[153]，“1010”：[155]，“42”：[157]，“when”：[158]，“=”：[160]，“10.”：[161]，“我们”：[162185]，“从今以后”：[163]，“设计”：[164]，“算法”：[165]，“过程”：[167]，“稀疏”：[169]，“表示”：[170]，“函数”：[173]，“沿”：[178]，“对称”：[180]，“信息”：[181]，“中间”：[182]，“代理”：[184]，“实现”：[186]，“新”：[188]，“测试”：[193]，“it”：[194]，“DPOP”：[197]，“算法”：[198]，“图形”：[201]，“着色”：[202]，“问题”：[203]，“丰富”：[204]，“对称”：[206]，“我们的”：[207]，“评估”：[208]，“显示”：[209]，“19%”：[212]，“执行”：[214]，“实例”：[215]，“剪切”：[217]，“10”：[219]，“次数”：[220]，“体积”：[222]，“沟通”：[2247]，”花费“：[225]，“否”：[227]，“重要”：[228]，“开销”：[229]，“出现”：[230]，“非”：[232]，“对称”：[233]，“执行”：[234]，“这些”：[235]，“结果”：[236]，“打开”：[237]，“严重”：[238]，“透视图”：[239]，“可能”：[242]，“边界”：[243]，“内存”：[245]，“带宽”：[248]，“消耗”：[249]，“一些”：[251]，“子类”：[252]，“问题。”：[257]}，“引用_by_api_url”：“https://api.openalex.org/works？filter=cites:W2023663308“，”counts_by_year“：[]，”updated_date“：”2024-09-26T20:27:36.650560“，”created_dates“：”2016-06-24“}“