{“id”：“https://openalex.org/W4200456662“，”doi“：”https://doi.org/10.1007/978-3-030-93100-1_21“，”title“：”Horn约束系统中一次读取反驳的精确和参数化算法“，”display_name“：”Horn约束系统中一次读取反驳的精确和参数化算法“，”publication_year“：2021，”publication_date“：”2021-12-16“，”ids“：｛”openalex“：”https://openalex.org/W4200456662“，”doi“：”https://doi.org/10.1007/978-3-030-93100-1_21“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/978-3-030-93100-1_21“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S106296714“，”“display_name”“：”“计算机科学课堂讲稿”“，”issn_l“：”0302-9743“，”isn“：[”0302-7743“、”1611-3349“]，”is_oa“：false，”is_in_doaj“：false，”host_organization“：”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”：“book-series”}，“license”：null，“licence_id”：nul，“version”：null，“is_accepted”：false，“is_published”：false}，”type“：”book-chapter“，”type_crossref“：“book-chapter”，”indexed_in“：[“crossref”]，”open_access“：{”is_oa“：false”“，”oa_url“：空，”any_repository_has_fulltext“：false}，”作者身份“：[{”作者位置“：”第一个“，”作者“：{”id“：”https://openalex.org/A5050337397“，”display_name“：”K.Subramani“，”orcid“：”https://orcid.org/0000-0001-5821-5117}，“机构”：[{“id”：https://openalex.org/I12097938“，”display_name“：”西弗吉尼亚大学“，”ror“：”https://ror.org/011vxgd24“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I12097938“]}]，”国家“：[”美国“]，”is_corresponding“：false，”raw_author_name“：”K.Subramani“，”raw _ afiliation_strings“：[“LDCSEE，西弗吉尼亚大学，摩根敦，WV，USA”]}，{“author_position”：“last”，“author”：{“id”：“https://openalex.org/A5072083212“，”display_name“：”Piotr Wojciechowski“，”orcid“：”https://orcid.org/0000-0002-9607-3532}，“机构”：[{“id”：https://openalex.org/I12097938“，”display_name“：”西弗吉尼亚大学“，”ror“：”https://ror.org/011vxgd24“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I12097938“]}]，”国家“：[”美国“]，”is_corresponding“：false，”raw_author_name“：”Piotr Wojciechowski“，”raw _ afiliation_strings“：[“LDCSEE，西弗吉尼亚大学，摩根敦，WV，美国”]}]“countries _ distinct_count”：1，”institutions _ disting_count“：1，“corresponding_author_ids”：[]，”correspounding_institution_ids“：[]，”apc_list“：{”value“：5000，”货币“：”欧元“，”value_usd“：5392，”provenance“：”doaj“}，”apc_payed“：{”value“：5000，”currency“：”EUR“，”value_usd:5392，“provenance”：“doaj”}，“has_fulltext”：false，“cited_by_count”：1，“cited_by_percentile_year”：{“min”：63，“max”：72}，《图书》：{卷：null，“issue”：null、“first_page”：“327”，“last_page”：“345”“}”，“is_retracted”：false，“is_paratext”：fase，“primary_topic”：{“id”：“https://openalex.org/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9974，“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/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9974，“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/T10126“，”“display_name”：“程序分析和验证技术”，“score”：0.9932，“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/T11596“，”“display_name”：“分布式约束优化问题和算法”，“score”：0.9899，“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网站“，”display_name“：”约束优化“，”score“：0.578278}，{”id“：”https://openalex.org/keywords/soft-constraints网站“，”display_name“：”软约束“，”score“：0.536993}，{”id“：”https://openalex.org/keywords/model-checking“，”display_name“：”模型检查“，”score“：0.533913}，{”id“：”https://openalex.org/keywords/runtime验证“，”display_name“：”Runtime Verification“，”score“：0.523483}，{”id“：”https://openalex.org/keywords/algorithm-selection网站“，”display_name“：”算法选择“，”score“：0.51906}]，”concepts“：[{”id“：”https://openalex.org/C165464430，“wikidata”：https://www.wikidata.org/wiki/Q1570441“，”display_name“：”参数化复杂性“，”level“：2，”score“：0.8602812}，{”id“：”https://openalex.org/C2776036281，“wikidata”：https://www.wikidata.org/wiki/Q48769818“，”display_name“：”Constraint（计算机辅助设计）“，”level“：2，”score“：0.6927315｝，｛”id“：”https://openalex.org/C11413529，“wikidata”：https://www.wikidata.org/wiki/Q8366“，”display_name“：”Algorithm“，”level“：1，”score“：0.5139889}，{”id“：”https://openalex.org/C152076505，“wikidata”：https://www.wikidata.org/wiki/Q1126540“，”display_name“：”French horn“，”level“：2，”score“：0.4715424}，{”id“：”https://openalex.org/C2777212361，“wikidata”：https://www.wikidata.org/wiki/Q5127848“，”display_name“：”类（哲学）“，”级别“：2，”分数“：0.46934092}，{”id“：”https://openalex.org/C177264268，“wikidata”：https://www.wikidata.org/wiki/Q1514741“，”display_name“：”Set（abstract data type）“，”level“：2，”score“：0.44445223}，{”id“：”https://openalex.org/C71017364，“wikidata”：https://www.wikidata.org/wiki/Q5421532“，”display_name“：”指数时间假设“，”level“：3，”score“：0.43371022}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.42312932}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198（网址：https://www.wikidata.org/wiki/Q21198）“，”display_name“：”计算机科学“，”level“：0，”score“：0.41764766｝，｛”id“：”https://openalex.org/C96865113，“wikidata”：https://www.wikidata.org/wiki/Q2946816“，”display_name“：”Certificate“，”level“：2，”score“：0.41499168}，{”id“：”https://openalex.org/C118615104，“wikidata”：https://www.wikidata.org/wiki/Q121416“，”display_name“：”离散数学“，”level“：1，”score“：0.41441023}，{”id“：”https://openalex.org/C154945302，“wikidata”：https://www.wikidata.org/wiki/Q11660“，”display_name“：”人工智能“，”level“：1，”score“：0.1191898｝，｛”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.073198736}，{”id“：”https://openalex.org/C15744967，“wikidata”：https://www.wikidata.org/wiki/Q9418“，”display_name“：”心理学“，”等级“：0，”分数“：0.0}，{”id“：”https://openalex.org/C19417346，“wikidata”：https://www.wikidata.org/wiki/Q7922“，”display_name“：”教育学“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C2524010，“wikidata”：https://www.wikidata.org/wiki/Q8087“，”display_name“：”Geometry“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：1.”locations“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/978-3-030-93100-1_21“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S106296714“，”“display_name”“：”“计算机科学课堂讲稿”“，”issn_l“：”0302-9743“，”isn“：[”0302-7743“、”1611-3349“]，”is_oa“：false，”is_in_doaj“：false，”host_organization“：”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”：“book series”}，“license”：null，“licence_id”：null，“version”：null，“is_accepted”：false，“is_published”：false}]，“best_oa_location”：nul，“sustainable_development_goals”：[]，“grants”：[]，“dataset”：[]]，“versions”：[】，“referenced_works_count”：16，“referenced_works“：[”https://openalex.org/W1972648192","https://openalex.org/W1986602165","https://openalex.org/W2011039300","https://openalex.org/W2019254635","https://openalex.org/W2039657946","https://openalex.org/W2048926244","https://openalex.org/W2069767473","https://openalex.org/W2120065196","https://openalex.org/W2127489452","https://openalex.org/W2293809538","https://openalex.org/W2909144890","https://openalex.org/W2919232531","https://openalex.org/W2935683702网址","https://openalex.org/W2963437732","https://openalex.org/W2969267394","https://openalex.org/W4250298599“]，”related_works“：[”https://openalex.org/W4384270378","https://openalex.org/W4221165109","https://openalex.org/W2914832887","https://openalex.org/W2803460775","https://openalex.org/W2585468647","https://openalex.org/W2364477340","https://openalex.org/W2295669206","https://openalex.org/W2177663427","https://openalex.org/W2173621488","https://openalex.org/W2113885662“]，”ngrams_url“：”https://api.openalex.org/works/W4200456662/ngrams网站“，”“abstract_inverted_index”：{“In”：[0,65132]，“this”：[1,66]，“paper”：[2,67]，“we”：[3,68]，“discuss”：[4]，“exact”：[P187]，“and”：[6,53186]，“parameterized”：[7184]，“algorithms”：[8,88105185]，“for”：[9,89]，“the”：[10,50,70,99139148174]，“problem”：[1115177]，“of”：[12,61,72101116127150155]，“查找”：[13]，“a”：[14,26,39,92114124133151161]，“读一次”：[15144162]，“反驳”：[16163]，“in”：[17，46，58，71417]，“an”：[18158]，“不满意”：[19]，“Horn”：[20，40，93]，“Constraint”：[21]，“System”：[22]，“（HCS）。“：[23]，”Recall“：[24]，”that“：[25]，”linear“：[27]，”constraint“：[28,41,94137]，”system“：[29,95]，”$\\mathbf{A“：[30]，”\\cdot“：[31]，”x“：[32]，”\ge“：[33]，”b}$$“：[34]，”is“：[35,63,96120]，”said“：[36]，”to“：[37,49169]，”be“：[38142170]，“系统”，“：[42]，“如果”：[43157]，“每个”：[44,59136]，“条目”：[45,57]，“$$\\mathbf{A}$$”：[47,62]，“所属”：[48]，“集合”：[51]，“$$\\{0,1，-1\\}$$“：[52]，”at“：[54144]，”most“：[55145]，”one“：[56]，”row“：[60]，”positive“。“：[64]，”检查“：[69]，”重要性“：[71]，”约束“：[73]，”其中“：[75]，”更多“：[76]，”变量“：[77]，”有“：[78,82]，”负“：[79]，”系数“：[80]，”比“：[81]，”正“：[83]，”系数值。“：[84]，”有“：[85]，”存在“：[86]，”几个“：[87]，”检查“：[90156]，”是否“：[91]，”可行。“：[97]，“To”：[98]，“best”：[100]，“our”：[102]，“knowledge”：[103]，“these”：[104]，“are”：/106]，“not”：[07112]，“certificating”：[108]，“即”：[109]，“there”：[110]，“do”：%11]，“provide”：+113]，“证书”：[115]，“不可行。“：[117]，“我们的”：[118]，“工作”：[119]，“关注”：[121]，“有”：[122]，“提供”：[123]，“专业”：[125]，“班级”：[126]，“证书”：[128]，“称为”：[129]，“\u201cread-one”：[130]，“反驳\u201d。“：[131]，”反驳“：[135]，”定义“：[138]，”HCS“：[140159175]，”可以“：[141]，”使用“：[143]，”一次“：[146]，”推导“：[149]，”驳斥。“：[152]，”The“：[153]，”has“：[160166]，”（HCS“：[164]，”ROR）“：[165]，”been“：[167]，”shown“：[168]，”NP-hard。“：[171]，“We”：[172]，“analyze”：[173]，“ROR”：[176]，“from”：[178]，“two”：[179]，“difference”：[180]，“algorithmic”：[181]，“perspectives”，“：[182]，“viz.”：[183]，“index”：[188]，“argorithms”。“：[189]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W4200456662“，”counts_by_year“：[{”年“：2021，”引用_by_count“：1}]，”更新日期“：”2024-05-16T06:33:48.385902“，”创建日期“：“2021-12-31”}