{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期部分”：[2022,4,5]]，“日期时间”：“2022-04-05T11:46:06Z”，“时间戳”：1649159166109}，“引用-计数”：17，“发布者”：“IEEE”，“内容域”:{“域”：[]，“交叉标记-限制”：false}，”短容器时间“：[]”，“发布-打印”：{“日期部分”：[[2018,10]]}，“DOI”：“10.23919\/fmcad.2018.863006”，“type”：“proceedings-article”，“created”：{“date-parts”：[[2019,1,9]]，“date-time”：“2019-01-09T01:33:52Z”，“timestamp”：1546997632000}，“source”：”Crossref“，”is-referenced-by-count“：1，”title“：[”完整测试集及其近似值“]，”前缀“10.23919”，“author”：[{“给定”：“Eugene”，“family”“：”Goldberg“，”sequence“：“first”，“affiliation”：[]}]，“member”：“263”，“reference”：[{“key”：“ref10”，“doi-asserted-by”：“publisher”，“doi”：“10.1007\/978-3-540-78163-9_14”}，{“密钥”：“ref11”，“doi-asserte-by”：“publisher”，“DII”：”：“10.23919\/FMCAD.2018.8603006”}“：”goldberg“，”year“：”2018“，”journal-title“：“技术报告arXiv 1804 00073[cs LO]”}，{“key”：“ref13”，“doi-asserted-by”：“publisher”，“doi”：“10.1109”\/ICCAD.2007.4397275“：”ref16“，”doi-asserted-by“：“publisher”，“DOI”：“10.1109\/54.936247”}，{“key”：“ref17”，“year”：“0”}ing“，”author“：”bradley“，”year“：“2011”，“journal-title”：“VMCAI”}，{“key”：“ref6”，“首页”：“502”，“文章标题”：“可扩展的sat-solver”，“author”：“e\u00e9n”，“年份”：“2003”，“日记标题”：《sat》}，}“key”：“ref5”，“doi-asserted-by”：“publisher”，“doi”：“10.1016\/S0304-3975（01）00174-8”}serted-by“：”publisher“，”doi“：”10.1007\/11589976_3“}，{”key“：”ref7“、“doi-asserted-by”：“publisher”，“doi”：“10.1007\/978-3-540-73770-4_10”}，{“key”：“ref2”，“doi-sserted-by“：”publisher“，”doi“：”10.1109\/DAC.1999.781333“}，”{“key”：“ref1”，“doi-assertd-by”：“publisher”，“DI:”10.1109\\TSE.2010.49“}”，{”key“：”ref9“，”doi-assert-by“”：“发布者”，“”doi“：”10.1007\/3-540-45620-1_15“}]，“事件”：{“名称”：“2018计算机辅助设计（FMCAD）中的形式方法”，“位置”：“德克萨斯州奥斯汀”，“开始”：{“日期-部件”：[[2018,10,30]]}，“结束”：{“日期-零件”：[[2018,11,2]}，”容器-标签“：[”2018计算机辅助设计（FMCAD 9\/08603006.pdf？arnumber=8603006“，”content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[2022,1,26]]，”date-time“：“2022-01-26T01:18:36Z”，”timestamp“：1643159916000}，”score“：1，”resource“：”{“primary”：{“URL”：“https:\/\ieeexplore.iee.org\/document\/8603006\/”}，“副标题”：[]，“短标题”：[]，“发布“：{“date-parts”：[[2018,10]]}，“references-count”：17，“URL”：“http://\/dx.doi.org\/10.23919\/fmcad.2018.8603006”，“relationship”：{}、“subject”：[]，“published”：{