｛“id”：“https://openalex.org/W2149719182“，”doi“：”https://doi.org/10.1007/s10817-005-9006-x网址“，”title“：”可满足公式上DPLL算法运行时间的指数下限“，”display_name“：”可以满足公式上的DPLL算法的指数下限”，“publication_year”：2006，“publiation_date”：“2006-08-15”，“ids”：{“openalex”：“https://openalex.org/W2149719182“，”doi“：”https://doi.org/10.1007/s10817-005-9006-x网址“，”mag“：”2149719182“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/s10817-005-9006-x网址“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S99781599“，”display_name“：”自动推理杂志“，”issn_l“：”0168-7433“，”isn“：[”0168-8433“、”1573-0670“]，”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”：“journal”}，“license”：null，“licence_id”：nul，“version”：null，“is_accepted”：false，“is_published”：false}，”type“：”article“，”type_crossref“：“jornal-article”，“indexed_in”：[”crossref“]，url“：null，”any_repository_has_fulltext“：false}，”作者身份“：[{”作者位置“：”第一个“，”作者“：{”id“：”https://openalex.org/A5062653940“，”display_name“：”Michael Alekhnovich“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I40036882“，”display_name“：”高等研究院“，”ror“：”https://ror.org/00f809463“，”country_code“：”US“，”type“：“facility”，”lineage“：[”https://openalex.org/I40036882“]}]，”国家“：[”美国“]，”is_corresponding“：true，”raw_author_name“：”Michael Alekhnovich“，”raw _ afiliation_strings“：[“美国新泽西州普林斯顿高等研究院”]，”affiliations“：[{”raw_ afiliation _string“：”美国新泽西普林斯顿高等学院“，”institution_ids“：[https://openalex.org/I40036882“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5035077817“，”display_name“：”Edward Hirsch“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I2800906181“，”display_name“：”Steklov数学研究所圣彼得堡系“，”ror“：”https://ror.org/030h9s280“，”“country_code”“：”RU“，”type“：”facility“，”lineage“：[”https://openalex.org/I1313323035","https://openalex.org/I2800906181","https://openalex.org/I4210124601“]}]，”国家“：[”RU“]，”is_corresponding“：false，”raw_author_name“：”Edward A.Hirsch“，”raw _affiliation_strings“：[“俄罗斯圣彼得堡数学研究所Steklov圣彼得堡系”，191011年]，”affiliations“：[{”raw _affiliation_string“：”圣彼得堡Steklof数学研究所。彼得堡，191011，俄罗斯“，”institution_ids“：[”https://openalex.org/I2800906181“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5015046471“，”display_name“：”Dmitry Itsykson“，”orcid“：”https://orcid.org/0000-0003-2680-4800}，“机构”：[{“id”：https://openalex.org/I172901346“，”display_name“：”圣彼得堡大学“，”ror“：”https://ror.org/023znxa73“，”country_code“：”RU“，”type“：“教育”，”世系“：[”https://openalex.org/I172901346“]}]，”国家“：[”RU“]，”is_corresponding“：false，”raw_author_name“：”Dmitry Itsykson“，”raw _affiliation_strings“：[“俄罗斯圣彼得堡圣彼得堡州立大学数学与力学学院”]，”affiliations“：[{”raw _affiliation_string“：”俄罗斯圣彼得伯格州立大学数学和力学学院”，“机构ID“：[”https://openalex.org/I172901346“]}]}]，”countries_disticont_count“：2，”institutions_disticent_count”：3，”corresponding_author_ids“：[”https://openalex.org/A506653940“]，”对应机构_ids“：[”https://openalex.org/I40036882“]，”apc_list“：{”value“：2290，”currency“：”EUR“，”value_usd“：2890，”provenance“：”doaj“}，”apc _payed“：null，”fwci“：3.766，”has_fulltext“：true，”fulltext_origin“：”ngrams“，”cited_by_count“：76，”cited_by_percentile_year“：”{“min”：96，”max“：97}，“biblio”：{“volume”：“35”，“issue”：“1-3”，“first_p”年龄“：”51“，”last_page“：”72“}，”is_retracted“：false，”is_paratext“：false，”主主题“：{”id“：”https://openalex.org/T11596“，”“display_name”：“分布式约束优化问题和算法”，“score”：0.9991，“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.9991，“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.9967，”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/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9921，“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/keywords/constraint-logic-programming网站“，”display_name“：”约束逻辑编程“，”score“：0.56404}，{”id“：”https://openalex.org/keywords/constraint-optimization网站“，”display_name“：”约束优化“，”score“：0.543828}，{”id“：”https://openalex.org/keywords/satisfiability模块理论“，”“display_name”：“可满足模理论”，“score”：0.534392}，{“id”：“https://openalex.org/keywords/description-logics网站“，”display_name“：”Description Logics“，”score“：0.523659}，{”id“：”https://openalex.org/keywords/distributed-algorithms网站“，”display_name“：”分布式算法“，”score“：0.521402｝]，”concepts“：[｛”id“：”https://openalex.org/C143936061，“wikidata”：https://www.wikidata.org/wiki/Q2030088“，”display_name“：”DPLL算法“，”level“：4，”score“：0.96651316}，{”id“：”https://openalex.org/C168773769，“wikidata”：https://www.wikidata.org/wiki/Q1350299“，”display_name“：”可满足性“，”级别“：2，”分数“：0.7111716}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.68005437}，{”id“：”https://openalex.org/C16221470，“wikidata”：https://www.wikidata.org/wiki/Q846564“，”display_name“：”连接范式“，”level“：2，”score“：0.6541451}，{”id“：”https://openalex.org/C168773036网址，“wikidata”：https://www.wikidata.org/wiki/Q264164“，”display_name“：”递归（计算机科学）“，”level“：2，”score“：0.65139145}，{”id“：”https://openalex.org/C200415742，“wikidata”：https://www.wikidata.org/wiki/Q1350285“，”display_name“：”True quantified Boolean formula“，”level“：2，”score“：0.56455266}，{”id“：”https://openalex.org/C138268822，“wikidata”：https://www.wikidata.org/wiki/Q1051925“，”display_name“：”Resolution（logic）“，”level“：2，”score“：0.54498136}，{”id“：”https://openalex.org/C11413529，“wikidata”：https://www.wikidata.org/wiki/Q8366“，”display_name“：”Algorithm“，”level“：1，”score“：0.52751166}，{”id“：”https://openalex.org/C6943359，“wikidata”：https://www.wikidata.org/wiki/Q875276“，”display_name“：”布尔可满足性问题“，”level“：2，”score“：0.5243792}，{”id“：”https://openalex.org/C77553402，“wikidata”：https://www.wikidata.org/wiki/Q13222579“，”display_name“：”上下限“，”level“：2，”score“：0.503643}，{”id“：”https://openalex.org/C127705205，“wikidata”：https://www.wikidata.org/wiki/Q5748245“，”display_name“：”启发式“，”level“：2，”score“：0.46618196}，{”id“：”https://openalex.org/C108710211，“wikidata”：https://www.wikidata.org/wiki/Q11538“，”display_name“：”数学证明“，”level“：2，”score“：0.45198217}，{”id“：”https://openalex.org/C118615104，“wikidata”：https://www.wikidata.org/wiki/Q121416“，”display_name“：”离散数学“，”level“：1，”score“：0.43531045}，{”id“：”https://openalex.org/C151376022，“wikidata”：https://www.wikidata.org/wiki/Q168698“，”display_name“：”指数函数“，”level“：2，”score“：0.4306222}，{”id“：”https://openalex.org/C114614502，“wikidata”：https://www.wikidata.org/wiki/Q76592“，”display_name“：”组合数学“，”level“：1，”score“：0.3832091}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.27388304｝，｛”id“：”https://openalex.org/C126255220，“wikidata”：https://www.wikidata.org/wiki/Q141495“，”display_name“：”数学优化“，”level“：1，”score“：0.11355892｝，｛”id“：”https://openalex.org/C76155785，“wikidata”：https://www.wikidata.org/wiki/Q418“，”display_name“：”Telecommunications“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C134306372，“wikidata”：https://www.wikidata.org/wiki/Q7754“，”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}，{”id“：”https://openalex.org/C12707504，“wikidata”：https://www.wikidata.org/wiki/Q52637“，”display_name“：”锁相环“，”level“：3，”score“：0.0}，{”id“：”https://openalex.org/C154945302，“wikidata”：https://www.wikidata.org/wiki/Q11660“，”display_name“：”人工智能“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C134652429，“wikidata”：https://www.wikidata.org/wiki/Q1052698“，”display_name“：”Jitter“，”level“：2，”score“：0.0}]，”mesh“：[]，”locations_count“：1，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/s10817-005-9006-x网址“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S99781599“，”display_name“：”自动推理杂志“，”issn_l“：”0168-7433“，”isn“：[”0168-8433“、”1573-0670“]，”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”：“journal”}，“license”：null，“licence_id”：null'，“version”：null，“is_accepted”：false，“is_published”：false}]，“best_oa_location”：nul，“sustainable_development_goals”：[]，“grants”：[]，“datasets”：[/]，“versions”：[]]，“referenced_works_count”：8，“referrenced_works”：[“https://openalex.org/W1500660230","https://openalex.org/W1518031539","https://openalex.org/W2057361103","https://openalex.org/W2062897452","https://openalex.org/W2084384424","https://openalex.org/W2101017768","https://openalex.org/W2131459042","https://openalex.org/W4246708745“]，”related_works“：[”https://openalex.org/W3136261533","https://openalex.org/W3128448798","https://openalex.org/W3107131366","https://openalex.org/W2480084299","https://openalex.org/W2394349251","https://openalex.org/W223511558","https://openalex.org/W2061097805","https://openalex.org/W2014111643","https://openalex.org/W1608133301","https://openalex.org/W1573666268“]，”ngrams_url“：”https://api.openalex.org/works/W2149719182/ngrams网站“，”abstract_inverted_index“：空，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W2149719182“，”“counts_by_year”：[{“年份”：2024，”“cited_by_count”：1}，{“年”：2021，”“cited_by_cunt”：1'，{”“年”“：2020，”“cited_by_count”“：2}，”“年份”“：2019，”“gited_by-count”“:27}，“年份”:2017，”“：2014，”cited_by_count“：7}，{“年份”：2013，”cited_by_count]，“updated_date”：“2024-06-21T13:01:23.825691”，“创建日期”：“2016-06-24”}