{“id”：“https://openalex.org/W1788757403“，”doi“：”https://doi.org/10.1007/s10479-015-1914-5“，”title“：”Set constraint model and automated encoding into SAT:application to the social golfer problem“，”display_name“：”Set constraint model and automatic encoding into SAT:应用于社交高尔夫问题“，”publication_year“：2015，”publiation_date“：”2015-06-09“，”ids“：{”openalex“：”https://openalex.org/W1788757403“，”doi“：”https://doi.org/10.1007/s10479-015-1914-5“，”mag“：”1788757403“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/s10479-015-1914-5“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S57667410“，”“display_name”：“运筹学年鉴https://openalex.org/P4310318900“，”“host_organization_name”：“Springer Science+Business Media”，“host_organization_lineage”：[“https://openalex.org/P431031965","https://openalex.org/P4310318900“]，”host_organization_lineage_names“：[”Springer Nature“，”Springer-Science+Business Media“]，“type”：“journal”}，“license”：null，“licence_id”：nul，“version”：null，“is_accepted”：false，“is_published”：false}，”type“：”preprint“，”type_crossref“：“jornal-article”，“indexed_in”：[”crossref“]”，“open_access”：{“is_oa”：true，“oa_status”：“green”，“oa”url“（_U）：”http://arxiv.org/pdf/1406.7196“，”any_repository_has_fulltext“：true}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5038506785“，”display_name“：”Fr\u00e9d\u00e9 ric Lardeux“，”orcid“：”https://orcid.org/0000-0001-7230-7616}，“机构”：[{“id”：https://openalex.org/I49451733“，”display_name“：”Universit\u00e9 d'Angers“，”ror“：”https://ror.org/04yrqp957“，”country_code“：”FR“，”type“：“教育”，”世系“：[”https://openalex.org/I49451733“]}]，”国家“：[”FR“]，”is_corresponding“：true，”raw_author_name“：”FR\u00e9d\u00e9 ric Lardeux“，”raw _affiliation_strings“：[“LERIA，University \u00e 9 d\u2019 Angers，Angers and France”]，“afliations”：[{“raw_affiliation _string”：“LERIA，University\u00e9 d\u 2019 Anges，Anger，France”，“institution_ids”：[”https://openalex.org/I49451733“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5027575859“，”display_name“：”\u00c9ric Monfroy“，”orcid“：”https://orcid.org/0000-0001-970-1368}，“机构”：[{“id”：https://openalex.org/I97188460“，”display_name“：”南特大学\u00e9“，”ror“：”https://ror.org/03gnr7b55“，”country_code“：”FR“，”type“：“教育”，”世系“：[”https://openalex.org/I97188460“]}，{”id“：”https://openalex.org/I1326498283“，”display_name“：”法国计算机科学与自动化研究所“，”ror“：”https://ror.org/02kvxyf05“，”country_code“：”FR“，”type“：“政府”，”世系“：[”https://openalex.org/I1326498283“]}，{”id“：”https://openalex.org/I1294671590“，”display_name“：”法国国家科学研究中心“，”ror“：”https://ror.org/02feahw73“，”country_code“：”FR“，”type“：“政府”，”世系“：[”https://openalex.org/I1294671590“]}]，”国家“：[”FR“]，”is_corresponding“：false，”raw_author_name“：”Eric Monfroy“，”raw _affiliation_strings“：[“LINA，UMR CNRS 6241，TASC INRIA，University \u00e9 de Nantes，Nantes（法国南特）”]，“afliations”：[{“raw_affiliation _string”：“LINA、UMR CNR 6241，塔斯国际学院，法国南特大学\u00e 9 de Nattes（法国）”，“institution_ids”：[“https://openalex.org/I97188460","https://openalex.org/I1326498283","https://openalex.org/I1294671590“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5041828713“，”display_name“：”Broderick Crawford“，”orcid“：”https://orcid.org/0000-0001-5500-0188}，“机构”：[{“id”：https://openalex.org/I130474213“，”display_name“：”教皇大学Cat\u00f3lica de Valpara\u00edso“，”ror“：”https://ror.org/02cafbr77“，”country_code“：”CL“，”type“：“教育”，”世系“：[”https://openalex.org/I130474213“]}]，”国家“：[”CL“]，”is_corresponding“：false，”raw_author_name“：”Broderick Crawford“，”raw _affiliation_strings“：[“智利瓦尔帕莱索教皇大学Cat\u00f3lica de Valparaiso，2362807”]，“affiliations”：[{“raw_affilition_string”：“智利瓦尔帕莱索天主教大学Cat\u 00f3lica de Valpariaso”，“institution_ids”：[”https://openalex.org/I130474213“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5089757639“，”display_name“：”Ricardo Soto“，”orcid“：”https://orcid.org/0000-0002-5755-6929}，“机构”：[{“id”：https://openalex.org/I130474213“，”display_name“：”教皇大学Cat\u00f3lica de Valpara\u00edso“，”ror“：”https://ror.org/02cafbr77“，”country_code“：”CL“，”type“：“教育”，”世系“：[”https://openalex.org/I130474213“]}]，”国家“：[”CL“]，”is_corresponding“：false，”raw_author_name“：”Ricardo Soto“，”raw _affiliation_strings“：[“教皇大学Cat\u00f3lica de Valparaiso，2362807，智利瓦尔帕莱索”]，“affiliations”：[{“raw_affilition_string”：“教皇大学Cat\u00f 3lica der Valparaison，23628007，智利瓦尔帕莱索市”，“institution_ids”：[”https://openalex.org/I130474213“]}]}]，”countries_disticont_count“：2，”institutions_disticent_count”：5，”corresponding_author_ids“：[”https://openalex.org/A5038506785“]，”对应的机构ID“：[”https://openalex.org/I49451733“]，”apc_list“：null，”apc _ paid“：null，”fwci“：null，”has_fulltext“：true，”fulltext_origin“：”ngrams“，”cited_by_count“：4，”citecd_by_percentile_year“：{”min“：82，”max“：83}，”biblio“：{“volume”：“235”，“issue”：“1”，“first_page”：“423”，“last_page”：”“452”}，“is_retracted”：false，“is_paratext”：false，“primary_topic”：{“id”：“https://openalex.org/T11596“，”“display_name”：“分布式约束优化问题和算法”，“score”：0.9992，“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.9992，“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/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9941，“subfield”：{“id”：“https://openalex.org/subfields/1703“，”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.9889，”subfield“：{”id“：”https://openalex.org/subfields/s702“，”display_name“：”Artificial Intelligence“｝，”field“：｛”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”Physical Sciences“｝｝]，”keywords“：[｛”id“：”https://openalex.org/keywords/soft-constraints网站“，”display_name“：”软约束“，”score“：0.560176}，{”id“：”https://openalex.org/keywords/constraint-logic-programming网站“，”display_name“：”约束逻辑编程“，”score“：0.555425}，{”id“：”https://openalex.org/keywords/constraint-optimization网站“，”display_name“：”Constraint Optimization“，”score“：0.543518｝，｛”id“：”https://openalex.org/keywords/answer-set-programming网站“，”display_name“：”答案集编程“，”score“：0.535536}，{”id“：”https://openalex.org/keywords/satisfiability模块理论“，”“display_name”：“可满足模理论”，“score”：0.507422}]，“concepts”：[{“id”：“https://openalex.org/C6943359，“wikidata”：https://www.wikidata.org/wiki/Q875276“，”display_name“：”布尔可满足性问题“，”level“：2，”score“：0.66163254}，{”id“：”https://openalex.org/C199622910，“wikidata”：https://www.wikidata.org/wiki/Q1128326“，”display_name“：”约束满足问题“，”level“：3，”score“：0.6569575}，{”id“：”https://openalex.org/C111797529，“wikidata”：https://www.wikidata.org/wiki/Q17080584“，”display_name“：”最大可满足性问题“，”level“：3，”score“：0.6447849}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.6430338}，{”id“：”https://openalex.org/C24858836，“wikidata”：https://www.wikidata.org/wiki/Q844718“，”display_name“：”计算理论“，”level“：2，”score“：0.6342664}，{”id“：”https://openalex.org/C168773769，“wikidata”：https://www.wikidata.org/wiki/Q1350299“，”display_name“：”可满足性“，”级别“：2，”分数“：0.5863813}，{”id“：”https://openalex.org/C177264268，“wikidata”：https://www.wikidata.org/wiki/Q1514741“，”display_name“：”Set（abstract data type）“，”level“：2，”score“：0.5830107}，{”id“：”https://openalex.org/C2776036281，“wikidata”：https://www.wikidata.org/wiki/Q48769818“，”display_name“：”Constraint（计算机辅助设计）“，”level“：2，”score“：0.55904156｝，｛”id“：”https://openalex.org/C66746571，“wikidata”：https://www.wikidata.org/wiki/Q1134833“，”display_name“：”ENCODE“，”level“：3，”score“：0.550836}，{”id“：”https://openalex.org/C125411270，“wikidata”：https://www.wikidata.org/wiki/Q18653“，”display_name“：”编码（内存）“，”级别“：2，”分数“：0.51607007}，{”id“：”https://openalex.org/C44616089，“wikidata”：https://www.wikidata.org/wiki/Q30158686“，”display_name“：”约束满足“，”level“：3，”score“：0.48790762}，{”id“：”https://openalex.org/C69562738，“wikidata”：https://www.wikidata.org/wiki/Q200694“，”display_name“：”命题演算“，”level“：2，”score“：0.44947758}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974网址“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.42330623}，{”id“：”https://openalex.org/C126255220，“wikidata”：https://www.wikidata.org/wiki/Q141495“，”display_name“：”数学优化“，”level“：1，”score“：0.4204237}，{”id“：”https://openalex.org/C11413529，“wikidata”：https://www.wikidata.org/wiki/Q8366“，”display_name“：”Algorithm“，”level“：1，”score“：0.37605816}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.27462655}，{”id“：”https://openalex.org/C154945302，“wikidata”：https://www.wikidata.org/wiki/Q11660“，”display_name“：”人工智能“，”level“：1，”score“：0.24666855}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.113835245}，{”id“：”https://openalex.org/C187455244，“wikidata”：https://www.wikidata.org/wiki/Q942353“，”display_name“：”布尔函数“，”level“：2，”score“：0.092766434}，{”id“：”https://openalex.org/C55493867，“wikidata”：https://www.wikidata.org/wiki/Q7094“，”display_name“：”生物化学“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C185592680，“wikidata”：https://www.wikidata.org/wiki/Q2329“，”display_name“：”Chemistry“，”level“：0，”score“：0.0}，{”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}，{”id“：”https://openalex.org/C104317684，“wikidata”：https://www.wikidata.org/wiki/Q7187“，”display_name“：”Gene“，”level“：2，”score“：0.0}]，”mesh“：[]，”locations_count“：7，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/s10479-015-1914-5“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S57667410“，”“display_name”：“运筹学年鉴https://openalex.org/P4310318900“，”“host_organization_name”：“Springer Science+Business Media”，“host_organization_lineage”：[“https://openalex.org/P431031965","https://openalex.org/P4310318900“]，”host_organization_lineage_names“：[”Springer Nature“，”Springer-Science+Business Media“]，“type”：“journal”}，“license”：null，“licence_id”：nul，“version”：null，“is_accepted”：false，“is_published”：false}，{“is_oa”：false，“landing_page_url”：“https://hal.science/hal-01088415“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S4306402512“，”display_name“：”HAL（通信科学指导中心）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is-in_doaj“：false，”is_core“：false，”host_organization“：”https://openalex.org/I1294671590“，”“host_organization_name”：“法国国家科学研究中心”，“host_ordanization_lineage”：[“https://openalex.org/I1294671590“]，”host_organization_lineage_names“：[”法国国家科学研究中心“]，“type”：“repository”}，“license”：null，“licence_id”：nul，“version”：null，“is_accepted”：false，“is_published”：false}，{“is_oa”：false，“landing_page_url”：“https://hal.archives-ouvertes.fr/hal-01234185“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S4306402512“，”display_name“：”HAL（通信科学指导中心）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is-in_doaj“：false，”is_core“：false，”host_organization“：”https://openalex.org/I1294671590“，”“host_organization_name”：“法国国家科学研究中心”，“host_ordanization_lineage”：[“https://openalex.org/I1294671590“]，”host_organization_lineage_names“：[”法国国家科学研究中心“]，“type”：“repository”}，“license”：null，“licence_id”：nul，“version”：null，“is_accepted”：false，“is_published”：false}，{“is_oa”：false，“landing_page_url”：“https://hal.science/hal-01234185“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S4306402512“，”display_name“：”HAL（通信科学指导中心）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is-in_doaj“：false，”is_core“：false，”host_organization“：”https://openalex.org/I1294671590“，”“host_organization_name”：“法国国家科学研究中心”，“host_ordanization_lineage”：[“https://openalex.org/I1294671590“]，”host_organization_lineage_names“：[”法国国家科学研究中心“]，“type”：“repository”}，“license”：null，“licence_id”：nul，“version”：null，“is_accepted”：false，“is_published”：false}，{“is_oa”：false，“landing_page_url”：“https://hal.archives-ouvertes.fr/hal-01088415“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S4306402512“，”display_name“：”HAL（通信科学指导中心）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is-in_doaj“：false，”is_core“：false，”host_organization“：”https://openalex.org/I1294671590“，”“host_organization_name”：“法国国家科学研究中心”，“host_ordanization_lineage”：[“https://openalex.org/I1294671590“]，”host_organization_lineage_names“：[”法国国家科学研究中心“]，“type”：“repository”}，“license”：null，“licence_id”：nul，“version”：null，“is_accepted”：false，“is_published”：false}，{“is_oa”：true，“landing_page_url”：“http://arxiv.org/abs/1406.7196“，”pdf_url“：”http://arxiv.org/pdf/1406.7196，“源”：{“id”：https://openalex.org/S4306400194“，”display_name“：”arXiv（康奈尔大学）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is.in_doaj“：false，”is_core“：fase，”host_organization“：”https://openalex.org/I205783295“，”“host_organization_name”：“康奈尔大学”，“host_organization_lineage”：[“https://openalex.org/I205783295“]，”host_organization_lineage_names“：[”康奈尔大学“]，”type“：”repository“｝，”license“：null，”license_id“：null，”version“：”submittedVersion“，”is_accepted“：false，”is_published“：false｝，｛”is_oa“：true，”landing_page_url“：null，”pdf_url“：”http://arxiv.org/pdf/1406.7196.pdf，“源”：{“id”：https://openalex.org/S4306400194“，”display_name“：”arXiv（康奈尔大学）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is.in_doaj“：false，”is_core“：fase，”host_organization“：”https://openalex.org/I205783295“，”“host_organization_name”：“康奈尔大学”，“host_organization_lineage”：[“https://openalex.org/I205783295“]，”host_organization_lineage_names“：[”康奈尔大学“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}]，“best_oa_location”：{“is_oa”：true，“landing_page_url”：“http://arxiv.org/abs/1406.7196“，”pdf_url“：”http://arxiv.org/pdf/1406.7196，“源”：{“id”：https://openalex.org/S4306400194“，”display_name“：”arXiv（康奈尔大学）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is.in_doaj“：false，”is_core“：fase，”host_organization“：”https://openalex.org/I205783295“，”“host_organization_name”：“康奈尔大学”，“host_organization_lineage”：[“https://openalex.org/I205783295“]，”host_organization_lineage_names“：[”康奈尔大学“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}，”sustainable_development_goals“：[{”display_name“：”减少不平等“，”score“：0.45，”id“：”https://metadata.un.org/sdg/10“}]，”grants“：[]，”datasets“：[]，”versions“：[】，”referenced_works_count“：14，”referrenced_works“：【”https://openalex.org/W1486270631","https://openalex.org/W1506255457","https://openalex.org/W1518705996","https://openalex.org/W1531545757","https://openalex.org/W1577349145","https://openalex.org/W1773554800","https://openalex.org/W1809021084","https://openalex.org/W1889000715","https://openalex.org/W1946570941","https://openalex.org/W1950282396","https://openalex.org/W2023331514","https://openalex.org/W2097971941","https://openalex.org/W2119409835","https://openalex.org/W82625556“]，”related_works“：[”https://openalex.org/W4285605366","https://openalex.org/W4253759203","https://openalex.org/W4243835908","https://openalex.org/W3150741540","https://openalex.org/W2301405299","https://openalex.org/W2252314269","https://openalex.org/W2161128834","https://openalex.org/W2118943303","https://openalex.org/W2091348864","https://openalex.org/W2017695771“]，”ngrams_url“：”https://api.openalex.org/works/W1788757403/ngrams“，”“abstract_inverted_index”：{“On”：[0,13]，“the”：[1,14,51,64131]，“one”：[2,8]，“hand”，“constraint”：[4,36]，“satisfaction”：[5]，“problems”：[6,37]，“allow”：[7]，“to”：[9,32,39,50,60]，“expressively”：[10,33]，“model”：[11,34]，“problems”。可满足性“：[18]，“问题”：[19,54]，“（SAT）”：[20]，“求解者”：[21118]，”can“：[22]，”handle“：[23]，”巨大“：[24]，”SAT“：[25,44,79117]，”实例。“：[26,45]，“我们”：[27,46]，“因此”：[28]，“现在”：[29]，“a”：[30]，“技术”：[31,49,67]，“集合”：[35]，“和”：[38,55,72,96103119]，“编码”：[40]，“他们”：[41]，“自动”：[42,83]，“进入”：[43]，“应用”：[47]，“我方”：[48]，“社交”：[52132]，“高尔夫球员”：[53133]，“We”：[56,82]，“also”：[57108]，“use”：[58]，“it”：[59]，“break”：[61]，“symmetures”：[62]，“of”：[63130]，“problem”。“：[65134]，”我们的“：[66]，”是“：[68]，”更简单“：[69]，”更多“：[70]，”表达，“：[71]，”更少“：[73,86110]，”容易出错“：[74]，”比“：[75,88]，”直接“：[76,90]，”建模。“：[77]，”The“：[78]，”instances“：[80,91129]，”that“：[81]，”generate“：[84]，”contain“：[85109]，”clauses“：[87]，”improved“：[89]，”such“：[92]，”as“：[93124]，”in“：[94]，”Triska“：[95]，”Musliu“：/97]，”（Ann“：[98]，”Oper“：[99]，”Res“：[100]，”194（1）：427\u2013 438，“：[101]，“2012），”：[102]，“with”：[104]，“unit”：/105]，“propagation”：[106]，“they”：[107113120]，“variables。“：[111]，”“此外，”“：[112]，”是“：[11412]，”“非常适合”：[115]，”对于“：[116]，”已解决“：[122]，”更快“：[123]，”显示“：[125]，”当“：[126]，”解决“：/127]，”困难“：[128]}，”引用_by_api_url“：”https://api.openalex.org/works？filter=cites:W1788757403“，”counts_by_year“：[{”年份“：2021，”cited_by_count“：1}，{”年“：2020，”ciped_by_cunt“：1'，{“年份”：2016，”cited_by_count”：2}]，”updated_date“：”2024-06-24T20:52:06.787985“，”created_dates“：”2016-06-24“}