{“id”：“https://openalex.org/W2287661067“，”doi“：”https://doi.org/10.1007/978-3-319-24318-4_21“，”title“：”SAT-Based Formula Simplifiation“，”display_name“：”DAT-Based公式简化“，”publication_year“：2015，”publiation_date“：”2015-01-01“，”ids“：{”openalex“：”https://openalex.org/W2287661067“，”doi“：”https://doi.org/10.1007/978-3-319-24318-4_21“，”mag“：”2287661067“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/978-3-319-24318-4_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/P4310319965","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/A5051305025“，”display_name“：”Alexey Ignatiev“，”orcid“：”https://orcid.org/0000-0002-4535-2902}，“机构”：[{“id”：https://openalex.org/I121345201“，”display_name“：”工程研究所e Computeadores Investiga\u00e7\u00e 3o e Desenvolvimento“，”ror“：”https://ror.org/04mqy3p58“，”“country_code”“：”PT“，”type“：”非营利性“，”世系“：[”https://openalex.org/I121345201","https://openalex.org/I4210125590“]}，{”id“：”https://openalex.org/I141596103“，”display_name“：”里斯本大学“，”ror“：”https://ror.org/01c27hj86“，”country_code“：”PT“，”type“：“教育”，”世系“：[”https://openalex.org/I141596103“]}]，”国家“：[”PT“]，”is_corresponding“：false，”raw_author_name“：”Alexey Ignatiev“，”raw _affiliation_strings“：[“INESC-ID，IST，葡萄牙里斯本里斯本大学”]，”affiliations“：[{”raw _affiliation_string“：”INESC-ID，ISThttps://openalex.org/I121345201","https://openalex.org/I141596103“]｝]｝，｛”author_position“：”middle“，”author“：｛”id“：”https://openalex.org/A5068784737“，”display_name“：”Alessandro Previti“，”orcid“：”https://orcid.org/0000-0003-4209-2946}，“机构”：[{“id”：https://openalex.org/I100930933“，”display_name“：”都柏林大学学院“，”ror“：”https://ror.org/05m7pjf47“，”country_code“：”IE“，”type“：“教育”，”世系“：[”https://openalex.org/I100930933“]}]，”国家“：[”IE“]，”is_corresponding“：false，”raw_author_name“：”Alessandro Previti“，”raw _ afiliation_strings“：[“CASL，爱尔兰都柏林大学学院”]，”affiliations“：[{”raw _affiliation_strong“：”CASL，都柏林大学院，爱尔兰都林”，“institution_ids”：[“https://openalex.org/I100930933“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5002246957“，”display_name“：”Jo\u00e3o Marques\u2010Silva“，”orcid“：”https://orcid.org/0000-0002-6632-3086}，“机构”：[{“id”：https://openalex.org/I100930933“，”display_name“：”都柏林大学学院“，”ror“：”https://ror.org/05m7pjf47“，”country_code“：”IE“，”type“：“教育”，”世系“：[”https://openalex.org/I100930933“]}]，”国家“：[”IE“]，”is_corresponding“：false，”raw_author_name“：”Joao Marques-Silva“，”raw _affiliation_strings“：[“CASL，爱尔兰都柏林大学学院”]，”affiliations“：[{”raw _affiliation_string“：”CASL，都柏林大学院，爱尔兰都林”，“institution_ids”：[“https://openalex.org/I100930933“]}]}]，”countries_distinct_count“：2，”institutions_distinact_counts“：3，”corresponding_author_ids“：[]，”corresponding_institution_ids”：[]、“apc_list”：{“value”：5000，“currency”：“EUR”，“value_usd”：5392，“provenance”：“doaj”}，“apc_payed”：null，“fwci”：1.981，“has_fulltext”：true，“fulltext_origin”：“ngrams”，“cited”_by_count“：8，”引用的_by_percentile_year“：{”最小值“：86，”max“：87}，”biblio“：{”volume“：null，”issue“：nul，”first_page“：”287“，”last_page“：”298“}，“is_retracted”：false，“is_paratext”：false，“primary_topic”：{“id”：“https://openalex.org/T10126“，”“display_name”：“程序分析和验证技术”，“score”：0.9968，“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/T10126“，”“display_name”：“程序分析和验证技术”，“score”：0.9968，“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.9967，“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/T10181“，”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/keywords/abstract-interplation网站“，”display_name“：”抽象解释“，”score“：0.430344｝]，”concepts“：[｛”id“：”https://openalex.org/C102487863，“wikidata”：https://www.wikidata.org/wiki/Q1291626“，”display_name“：”Implicant“，”level“：4，”score“：0.8390752}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.6114325}，{”id“：”https://openalex.org/C74640108，“wikidata”：https://www.wikidata.org/wiki/Q1372900“，”display_name“：”命题公式“，”level“：5，”score“：0.5462754}，{”id“：”https://openalex.org/C147764199，“wikidata”：https://www.wikidata.org/wiki/Q6865248“，”display_name“：”缩小“，”级别“：2，”分数“：0.49394947}，{”id“：”https://openalex.org/C69562738，“wikidata”：https://www.wikidata.org/wiki/Q200694“，”display_name“：”命题演算“，”level“：2，”score“：0.48878786}，{”id“：”https://openalex.org/C177264268，“wikidata”：https://www.wikidata.org/wiki/Q1514741“，”display_name“：”Set（abstract data type）“，”level“：2，”score“：0.48656288}，{”id“：”https://openalex.org/C14523651，“wikidata”：https://www.wikidata.org/wiki/Q3492863“，”display_name“：”命题变量“，”level“：4，”score“：0.44662577}，{”id“：”https://openalex.org/C11413529，“wikidata”：https://www.wikidata.org/wiki/Q8366“，”display_name“：”Algorithm“，”level“：1，”score“：0.41710943}，{”id“：”https://openalex.org/C127705205，“wikidata”：https://www.wikidata.org/wiki/Q5748245“，”display_name“：”启发式“，”level“：2，”score“：0.4144741}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.3517937}，{”id“：”https://openalex.org/C136119220，“wikidata”：https://www.wikidata.org/wiki/Q1000660“，”display_name“：”字段上的代数“，”level“：2，”score“：0.33467883｝，｛”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.29170212}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.15519994}，{”id“：”https://openalex.org/C187455244，“wikidata”：https://www.wikidata.org/wiki/Q942353“，”display_name“：”布尔函数“，”level“：2，”score“：0.14089644}，{”id“：”https://openalex.org/C33203268，“wikidata”：https://www.wikidata.org/wiki/Q5361594“，”display_name“：”中间逻辑“，”level“：3，”score“：0.08258134}，{”id“：”https://openalex.org/C202444582，“wikidata”：https://www.wikidata.org/wiki/Q837863“，”display_name“：”纯数学“，”level“：1，”score“：0.082570165}，{”id“：”https://openalex.org/C158465420，“wikidata”：https://www.wikidata.org/wiki/Q1979515“，”display_name“：”布尔表达式“，”level“：3，”score“：0.0651516}，{”id“：”https://openalex.org/C102993220，“wikidata”：https://www.wikidata.org/wiki/Q387196“，”display_name“：”描述逻辑“，”level“：2，”score“：0.0}，{”id“：”https://openalex.org/C111919701，“wikidata”：https://www.wikidata.org/wiki/Q9135“，”display_name“：”操作系统“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：1.”locations“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/978-3-319-24318-4_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“：”施普林格科学+商业媒体“，”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”：43，“referenced_works“：[”https://openalex.org/W134459671","https://openalex.org/W149544036","https://openalex.org/W1510595267","https://openalex.org/W1511069520","https://openalex.org/W1518705996","https://openalex.org/W1528837436","https://openalex.org/W1533196865","https://openalex.org/W1726810408","https://openalex.org/W1843148560","https://openalex.org/W1853511111","https://openalex.org/W1879512746","https://openalex.org/W1898652832","https://openalex.org/W1929005002","https://openalex.org/W1966998067","https://openalex.org/W1987526935","https://openalex.org/W1993937043","https://openalex.org/W1997941343","https://openalex.org/W2003858108","https://openalex.org/W2018094844","https://openalex.org/W2020169768","https://openalex.org/W2029958553","https://openalex.org/W2032714926","https://openalex.org/W2032890961","https://openalex.org/W2037673977","https://openalex.org/W2039008991","https://openalex.org/W2043128754","https://openalex.org/W2058793155","https://openalex.org/W2060197573","https://openalex.org/W2082448265","https://openalex.org/W2087418187","https://openalex.org/W2098244894","https://openalex.org/W2105761964","https://openalex.org/W2108309071","https://openalex.org/W2110936022","https://openalex.org/W2114381689","https://openalex.org/W2128734758","https://openalex.org/W2147270764","https://openalex.org/W2156557985","https://openalex.org/W2221194109","https://openalex.org/W2329329248","https://openalex.org/W2335478831","https://openalex.org/W4238724643","https://openalex.org/W97645955“]，”related_works“：[”https://openalex.org/W949976107","https://openalex.org/W80801749","https://openalex.org/W4298267346","https://openalex.org/W3099382357","https://openalex.org/W3049436368","https://openalex.org/W2990043628","https://openalex.org/W2951901777","https://openalex.org/W2788816388","https://openalex.org/W2045432969","https://openalex.org/W1987118140“]，”ngrams_url“：”https://api.openalex.org/works/W2287661067/ngrams“，”“abstract_inverted_index”：{“The”：[0104]，“problem”：[1,71106122133]，“of”：[2,12,20,28,38,42,55,72,78120150]，“positional”：[3,81]，“formula”：[4,88101141]，“minimumination”：[5,48]，“can”：[6112]，“be”：[7114]，“traced”：[8]，“to”：[9,16,50,61,86147]，“The”：[10,17,45,62,68,91100109121151]，“中期”：[11]，“最后”：[14]，“世纪”：[15]，“开创性”：[18,33]，“work”：[19,29]，“Quine”：[21]，“and”：[22]，“McCluskey”，“：[23]，“with”：[24]，“a”：[25,36,43,52,74,79,94117137144]，“large”：[26]，“body”：[27]，“surrencing”：[30]，“from”：[31]，“this”：[32125]，“work.”：[34]，“Given”：[35]，“set”：[37,54]，“implicants”：[3]9,57]，“（or”：[40,58]，“indires）”：[41,59]，“formula”，：[44,82]，“goal”：[46]，“for”：[47,99140]，“is”：[49143]，“find”：[51]，“最小”：[53,75]，“素数”：[56,76]，“等价”：[60]，“原始”：[63105]，“公式”：[64]，“此”：[65]，“论文”：[66,92]，“考虑”：[67]，“更多”：[69]，“一般”：[70]，“计算”：[73]，“表示”：[77]，“非子句”：[80]，“其中”：[83]，“我们”：[84]，“引用”：[85]，“作为”：[87116]，“简化”“：[89]，“此外”：[90]，“提议”：[93]，“新颖”：[95]，“完全”：[96]，“基于SAT的”：[97]，“方法”：[98139]，“简化”：[102142]，“问题”：[103]，“已解决”：[107123]，“由”：[108]，“Quine McCluskey”：[111052]，“程序”：[111]，“因此”：[113]，“已查看”：[115]，“特殊”：[118]，“案例”：[119]，“在”：[124]，“论文”：[126]，“实验”：[127]，“结果”：[128]，“已获得”：[129]，“关于”：[130]，“众所周知”：[131]，“代表”：[132]，“实例”：[134]，“演示”：[135]，“that”：[136]，“基于SAT”：[138]，“可行”：[145]，“替代”：[146]，“现有”：[148]，“实现”：[149]，“过程”：[153]}，“引用_by_api_url”：“https://api.openalex.org/works？filter=cites:W2287661067“，”“counts_by_year”：[{“年份”：2021，”“cited_by_count”：1}，{“年度”：2019，”“cited_by_cunt”：2}，}“年”：2018，”“cited_by-count”“：3}，”“年”“：2017，”cited_by_count“：1}，{”“年份”“：2016，”cited_by_count：1}]，”“updated_date”：“2024-06-23T15:37:14.786493”，”“创建日期”：“2016-06-24”}