｛“id”：“https://openalex.org/W2171456022“，”doi“：”https://doi.org/10.1016/j.tcs.2005.10.005“，”title“：”On finding short resolution depulations and small unsatisfailable subset“，”display_name“：”On finding short resolation depulation and small不可满足子集“，”publication_year“：2006，”publitation_date“：”2006-02-01“，”ids“：{”openalex“：”https://openalex.org/W2171456022“，”doi“：”https://doi.org/10.1016/j.tcs.2005.10.005“，”mag“：”2171456022“}，”language“：”en“，”primary_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1016/j.tcs.2005.10.005“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S90727058“，”display_name“：”理论计算机科学“，”issn_l“：”0304-3975“，”isn“：[”0304-975“，”1879-2294“]，”is_oa“：false，”is_in_doaj“：false，”host_organization“：”https://openalex.org/P4310320990“，”“host_organization_name”：“Elsevier BV”，“host_organization_lineage”：[“https://openalex.org/P4310320990“]，”host_organization_lineage_names“：[”Elsevier BV“]，“type”：“journal”}，“license”：“publisher-specific-oa”，“licence_id”：“https://openalex.org/licenses/publisher-specific-oa“，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}，”type“：”article“，”type_crossref“：“journal-article”，”indexed_in“：[”crossref“]，”open_access“：{”is_oa“：true，”oa_status“：”青铜“，”oa_url“：”https://doi.org/10.1016/j.tcs.2005.10.005“，”any_repository_has_fulltext“：false}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5054676766“，”display_name“：”Michael R.Fellows“，”orcid“：”https://orcid.org/0000-0002-6148-9212“}，”机构“：[]，”国家“：[[]，”is_corresponding“：false，”raw_author_name“：”Michael R.Fellows“，”raw_affiliation_strings“：[]，“affiliations”：[]}，{“author_position”：“middle”，“author”：{“id”：“https://openalex.org/A5037092803“，”display_name“：”Stefan Szeider“，”orcid“：”https://orcid.org/0000-0001-8994-1656“}，”机构“：[]，”国家“：[[]，”is_corresponding“：false，”raw_author_name“：”Stefan Szeider“，”raw_affiliation_strings“：[]，“从属关系”：[]}，{“author_position”：“last”，“author”：{“id”：“https://openalex.org/A5085707845“，”display_name“：”Graham Wrightson“，”orcid“：null}，”institutions“：[]，”countries“：[]，”is_corresponding“：false，”raw_author_name“:”Graham-Wrightson'，”raw _affiliation_strings“：]，”affiliations“：[/]}]，”countries_distiction_count“：0，”instistictions_distect_count{“值”：2690，“货币“：”USD“，”value_USD“：2690，”出处“：”doaj“}，”apc_payed“：null，”has_fulltext“：true，”fulltext_origin“：”ngrams“，”cited_by_count“：15，”cited_by_percentile_year“：{”min“：86，”max“：87}，“biblio”：{“volume”：“351”，“issue”：“3”，“first_page”：“3501”，”“last_page”：”359“}”，“is_retracted“：false，”is_paratext“：fase，”primary_topic“：{”id“：”https://openalex.org/T10374“，”display_name“：”图论与算法“，”score“：0.9976，”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/T10374“，”display_name“：”图论与算法“，”score“：0.9976，”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/T11567“，”display_name“：”自动机理论和形式语言“，”score“：0.9938，”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/T11596“，”“display_name”：“分布式约束优化问题和算法”，“score”：0.989，“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-satisfaction-problems“，”display_name“：”约束满足问题“，”score“：0.610964}，{”id“：”https://openalex.org/keywords/parameterized-complexity网站“，”display_name“：”参数化复杂性“，”score“：0.539886}，{”id“：”https://openalex.org/keywords/random-satifiability网站“，”display_name“：”随机可满足性“，”score“：0.506485}，{”id“：”https://openalex.org/keywords/temoral-reasoning网站“，”display_name“：”时序推理“，”score“：0.505097}]，”concepts“：[{”id“：”https://openalex.org/C138268822，“wikidata”：https://www.wikidata.org/wiki/Q1051925“，”display_name“：”分辨率（逻辑）“，”级别“：2，”分数“：0.6827303}，{”id“：”https://openalex.org/C114614502，“wikidata”：https://www.wikidata.org/wiki/Q76592“，”display_name“：”组合数学“，”level“：1，”score“：0.5100118}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.4875035}，{”id“：”https://openalex.org/C118615104，“wikidata”：https://www.wikidata.org/wiki/Q121416“，”display_name“：”离散数学“，”level“：1，”score“：0.3621614}，{”id“：”https://openalex.org/C11413529，“wikidata”：https://www.wikidata.org/wiki/Q8366“，”display_name“：”Algorithm“，”level“：1，”score“：0.328766}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.32630146}，{”id“：”https://openalex.org/C154945302，“wikidata”：https://www.wikidata.org/wiki/Q11660“，”display_name“：”人工智能“，”level“：1，”score“：0.2255845}]，”mesh“：[]，”locations_count“：1.”locations“：[{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1016/j.tcs.2005.10.005“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S90727058“，”display_name“：”理论计算机科学“，”issn_l“：”0304-3975“，”isn“：[”0304-975“，”1879-2294“]，”is_oa“：false，”is_in_doaj“：false，”host_organization“：”https://openalex.org/P4310320990“，”“host_organization_name”：“Elsevier BV”，“host_organization_lineage”：[“https://openalex.org/P4310320990“]，”host_organization_lineage_names“：[”Elsevier BV“]，“type”：“journal”}，“license”：“publisher-specific-oa”，“licence_id”：“https://openalex.org/licenses/publisher-specific-oa“，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}]，”best_oa_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1016/j.tcs.2005.10.005“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S90727058“，”display_name“：”理论计算机科学“，”issn_l“：”0304-3975“，”isn“：[”0304-975“，”1879-2294“]，”is_oa“：false，”is_in_doaj“：false，”host_organization“：”https://openalex.org/P4310320990“，”“host_organization_name”：“Elsevier BV”，“host_organization_lineage”：[“https://openalex.org/P4310320990“]，”host_organization_lineage_names“：[”Elsevier BV“]，“type”：“journal”}，“license”：“publisher-specific-oa”，“licence_id”：“https://openalex.org/licenses/publisher-specific-oa“，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true｝，”可持续发展目标“：[｛”display_name“：”和平、正义和强大的制度“，”score“：0.47，”id“：”https://metadata.un.org/sdg/16“}]，”grants“：[]，”datasets“：[]，”versions“：[】，”referenced_works_count“：18，”referrenced_works“：【”https://openalex.org/W1509716515","https://openalex.org/W1520950860","https://openalex.org/W1566708570","https://openalex.org/W1567308215","https://openalex.org/W1993920925","https://openalex.org/W2003979824","https://openalex.org/W2006906201","https://openalex.org/W2015211698","https://openalex.org/W2048685245","https://openalex.org/W2066577300","https://openalex.org/W2069767473","https://openalex.org/W2085486788","https://openalex.org/W2087083200","https://openalex.org/W2109716789","https://openalex.org/W2798367342网址","https://openalex.org/W4245630182","https://openalex.org/W4246262408","https://openalex.org/W4292230561“]，”related_works“：[”https://openalex.org/W4245490552","https://openalex.org/W4225152035","https://openalex.org/W3002753104","https://openalex.org/W2911598644","https://openalex.org/W2142036596","https://openalex.org/W2077600819","https://openalex.org/W2061531152","https://openalex.org/W2007980826","https://openalex.org/W1979597421","https://openalex.org/W1587224694网址“]，”ngrams_url“：”https://api.openalex.org/works/W2171456022/ngrams网站“，”“abstract_inverted_index”：{“We”：[0,36]，“consider”：[1]，“the”：[2,44,51,55106114]，“parameterized”：[3]，“problems”：[4,40108115]，“of”：[5,10,24,30,54,57,75,88,98100102]，“ify”：[6,20]，“a”：[7,21,86]，“given”：[8,22]，“set”：[9,23]，“子句”：[11,25101]，“can”：[12]，“be”：[13]，“被驳斥”：[14]，“内部”：[15]，“k”：[16,34]，“分辨率”：[17,76]，“步骤”：[18]和“：[19,82,90]，”包含“：[26]，”一个“：[27]，”不可满足“：[28]，”子集“：[29]，”大小“：[31]，”在“：[32]，”最多“：[33]，”。“：[35]，”show“：[37,93]，”that“：[38]，”both“：[39]，”ares“：[41109116]，”complete“：[42]，”for“：[43119]，”class“：[45]，”W“：[46]，”[“：[47]，”1“：[48]，”]“：[49]，”，“：[50]，”first“：[52]，”level“：[53]，”W-hierarchy“：[56]，”fixed-parameter“：[58110117]，”顽固“：[59]，“问题。“：[60]，“我们的”：[61]，“结果”：[62]，“保持”：[63]，“真”：[64]，“如果”：[65]，“限制”：[66,73,95]，“到”：[67,71,96]，“3-SAT”：[68]，“实例”：[69]，“和/或”：[70]，“各种”：[72]，“版本”：[74]，“包括”：[77]，“树状”：[78]，“分辨率”：[79,81]，“输入”：[80]，“read-once”：[83]，“resolution。“：[84]，”应用“：[85]，”元定理“：[87]，”弗里克“：[89]，”格罗赫“：[91]，”我们“：[92]，”那“：[94]，”类“：[97]，”集合“：[99]，”局部“：[103]，”有界“：[104]，”树宽“：[105]，”考虑“：[107]，”可处理。“：[111]，”对于“：[112]，”示例，“：[113]，”可处理“：[118]，”平面“：[120]，”CNF“：[121]，”公式。“：[122]｝，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W2171456022“，”“counts_by_year”：[{“年份”：2023，”“cited_by_count”：2}，{“年度”：2022，”“cited_by_cunt”：1}，}“年份“：2021，”年份“：2012，”引用_ by_count“：1}]，”更新日期“：”2024-06-17T21:45:43.999124“，”创建日期“：“2016-06-24"}