{“id”：“https://openalex.org/W1518211069“，”doi“：”https://doi.org/10.1007/3-540-44957-4_37“，”title“：”Towards a Efficient Tableau Method for Boolean Circuit Satisfility Checking“，”display_name“：”Towards a高效Tableau Method for Boolean Cirecuit Saitisfility Checking“”，“publication_year”：2000，“publiction_date”：“2000-01-01”，“ids”：{“openalex”：“https://openalex.org/W1518211069“，”doi“：”https://doi.org/10.1007/3-540-44957-4_37“，”mag“：”1518211069“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/3-540-44957-4_37“，”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、”is_core“：true、”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/A5037137004“，”display_name“：”Tommi Junttila“，”orcid“：null}，”institutions“：[]，”countries“：[]，”is_corresponding“：false，”raw_author_name“:”Tommy A.Junttila“，”raw _affiliation_string“：[”Helsinki University of Technology“]，”affiliations“：/[{”raw _affiliation_string“；”赫尔辛基理工大学“，”instation_ids“：[]}]author，”{“_position”：“last”，”author“：{”id“：”https://openalex.org/A5000911721“，”display_name“：”Ilkka Niemel\u00e4“，”orcid“：null}，”institutions“：[]，”countries“：[]，”is_corresponding“：false，”raw_author_name“:”Ilk ka Niemel \u00e 4“，“raw_affiliation_strings”：[“赫尔辛基理工大学”]，“affiliations”：[{“raw_affiliation_string”：“赫尔辛基理工大学“，”instistitution_ids“：[]}]，”institution_assertions“：[]，”countries_distiction_count“：0，”institutions_disticent_count”：0，“corresponding_author_ids”：[]，“correcponding_institution_ids“：[]”，“apc_list”：{“value”：5000，“currency”：“EUR”，“value_usd”：5392，“provenance”：“doaj”}，“apc _ pay”：null，“fwci”：1.605，“has_fulltext”：false，“cited_by_count）：36，“citation_normalized_percentile”：{“value“：0.951407，“is_in_top_1_percent“：false，”is_in_top_10_percennt“：true}，”cited_by_percentile_year“：{”min“：89，”max“：90}，“biblio”：{“volume”：null，”issue“：null”，“first_page”：“553”，“last_page”：“567”}，‘is_retracted’：false”，“is_paratext”：falsehttps://openalex.org/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9998，“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.9998，“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/T11005“，”display_name“：”电子系统容错“，”score“：0.9955，”subfield“：{”id“：”https://openalex.org/subfields/2208“，”display_name“：”电气与电子工程“}，”字段“：{”id“：”https://openalex.org/fields/22“，”display_name“：”Engineering“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}，{”id“：”https://openalex.org/T11032“，”display_name“：”超大规模集成测试“，”score“：0.9941，”subfield“：{”id“：”https://openalex.org/subfields/1708“，”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/satisfiability网站“，”display_name“：”可满足性“，”score“：0.6826316}，{”id“：”https://openalex.org/keywords/boolean-satifiability问题“，”display_name“：”布尔可满足性问题“，”score“：0.6189253}，{”id“：”https://openalex.org/keywords/model-checking“，”display_name“：”模型检查“，”score“：0.537349}，{”id“：”https://openalex.org/keywords/symbolic-model-checker“，”display_name“：”符号模型检查器“，”score“：0.520191}，{”id“：”https://openalex.org/keywords/satisfiability模块理论“，”“display_name”：“可满足模理论”，“score”：0.514775}]，“concepts”：[{“id”：“https://openalex.org/C168773769，“wikidata”：https://www.wikidata.org/wiki/Q1350299“，”display_name“：”可满足性“，”级别“：2，”分数“：0.6826316}，{”id“：”https://openalex.org/C6943359，“wikidata”：https://www.wikidata.org/wiki/Q875276“，”display_name“：”布尔可满足性问题“，”level“：2，”score“：0.6189253}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.55744725}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.4301789}，{”id“：”https://openalex.org/C11413529，“wikidata”：https://www.wikidata.org/wiki/Q8366“，”display_name“：”Algorithm“，”level“：1，”score“：0.35306215}]，”mesh“：[]，”locations_count“：1.”locations“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/3-540-44957-4_37“，”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、”is_core“：true、”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”：null，“version”：null，“is_accepted”：false，“is_published”：false}]，“best_oa_location”：nul，“sustainable_development_goals”：[]，“grants”：[]，“dataset”：[]]，“versions”：[】，“referenced_works_count”：20，“referenced_works“：[”https://openalex.org/W1503170978","https://openalex.org/W1506886065","https://openalex.org/W1511155470","https://openalex.org/W1513300473","https://openalex.org/W1521053613","https://openalex.org/W1528900342","https://openalex.org/W1538995403","https://openalex.org/W1600919542","https://openalex.org/W1787074469","https://openalex.org/W1967970073","https://openalex.org/W1991138028","https://openalex.org/W2024148935","https://openalex.org/W2061438988","https://openalex.org/W2071559752","https://openalex.org/W2080267935","https://openalex.org/W2493672872","https://openalex.org/W2494638445","https://openalex.org/W4254186159","https://openalex.org/W4285719527","https://openalex.org/W83671853“]，”related_works“：[”https://openalex.org/W4298153058","https://openalex.org/W3176904788","https://openalex.org/W2963044240","https://openalex.org/W2408080066","https://openalex.org/W2268872489","https://openalex.org/W21597398","https://openalex.org/W2091617677","https://openalex.org/W2076399409","https://openalex.org/W2014111643","https://openalex.org/W1913543287“]，”“abstract_inverted_index”：{“Boolean”：[0,10,27]，“circuits”：[1,28,46]，“offer”：[2]，“a”：[3,19,34,48,77]，“natural”：[4]，“structured”：[5]，“and”：[6,47,76]，“compact”：[7]，“representation”：[8]，“of”：[9]，“functions”：[11]，“for”：[12,26,45,80]，“many”：[13]，“application”：[14]，域。“：[15]，”In“：[16]，”this“：[17]，”paper“：[18]，”tableau“：[20]，”方法”：[21，32，68]，“解决”：[23]，“可满足性”：[24，73]，“问题”：[25]，“is”：[29，69]，“设计。“：[30]，”The“：[31]，”imployes“：[33]，”direct“：[35]，”cut“：[3]，”rule“：[37]，”combined“：[38]，”with“：[39]，”determinative“：[40]，”reduction“：[41]，”rules“。“：[42]，”简化“：[43]，”规则“：[44]，”搜索“：[49,55]，”启发式“：[50]，”尝试“：[51]，”to“：[52]，”最小化“：[53]，”the“：[54,67]，”space“：[56]，”are“：57]，”developed。“：[58]，”实验“：[59]，”in“：[60]，”符号“：[61]，”model“：[62]，”checking“：[63,74]，”domain“：[64]，”indicate“：[65]，”that“：[66]，”competitive“：[70]，”against“：[71]，”estated“：[72]，”techniques“：[75]，”belovious“：%78]，”basis“：[79]，”进一步“：[81]，”work.“：[82]}，”cited_by_api_url“：“”https://api.openalex.org/works？filter=cites:W1518211069“，”“counts_by_year”：[{“年份”：2024，”“cited_by_count”：1}，{“年度”：2023，”“cited_by_cunt”：1'，{”“年份”“：2021，”“cited_by-count”“：1}，{（年份）：2019，”“gited_by/count”年份“：2013，”引用_ by_count“：1}]，”更新日期“：”2024-09-19T22:28:02.152442“，”创建日期“：“2016-06-24"}