｛“状态”：“正常”，“消息类型”：“工作”，“消息版本”：“1.0.0”，“消息”：｛“索引”：｛“日期部分”：[[2023,1,10]]，“日期-时间”：“2023-01-10T1:31:45Z”，“时间戳”：1673350305832｝，“发布者位置”：“美国纽约州纽约市”，“引用计数”：3，“发布者”：“ACM”，“内容域”：｛“域”：[“dl.ACM.org”]，“交叉标记限制”：true｝，“短容器标题”：[]，“published-print”：{“date-parts”：[[2008,3,16]]}，“DOI”：“10.1145\/1363686.1364106”，“type”：“proceedings-article”，“created”：{“date-ports”：[[2008,4,29]]，“date-time”：“2008-04-29T13:04:11Z”，“timestamp”：1209474251000}，《update-policy》：“http://\/dx.DOI.org\/10.1145\/crossmark-policy”，“source“：”Crossref“，”is-referenced-by-count“：1，”title“：[“重温精确组合电路合成”]，“前缀”：“10.1145”，“作者”：[{“给定”：“保罗”，“家族”：“塔劳”，“序列”：“第一”，“从属关系”：[}“名称”：“北德克萨斯大学”}]}，{“已知”：“布伦达”，“家庭”：“卢德曼”，“sequence”：“附加”，“附属关系”：[{“姓名”：“德克萨斯州奥斯汀英特尔公司”}]]，“成员”：“320”，“在线发布”：{“date-parts”：[[2008,3,16]]}，“reference”：[{“key”：“e_1_3_2_1_1_1”，“volume-title”：“The Art of Computer Programming”，“author”：“Knuth Donald”，“year”：“2006”，“unstructured”：“Donald Knuth，《计算机编程的艺术》，第4卷，草稿，2006年。http://\/www-cs-aculty.stanford.edu\/~\/Knuth\/taocp.html。http:\/\/www-cs-faulty.stanford.edu\/~\/knuth\/taocp.html。“}，{”key“：”e_1_3_2_1_2_1“，”first page“：“173”，”volume-title“：”Proc.IgVLS'02“，”author“：”Mishchenko A.“，”year“：”2002“，”unstructured“：”A.Mishchengo and R.Brayton。多值逻辑合成的布尔范式。In Proc.Ig VLS'022002年6月，第173-177页，2002。citeseer.ist.psu.edu \/aricle \/mishenko02boolean.html。A.Mishchenko和R.Brayton。多值逻辑综合的布尔范式。程序中。IgVLS’02，2002年6月，第173-177页，2002年。citeseer.ist.psu.edu \/aricle \/mishenko02boolean.html。“}，{”key“：”e_1_3_2_1_4_1“，”first page“：“180”，”volume-title“：”Tarau and Brenda Luderman。组合电路合成的逻辑编程框架。在第23届国际逻辑编程会议（ICLP）上，LNCS 4670“，”author“：”Paul“，“year”：“2007”，”unstructured“：”保罗·塔劳和布伦达·卢德曼。组合电路综合的逻辑程序框架。在第23届国际逻辑编程会议（ICLP）上，LNCS 4670，第180-194页，葡萄牙波尔图，2007年9月。斯普林格。保罗·塔劳和布伦达·卢德曼。组合电路综合的逻辑程序框架。在第23届逻辑编程国际会议（ICLP）上，LNCS 4670，第180-194页，葡萄牙波尔图，2007年9月。斯普林格。“}]，”event“：{”name“：”SAC'08:2008 ACM应用计算研讨会“，”location“：”Fortaleza，Ceara Brazil“，”缩写词“：”ASC'08“，”赞助商“：[”SIGAPP ACM应用计算机特别兴趣小组“]}，”container-title“：[“2008 ACM适用计算研讨会论文集”]，”original-title”：[]，”link“：[{”URL“：”https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1363686.1364106“，”content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[[2023,1,9]]，”date-time“：“2023-01-09T04:07:56Z”，”timestamp“：1673237276000}，”score“：1，”resource“：”{“primary”：{“URL”：“https:\/\/dl.acm.org\/doi\/10.1145\/1363686.1364106“}}，”副标题“：[]，”短标题“：[]，”已发布“：{”日期部分“：[[2008,3,16]]}，“引用计数”：3，“alternative-id”：[“10.1145\/136386.1364106”，“10.1145\/136363686”]，“URL”：“http://\/dx.doi.org\/10.1144\/13686.136”，“关系”：{}，“主题”：[]，“已发布”：{“日期部分”：[[2008,3,16]]}，”断言“：[{”value“：”2008-03-16“，”order“：2，”name“：”published“，”label“：”published“，”group“：{”name“:”publication_history“，”标签“：”publication history“}}]}}