{“id”：“https://openalex.org/W2042127249“，”doi“：”https://doi.org/10.1145/1366230.1366263“，”title“：”精确组合逻辑合成与非标准电路设计“，”display_name“：”精确组合逻辑合成与非标准电路设计“，”publication_year“：2008，”publication_date“：”2008-05-05“，”ids“：｛”openalex“：”https://openalex.org/W2042127249“，”doi“：”https://doi.org/10.1145/1366230.1366263“，”mag“：”2042127249“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1145/1366230.1366263“，”pdf_url“：null，”source“：null，”license“：null'，”licence_id“：null，”version“：nuller，”is_accepted“：false，”is_published“：false}，”type“：”article“，”type_crossref“：“procesdings-article”，”indexed_in“：[”crossref“]，”open_access“：{”is_oa“：false，”oa_status“：”closed“，”oa_url”：null“，”any_repository_has_fulltext“：false}”，”authorships“：[{”author_position“：”first“，”作者“：{”id“：”https://openalex.org/A5042600106“，”display_name“：”Paul Tarau“，”orcid“：”https://orcid.org/0000-0001-7192-9421}，“机构”：[{“id”：https://openalex.org/I123534392“，”display_name“：”北德克萨斯大学“，”ror“：”https://ror.org/00v97ad02“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I123534392“]}]，”国家“：[”美国“]，”is_corresponding“：false，”raw_author_name“：”Paul Tarau“，”raw _ afiliation_strings“：[“美国德克萨斯州丹顿市北德克萨斯大学”]，”affiliations“：[{”raw_ afiliation _string“：”美国德克萨斯州北德克萨斯大学丹顿分校”，“institution_ids”：[”https://openalex.org/I123534392“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5050385111“，”display_name“：”Brenda Luderman“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I112197944“，”display_name“：”圣安东尼奥学院“，”ror“：”https://ror.org/01hdk3d05“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I112197944","https://openalex.org/I4210160641“]}]，”国家“：[”美国“]，”is_corresponding“：false，”raw_author_name“：”Brenda Luderman“，”raw _ afiliation_strings“：[“ACES CAD，Lewisville，TX，USA”]，”affiliations“：[{”raw_ afiliation _string“：”ACES CAD（美国德克萨斯州Lewisvelle），“institution_ids”：[“https://openalex.org/I112197944“]}]}]，”countries_distinct_count“：1，”institutions_disting_count”：2，”corresponding_author_ids“：[]，”corresponding_institution_ids”：[]、“apc_list”：null，”apc_payd“：null、”has_fulltext“：true、”fulltext_origin“：”ngrams“，”cited_by_count：7，“cited_by_percentile_year”：{“min”：83，”max“：84}，”biblio“：{”volume“：nul”，“issue”：null，“first_page”：null，“last_page”：null}，“is_retracted”：false，“is_paratext”：false，“primary_topic”：{“id”：“https://openalex.org/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9997，“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.9997，“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/T10363“，”display_name“：”低功耗VLSI电路设计与优化“，”score“：0.9995，”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.9992，”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/symbolic-model-checker“，”display_name“：”符号模型检查器“，”score“：0.50592}]，”concepts“：[{”id“：”https://openalex.org/C56949724，“wikidata”：https://www.wikidata.org/wiki/Q219079“，”display_name“：”真值表“，”level“：2，”score“：0.7855164}，{”id“：”https://openalex.org/C187455244，“wikidata”：https://www.wikidata.org/wiki/Q942353“，”display_name“：”布尔函数“，”level“：2，”score“：0.7270635}，{”id“：”https://openalex.org/C81409106，“wikidata”：https://www.wikidata.org/wiki/Q76505“，”display_name“：”组合逻辑“，”level“：3，”score“：0.66740406}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.6315925}，{”id“：”https://openalex.org/C157922185，“wikidata”：https://www.wikidata.org/wiki/Q173198“，”display_name“：”逻辑合成“，”level“：3，”score“：0.5662495}，{”id“：”https://openalex.org/C13117901，“wikidata”：https://www.wikidata.org/wiki/Q170451“，”display_name“：”逻辑门“，”level“：2，”score“：0.51854306}，{”id“：”https://openalex.org/C3309909，“wikidata”：https://www.wikidata.org/wiki/Q864155“，”display_name“：”二进制决策图“，”level“：2，”score“：0.5013268}，{”id“：”https://openalex.org/C28495749，“wikidata”：https://www.wikidata.org/wiki/Q155516“，”display_name“：”异或门“，”level“：3，”score“：0.49304816}，{”id“：”https://openalex.org/C141796577，“wikidata”：https://www.wikidata.org/wiki/Q837479“，”display_name“：”布尔电路“，”level“：3，”score“：0.48206598}，{”id“：”https://openalex.org/C11413529，“wikidata”：https://www.wikidata.org/wiki/Q8366“，”display_name“：”Algorithm“，”level“：1，”score“：0.45854902}，{”id“：”https://openalex.org/C156340839，“wikidata”：https://www.wikidata.org/wiki/Q2704791“，”display_name“：”枚举“，”级别“：2，”分数“：0.45525157}，{”id“：”https://openalex.org/C28449271，“wikidata”：https://www.wikidata.org/wiki/Q6667469“，”display_name“：”逻辑优化“，”level“：4，”score“：0.45024845}，{”id“：”https://openalex.org/C48372109，“wikidata”：https://www.wikidata.org/wiki/Q3913“，”display_name“：”二进制数“，”level“：2，”score“：0.44643793}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.44580922}，{”id“：”https://openalex.org/C94375191，“wikidata”：https://www.wikidata.org/wiki/Q11205“，”display_name“：”Arithmetic“，”level“：1，”score“：0.43613932｝，｛”id“：”https://openalex.org/C14036430网址，“wikidata”：https://www.wikidata.org/wiki/Q3736076“，”display_name“：”功能（生物学）“，”级别“：2，”分数“：0.43581477}，{”id“：”https://openalex.org/C45235069，“wikidata”：https://www.wikidata.org/wiki/Q278425“，”display_name“：”Table（database）“，”level“：2，”score“：0.43576318}，{”id“：”https://openalex.org/C134835016，“wikidata”：https://www.wikidata.org/wiki/Q690265“，”display_name“：”查找表“，”level“：2，”score“：0.4140196}，{”id“：”https://openalex.org/C196836630，“wikidata”：https://www.wikidata.org/wiki/Q4753279“，”display_name“：”And-inverter graph“，”level“：4，”score“：0.41392452}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.3009875}，{”id“：”https://openalex.org/C118615104，“wikidata”：https://www.wikidata.org/wiki/Q121416“，”display_name“：”离散数学“，”level“：1，”score“：0.22585002｝，｛”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.19330901}，{”id“：”https://openalex.org/C124101348，“wikidata”：https://www.wikidata.org/wiki/Q172491“，”display_name“：”数据挖掘“，”level“：1，”score“：0.091741085}，{”id“：”https://openalex.org/C78458016，“wikidata”：https://www.wikidata.org/wiki/Q840400“，”display_name“：”进化生物学“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C86803240，“wikidata”：https://www.wikidata.org/wiki/Q420“，”display_name“：”Biology“，”level“：0，”score“：0.0｝]，”mesh“：[]，”locations_count“：1，”locations“：[｛”is_oa“：false，”landing_page_url“：”https://doi.org/10.1145/1366230.1366263“，”pdf_url“：null，”source“：null，”license“：null:”license_id“：null，”version“：nuller，”is_accepted“：false，”is_published“：false}]，”best_oa_location“：nul，”sustainable_development_goals“：[]，”grants“：[]，”datasets“：]，”versions“：[]:”，“referenced_works_count”：21，“referrenced_works”：[”https://openalex.org/W1496740406","https://openalex.org/W1543270962","https://openalex.org/W1569584939","https://openalex.org/W1738355368","https://openalex.org/W1975465680","https://openalex.org/W2000604885","https://openalex.org/W2024203951","https://openalex.org/W2033866513","https://openalex.org/W2080267935","https://openalex.org/W2085126740","https://openalex.org/W2087235674","https://openalex.org/W2093821665","https://openalex.org/W2096250182","https://openalex.org/W2116385615","https://openalex.org/W2128013840","https://openalex.org/W2146532505","https://openalex.org/W2146616935","https://openalex.org/W2151036024","https://openalex.org/W2164538779","https://openalex.org/W251628717","https://openalex.org/W3021620047“]，”related_works“：[”https://openalex.org/W4360919330","https://openalex.org/W4231391991","https://openalex.org/W3003094660","https://openalex.org/W2974348109","https://openalex.org/W2107371872","https://openalex.org/W1995425391","https://openalex.org/W1995135231","https://openalex.org/W1991822629","https://openalex.org/W12569816","https://openalex.org/W1159523076“]，”ngrams_url“：”https://api.openalex.org/works/W2042127249/ngrams网站“，”“abstract_inverted_index”：{“Using”：[0]，“a”：[1]，“new”：[2]，“exact”：[3]，“synthesizer”：[4]，“that”：[5]，“automatically”：[6]，“induces”：[7]，“minimal”：[8,65]，“universal”：[9,66]，“boolean”：[10]，“function”：[11]，“libraries，”：[12,67]，“we”：[13]，“introduce”：[14]，“two”：[15,68]，“指标”：[16,59]，“for”：[17]，“comparing”：[18]，“their”：[19]，“expressiveth:”：[20]“：[21,35,54,58]，“第一个”：[22]，“基于”：[23,37]，“关于”：[24,38]，“如何”：[25,39]，“多”：[26,40]，“门”：[27,52]，“是”：[28,45]，“使用”：[29]，“到”：[30,50,60]，“综合”：[31]，“全部”：[32]，“二进制”：[33]，“运算符”：[34]，“第二个”：[36]，“N变量”：[41]，“true”：[42]，“table”：[43]，“values”：[44]，“covered”：[46]，“by”：[47]，“combining”：[48]，“up”：[49]，“M”：[51]，“来自“：[53]”库。“：[55]，”By“：[56]，”application“：[57]，”an“：[61]，”expective“：/62]，”enumeration“：-63]，”of“：[64]，”dual“：[69]，”asymmetric“：%70]，”operations“：[71]，”Logic“：[72]，”Implication“：%73]，“==”：[74]，“and”：[75]，“Half”：[76]，“XOR”：[77]，“：[78]}，”cited_By_api_url“：“”https://api.openalex.org/works？filter=cites:W2042127249“，”counts_by_year“：[{”年“：2012，”cited_by_count“：3}]，”更新日期“：”2024-06-16T10:10:18.631960“，”创建日期“：“2016-06-24”}