｛“id”：“https://openalex.org/W2040767332“，”doi“：”https://doi.org/10.1145/2791060.2791070“，”title“：“基于SAT的大型真实世界特征模型分析很容易”，”display_name“：”基于SAT分析大型真实世界要素模型很容易“，”publication_year“：2015，”publiation_date“：”2015-07-20“，”ids“：{”openalex“：”https://openalex.org/W2040767332“，”doi“：”https://doi.org/10.1145/2791060.2791070“，”mag“：”2040767332“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1145/2791060.2791070“，”pdf_url“：null，”source“：nul，”license“：null'，”licence_id“：null，”version“：nuller，”is_accepted“：false，”is_published“：false}，”type“：”article“，”type_crossref“：“proceedings-article”，”indexed_in“：[”crossref“]，”open_access“：{”is_oa“：true，”oa_status“：”green“，”“oa_url”：“”https://arxiv.org/pdf/1506.05198“，”any_repository_has_fulltext“：true}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5040956935“，”display_name“：”梁佳“，”orcid“：”https://orcid.org/0000-0001-9493-8742}，“机构”：[{“id”：https://openalex.org/I151746483“，”display_name“：”滑铁卢大学“，”ror“：”https://ror.org/01aff2v68“，”country_code“：”CA“，”type“：“教育”，”世系“：[”https://openalex.org/I151746483“]}]，”国家“：[”CA“]，”is_corresponding“：false，”raw_author_name“：”贾慧亮“，”raw _ afiliation_strings“：[“加拿大滑铁卢大学”]，”affiliations“：[{”raw_ afiliation _string“：”加拿大滑铁罗大学“，”institution_ids“：]”https://openalex.org/I151746483“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A505229970“，”display_name“：”Vijay Ganesh“，”orcid“：”https://orcid.org/0000-0002-6029-2047}，“机构”：[{“id”：https://openalex.org/I151746483“，”display_name“：”滑铁卢大学“，”ror“：”https://ror.org/01aff2v68“，”country_code“：”CA“，”type“：“教育”，”世系“：[”https://openalex.org/I151746483“]}]，”国家“：[”CA“]，”is_corresponding“：false，”raw_author_name“：”Vijay Ganesh“，”raw _ affiliation_strings“：[“加拿大滑铁卢大学”]，”affiliation“：[{”raw _affiliation_string“：”加拿大滑铁鲁大学“，”institution_ids“：[https://openalex.org/I151746483“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5066916130“，”display_name“：”Krzysztof Czarnecki“，”orcid“：”https://orcid.org/0000-0003-1642-1101}，“机构”：[{“id”：https://openalex.org/I151746483“，”display_name“：”滑铁卢大学“，”ror“：”https://ror.org/01aff2v68“，”country_code“：”CA“，”type“：“教育”，”世系“：[”https://openalex.org/I151746483“]}]，”国家“：[”CA“]，”is_corresponding“：false，”raw_author_name“：”Krzysztof Czarnecki“，”raw _ afiliation_strings“：[“加拿大滑铁卢大学”]，”affiliations“：[{”raw _affiliation_string“：”加拿大滑铁鲁大学“，”institution_ids“：[https://openalex.org/I151746483“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5073311967“，”display_name“：”Venkatesh Raman“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I59611059“，”display_name“：”数学科学研究所“，”ror“：”https://ror.org/05078rg59“，”“country_code”“：”IN“，”type“：”facility“，”lineage“：[”https://openalex.org/I59611059“]}]，”国家“：[”IN“]，”is_corresponding“：false，”raw_author_name“：”Venkatesh Raman“，”raw _affiliation_strings“：[“印度数学科学研究所”]，”affiliations“：[{”raw _affiliation_string“：”印度数学科学院“，”institution_ids“：[https://openalex.org/I59611059“]}]}]，”countries_distinct_count“：2，”institutions_disting_count”：2，“corresponding_author_ids”：[]，”correspounding_institution_ids“：[]”，“apc_list”：null，”apc_payed“：null”，“fwci”：1.59，“has_fulltext”：true，“fulltext_origin”：“ngrams”，“cited_by_count”：41，“citeconding_by_percentile_year”：{“min”：95，“max”：96}，“biblio”“：{”volume“：null，”issue“：nul，”first_page“：null，”last_page“：null}，”is_retracted“：false，”is_paratext“：fase，”primary_topic“：{”id“：”https://openalex.org/T10639“，”display_name“：”自主计算和自适应系统“，”score“：0.9964，”subfield“：｛”id“：”https://openalex.org/subfields/1702“，”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/T10639“，”display_name“：”自主计算和自适应系统“，”score“：0.9964，”subfield“：{”id“：”https://openalex.org/subfields/1702“，”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/T10260“，”“display_name”：“软件工程实证研究”，“score”：0.9921，“subfield”：{“id”：“https://openalex.org/subfields/1710“，”display_name“：”Information Systems“}，”field“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“｝，”domain“：｛”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}，{”id“：”https://openalex.org/T11450“，”display_name“：”软件开发中的模型驱动工程“，”score“：0.983，”subfield“：{”id“：”https://openalex.org/subfields/1712“，”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/feature-models网站“，”display_name“：”功能模型“，”score“：0.525876}，{”id“：”https://openalex.org/keywords/model-consistency“，”display_name“：”模型一致性“，”score“：0.508262}]，”concepts“：[{”id“：”https://openalex.org/C156884757，“wikidata”：https://www.wikidata.org/wiki/Q798554“，”display_name“：”Backtracking“，”level“：2，”score“：0.78199553}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.7655038}，{”id“：”https://openalex.org/C2778770139，“wikidata”：https://www.wikidata.org/wiki/Q1966904“，”display_name“：”Solver“，”level“：2，”score“：0.6561519}，{”id“：”https://openalex.org/C6943359，“wikidata”：https://www.wikidata.org/wiki/Q875276“，”display_name“：”布尔可满足性问题“，”level“：2，”score“：0.6380529}，{”id“：”https://openalex.org/C2776401178，“wikidata”：https://www.wikidata.org/wiki/Q12050496“，”display_name“：”功能（语言学）“，”级别“：2，”分数“：0.58839357}，{”id“：”https://openalex.org/C168773769，“wikidata”：https://www.wikidata.org/wiki/Q1350299“，”display_name“：”可满足性“，”level“：2，”score“：0.5862992｝，｛”id“：”https://openalex.org/C177264268，“wikidata”：https://www.wikidata.org/wiki/Q1514741“，”display_name“：”Set（abstract data type）“，”level“：2，”score“：0.52031255}，{”id“：”https://openalex.org/C26517878，“wikidata”：https://www.wikidata.org/wiki/Q228039“，”display_name“：”Key（lock）“，”level“：2，”score“：0.46883646}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.46452177}，{”id“：”https://openalex.org/C2778755073，“wikidata”：https://www.wikidata.org/wiki/Q10858537网址“，”display_name“：”Scale（ratio）“，”level“：2，”score“：0.44886765}，{”id“：”https://openalex.org/C154945302，“wikidata”：https://www.wikidata.org/wiki/Q11660“，”display_name“：”人工智能“，”level“：1，”score“：0.36330512}，{”id“：”https://openalex.org/C11413529，“wikidata”：https://www.wikidata.org/wiki/Q8366“，”display_name“：”Algorithm“，”level“：1，”score“：0.27061445}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.26755452}，{”id“：”https://openalex.org/C41895202，“wikidata”：https://www.wikidata.org/wiki/Q8162“，”display_name“：”语言学“，”level“：1，”score“：0.0｝，｛”id“：”https://openalex.org/C138885662，“wikidata”：https://www.wikidata.org/wiki/Q5891“，”display_name“：”哲学“，”等级“：0，”分数“：0.0}，{”id“：”https://openalex.org/C121332964，“wikidata”：https://www.wikidata.org/wiki/Q413“，”display_name“：”物理“，”级别“：0，”分数“：0.0}，{”id“：”https://openalex.org/C38652104，“wikidata”：https://www.wikidata.org/wiki/Q3510521“，”display_name“：”计算机安全“，”level“：1，”score“：0.0｝，｛”id“：”https://openalex.org/C62520636，“wikidata”：https://www.wikidata.org/wiki/Q944“，”display_name“：”量子力学“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：2，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1145/2791060.2791070“，”pdf_url“：null，”source“：null，”license“：nully，”licence_id“：null，”version“：nuller，”is_accepted“：false，”is_published“：false}，{”is_oa“：true，”landing_page_url”：“https://arxiv.org/abs/1506.05198，“pdf_url”：https://arxiv.org/pdf/1506.05198，“源”：{“id”：https://openalex.org/S4306400194“，”display_name“：”arXiv（康奈尔大学）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”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”：“https://arxiv.org/abs/1506.05198，“pdf_url”：https://arxiv.org/pdf/1506.05198，“源”：{“id”：https://openalex.org/S4306400194“，”display_name“：”arXiv（康奈尔大学）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”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“：[{”score“：0.69，”display_name“：”和平、正义和强大的制度“，”id“：”https://metadata.un.org/sdg/16“}]，”grants“：[]，”datasets“：[]，”versions“：[】，”referenced_works_count“：21，”referrenced_works“：【”https://openalex.org/W1500250067","https://openalex.org/W1537730723","https://openalex.org/W1559732456","https://openalex.org/W1710690747","https://openalex.org/W1965693119","https://openalex.org/W2009982135","https://openalex.org/W2016956581","https://openalex.org/W2027605646","https://openalex.org/W2053105359","https://openalex.org/W2099213660","https://openalex.org/W2104208948","https://openalex.org/W2113201637","https://openalex.org/W2123759466","https://openalex.org/W2123763923","https://openalex.org/W2128967738","https://openalex.org/W2136177401","https://openalex.org/W2151338677","https://openalex.org/W2156062547","https://openalex.org/W2156063539","https://openalex.org/W2170167679","https://openalex.org/W2170769481“]，”related_works“：[”https://openalex.org/W4386614288","https://openalex.org/W4298153058","https://openalex.org/W3176904788","https://openalex.org/W2408080066","https://openalex.org/W21597398","https://openalex.org/W2115480761","https://openalex.org/W2102980637","https://openalex.org/W2091617677","https://openalex.org/W1635223198","https://openalex.org/W1558180718“]，”ngrams_url“：”https://api.openalex.org/works/W2040767332/ngrams网站“，”“abstract_inverted_index”：{“Modern”：[0]，“conflict-driven”：[1]，“clause-learning”：[2]，“（CDCL）”：[3]，“Boolean”：[4]，“SAT”：[5,38,60133242]，“solver”：[6,61138158]，“provide”：%7]，“efficient”：[8]，“automatic”：[9]，“analysis”：[10,29,49163251]，“of”：[11,16,30,73,77,98131168181189241252266722802 89]，“真实世界”：[12,31,79,89173282]，“特征“：[13]，”型号“：[14103108146174]，”（FM）“：[15]，”系统“：[17]，”范围“：[18]，”从“：[19,41]，”汽车“：[20]，”到“：[21,53117152178237258]，”操作“：[22]，”系统。“：[23]，”It“：[24]，”is“：[25,93254]，”known“：[26190]，”that“：[27,83,941437165193211249277]，”基于解算器“：[28]，”FMs“：[32,43,90253269283]，”scale“：[33159]，”very“：[34]，”well“：[35]，”even“：[36216]，”尽管“：[37]，”instances“：[39]，”获得“：[40]，”such“：[4218145]，”are“：[44,51,62,91104109194208213]，“大”，：[45]，“和”：[46,7014128230]，“the”：[47,95,99107121153166206225239264278]，“corresponding”：[48]，“problems”：[50]，“known”：[52]，“be”：[54176285]，“NP-complete”：[55]，“To”：[56]，“better”：[57]，“understand”：[58]，“why”：[59,87157]，“so”：【63160209】，“effectived”：【64】，“we”：65135184]，“systemally”：【66】，“studed”：【67】]，“许多”：[68149]，“句法”：[69]，“语义”：[71]，“特征”：[72]，“a”：[74,84187]，“代表”：[75]，“集合”：[76]，“大”：[78,88]，“FMs.”：[80199]，“我们”：[81223]，“发现”：[82]，“关键”：[85]，“原因”：[86]，“易于分析”：[92]，“广泛”：[96]，“多数”：[97]，“变量”：[100119170]，“in”：[10117197270287]，“这些”：[102172]，“无限制”，：[105]，“即，”：[106]，“可满足”：[110]，“for”：[11144]，“both”：[112]，“true”：[113]，“false”：[115]，“assignments”：[116143]，“under”：[120]，“current”：[122]，“partial”：[123]，“赋值。”：[124]，“给定”：[125]，“this”：%126]，“发现”：[127]，“our”：%129221228247259]，“理解”：[130]，“CDCL”：+132]，“解算器”：[134]，“show”：[136]，“can”：[139175]，“容易”：[140214]，“找到”：[141]，“满意”：[142]，“无”：[147]，“太”：[148]，“回溯”：[150]，“相对”：[151]，“模型”：[154]，“大小”：[155]，“解释”：[156]，“好”：[161]，“进一步”：[162]，“显示”：[164]，“存在”：[167]，“不受限制”：[169]，“属性”：[177]，“他们的”：[179]，“高度数”：[180]，“可变性。”：[182]，“此外，”：[183]，“试验”：[185]，“with”：[186217]，“series”：[188]，“非回溯”：[191]，“简化”：[192]，“特别”：[195]，“有效”：[196]，“求解”：[198]，“The”：[200]，“remaining”：[201]，“变量/子句”：[202]，“after”：[203]，“simplifications”：[204]，“called”：[205]，“core”：[207]，“less”：[210]，“them”：[212]，“solved”：[215]，“回溯，”：[218]，“进一步”：[219]，“加强”：[220]，“结论”：[222]，“解释”：[224238]，“联系”：[226245]，“介于”：[227]，“发现”：[229]，“后门”，：[231]，“一个”：[232]，“想法”：[233]，“假设”：[234]，“由”：[235]，“理论家”：[236]，“权力”：[240]，“解决者”：[243]，“这”：[244]，“强化”：[246]，“假说”：[248]，“基于SAT的”：[250]，容易。“：[255]，“In”：[256]，“contrast”：[257]，“findings”，“：[260]，“previous”：[261]，“研究”：[262]，“表征”：[263]，“难度”：[265279]，“分析”：[267281]，“随机生成”：[268]，“术语”：[271288]，“树宽”：[273290]，“我们的”：[274]，“实验”：[275]，“建议”：[276]，“不能”：[284]，“解释”：[286]}，“cited_by_api_url”：“https://api.openalex.org/works？filter=cites:W2040767332“，”counts_by_year“：[{”年“：2024，”cited_by_count“：2}，{”年份“：2023，”ciped_by_cunt“：4}，”{“年份”：2022，“cited_by_count”：8}，“{”年度“：2021，”cited_by_count“年份”：2017，“引用_by_count”：2}，{“年度”：2016，“引用_ by_counts”：5}]，“更新日期”：“2024-06-21T01:49:52.815494“，”创建日期“：”2016-06-24“}