{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期-部分”：[[2023,14]]，“日期-时间”：“2023-01-14T17:29:32Z”，“时间戳”：1673717372264}，“发布者位置”：“美国纽约州纽约市”，“引用-计数”：31，“出版商”：“ACM”，“内容-域”：{:“域”：[“dl.ACM.org”]，“交叉标记限制”：true}，“短容器时间”：[]，“published-print”：{“date-parts”：[[2008,5,5]]}，“DOI”：“10.1145\/1366230.1366263”，“type”：“proceedings-article”，“created”：{“date-parts”：[[008,5,1]]，“date-time”：“2008-05-06T14:37:21Z”，“timestamp”：1210084641000}，”update-policy“http://dx.DOI.org\/10.1145\/crossmark-policy”，“source”：“Crossref”，“is-referenced-by-count”：3，“title”：[“精确组合逻辑综合与非标准电路设计”]，“前缀”：“10.1145”，“作者”：[{“给定”：“保罗”，“家族”：“塔劳”，“序列”：“第一”，“从属关系”：[}“名称”：“美国德克萨斯州丹顿北德克萨斯大学”}]}，“member”：“320”，“published-on-line”：{“date-parts”：[[2008,5,5]]}，“reference”：[{“key”：“e_1_3_2_1_1_1”，“volume-title”：“CMOS电路设计、布局和仿真”，“author”：“Baker R.J.”，《年份》：“2008”，“unstructured”：“贝克，R.J.CMOS电路的设计、布局与仿真。约翰·威利父子公司，美国新泽西州霍博肯，2008。贝克，R.J。CMOS电路设计、布局和仿真。John Wiley and Sons，Hoboken，NJ，USA，2008.“}，{“key”：“e_1_3_2_2_1”，“doi由”断言：“publisher”，“doi”：“10.1109\/TC.1986.1676819”}，{“key”：“e_1_3_2_3_1”，“doi由”断言：“publisher”，“doi”：“10.1109\/TIT.2005.851743”}，{“key”：“e_1_3_2_4_1”，“doi由”断言：“publisher”，“doi”：“10.1109\/TC.1979.16752229“｝，｛”键“：”e_1_3_2_5_1“，”首页“：”4“，”卷：“6”，“作者”：“Davies D.W.”，“年份”：“1957年”，“非结构化”：“Davides，D.W.三变量切换函数。事务处理。《无线电工程师学会》6，4（1957），265--275。Davies，D.W.三变量切换函数。事务处理。《无线电工程师学会》第6、4卷（1957年），第265--275页。无线电工程师学会》，{“key”：“e_1_3_2_1_6_1”，“卷标题”：“Allyn and Bacon”，“作者”：“Dietmeyer D.L.”，“年份”：“1971”，“非结构化”：“Dietmeyer，D.L.数字系统逻辑设计。Allyn and Bacon，1971。Dietmeyer，D.L.数字系统逻辑设计。Allyn and Bacon，1971。”}，{“key”：“e_1_3_2_1_7_1”，“非结构化”：“Drechsler R。在SAT求解器中使用合成技术。citeseer.ist.psu.edu \/drechsler04using.html。Drechsler R.在SAT求解器中使用合成技术。citeseer.ist.psu.edu \/drechsler04using.html。“}，{”key“：”e_1_3_2_1_8_1“，”volume-title“：”精确电路合成。在逻辑合成国际研讨会上\\“，“author”：”Drechsler R.“，年”：“1998”，“非结构化”：“Drechsle，R.和Gunther，W.精确电路合成.在逻辑综合国际研讨会上（1998）。精确电路合成。逻辑综合国际研讨会（1998年）。“}，{”key“：”e_1_3_2_1_9_1“，”doi-asserted-by“：”publisher“，“doi”：“10.1145\/1228784.1228812”}，“key”：“e_1_ 3_2_1_10_1”，“doi-assert-by”：“publisher”，”doi“：”10.1145\/2422.322412“}”，{“，”非结构化“：”Knuth，D。《计算机编程的艺术》，第4卷，草稿，2006年。http:\/\/www-cs-facturer.stanford.edu\/$\\sim$\/knuth\/taocp.html。Knuth，D.《计算机程序设计的艺术》，第4卷，草稿，2006年。http:\/\/www-cs-facturer.stanford.edu\/$\\sim$\/knuth\/taocp.html。“}，{”key“：”e_1_3_2_12_1“，”doi-asserted-by“：”publisher“，”doi“：”10.1109\/TC.1987.1676878“}、{”密钥“：”e_1_3_2_13_1“，“doi-assert-by”：“publisher”，“doi”：“10.1109\/TVLSI.2005.844284”}，“key”：55“}，{”key“：”e_1_3_2_1_15_1“，”doi-asserted-by“：”publisher“，“doi”：“10.1109 \/TVLSI.2007.893581“}，{“key”：“e_1_3_2_16_1”，“volume-title”：“IWINAC 2005，西班牙加那利群岛拉斯帕尔马斯，2005年6月15日至18日，论文集，第二部分”，“卷”：“3562”，“作者”：“米拉·J”，“年份”：“2005”，“非结构化”：“Mira，J.，and \u00c1lvarez，J.R.，Eds。《人工智能和知识工程应用：生物启发方法：第一次自然计算和人工计算相互作用国际工作会议》，IWINAC 2005，西班牙加那利群岛拉斯帕尔马斯，2005年6月15日至18日，《会议记录》，第二部分（2005），第3562卷，《计算机科学讲稿》，斯普林格。Mira，J.和\u00c1lvarez，J.R.编辑，《人工智能和知识工程应用：生物启发方法：自然计算和人工计算之间相互作用的第一次国际工作会议》，IWINAC 2005，西班牙加那利群岛拉斯帕尔马斯，2005年6月15日至18日，会议录，第二部分（2005），《计算机科学讲义》第3562卷，斯普林格出版社。“}，{”key“：”e_1_3_2_17_1“，”first page“：“173”，”volume-title“：”Proc.IgVLS'02“，”author“：”Mishchenko A.“，”year“：”2002“，”unstructured“：”米什琴科，A.，and Brayton，R.多值逻辑综合的布尔范式。In Proc.IgVLS'02，June，2002，pp.173-177。多值逻辑综合的布尔范式。程序中。IgVLS’02，2002年6月，第173-177页。(2002).“}，{”key“：”e_1_3_2_18_1“，”volume-title“：”逻辑综合国际研讨会“，”author“：”Mishchenko A.“，”year“：”2002“，”unstructured“：”米什琴科，A.和Sasao，T。布尔函数的编码及其在LUT级联综合中的应用。在逻辑综合国际讲习班（2002）上。布尔函数的编码及其在LUT级联综合中的应用。逻辑综合国际研讨会（2002年）。“}，{”key“：”e_1_3_2_19_1“，”doi-asserted-by“：”publisher“，“doi”：“10.1109\/TC.1976.1674714”}，“{”密钥“：”e_1_3_2_1_20_1“”，“doi-assert-by”：“publisher”，“doi:”10.1145\/36766.3677776“}”，{“key”：“e_3_2_2_22_1”，“doi-asserted-by”:”publishers“，”doi“：”10.1007\/978-3540-32003-66 _19“}，{”key“：”e_1_3_2_1_23_1“，”doi-asserted-by“：”publisher“，“doi”：“10.1109\/AHS.2006.36“}，{”key“：”e_1_3_2_1_24_1“，”doi-asserted-by“：”publisher“，“doi”：“10.1109\/AHS.2006.35”}，“key”：“e_1_3_2_1_25_1”，“volume-title”：“Claude Elwood Shannon：论文集”，“author”：“Shannon C.e.”，“year”：“1993”，“unstructured”：“Shannon，C.e。克劳德·埃尔伍德·香农：论文集。IEEE出版社，皮斯卡塔韦，新泽西州，美国，1993年。香农（C.E.Claude Elwood Shannon）：论文集。IEEE Press，Piscataway，NJ，USA，1993.“}，{”key“：”e_1_3_2_1_26_1“，”doi-asserted-by“：”publisher“，“doi”：“10.1109\/TCAD.2003.811448”}，“key”：“e_1_ 3_2_1_2 7_1”，“volume-title”：“Eds.第一届NASA\/ESA自适应硬件和系统会议（AHS 2006）”，“author”：“Stoica A.”，“year”：“2006”，“unstructured”：“”Stoica，A.、Arslan，T.、Suess，M.、Yal\u00e7in，S.、Keymeulen，D.、Higuchi，T.，Zebulum，R.S.和Aydin，N。，Eds.第一届NASA/ESA自适应硬件和系统会议（AHS 2006），2006年6月15-18日，土耳其伊斯坦布尔（2006），IEEE计算机学会。Stoica，A.、Arslan，T.、Suess，M.、Yal\u00e7in，S.、Keymeulen，D.、Higuchi，T.，Zebulum，R.S.和Aydin，N.，Eds.2006年6月15日至18日在土耳其伊斯坦布尔举行的NASA/ESA第一届自适应硬件和系统会议（AHS 2006），IEEE计算机学会。“｝，｛”key“：”e_1_3_2_28_1“，”doi由“：”publisher“断言，”doi“：”10.1007\/1199305_38“｝，｛”key“：”e_1_3_2_29_1“，”doi由“：”publisher“断言，”doi“：”10.1109\/AHS.2006.71“｝，｛”key“：”e_1_3_2_30_1“，”doi由“：”publisher“断言，”doi“：”10.5555\/178180.1778197“｝，｛”key“：”e_1_3_2_31_1“，”doi由“：”publisher“断言，”doi“：”10.1145\/133686.1364106“｝，｛”key“：”e_1_3_2_1_32_1“，”首页“：”6“，”卷“：”34“，”作者“：”杨M.H.“，”年份“：”1985“，”非结构化“：”杨M.H.和Muroga，S.对称最小覆盖问题和具有对称变量的最小PLA。IEEE传输。计算机34，6（1985），523--541。Young，M.H.和Muroga，S.，对称最小覆盖问题和具有对称变量的最小PLA。IEEE传输。计算机34，6（1985），523--541。”，“期刊标题”：“对称最小覆盖问题和具有对称变量的最小PLA。IEEE传输。Computers“}]，“event”：｛“name”：“CF'08:Computing Frontiers Conference”，“location”：“Ischia Italy”，“缩写词”：“CF'08”，“赞助商”：[“ACM计算机械协会”，“SIGMICRO ACM微体系结构研究与处理特别兴趣小组”]}，“容器标题”：[“第五届计算前沿会议论文集”]original-title“：[]，”link“：[{”URL“：”https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1366230.1366263“，”content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[2023,10]]，”date-time“：“2023-01-10T11:06:49Z”，“timestamp”：1673348809000}，“score”：1，“资源”：{“主资源”：}“URL”：”https:\/\/dl.acm.org\/doi\/10.1145\/1366230.1366263“}}，”副标题“：[]，”短标题“：[]，”已发布“：{”日期部分“：[[2008,5,5]]}，“引用计数”：31，“alternative-id”：[“10.1145\/136630.1366263”，“10.1145\/1366230”]，“URL”：“http://\/dx.doi.org\/10.145\/1365230.1366263“，”关系“：{}，“主题”：[]，“已发布”：{“日期部分”：[[2008,5,5]]}，”断言“：[{”value“：”2008-05-05“，”order“：2，”name“：”published“，”label“：”published“，”group“：{”name“:”publication_history“，”标签“：”publication history“}}]}}