{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期部分”：[2022,4,2]，“日期时间”：“2022-04-02T14:05:24Z”，“时间戳”：1648908324113}，“引用-计数”：18，“发布者”：“IEEE”，“内容域”：{“域”：[]，“交叉标记-限制”：false}，”短容器时间“：[]”，“发布-打印”：{“日期部分”：[[2008,10]]}，“DOI”：“10.1109\/test.2008.4700567”，“type”：“proceedings-article”，“created”：{“date-parts”：[[2008,12,10]]，“date-time”：“2008-12-10T12:55:58Z”，“timestamp”：1228913758000}，“source”：”Crossref“，”is-referenced-by-count“：0，”title“：[”基于SAT的状态合理性与不变量的自适应挖掘“]，”前缀“：”10.1109“，“author”：[{“family”：“Weixin Wu”“，”序列“：“first”，“affiliation”：[]}，{“given”：“M.S.”，“family”：“Shoiao”，“sequence”：“additional”，“filiation“：[]2]，“member”：“263”，“reference”：[{“key”：”17“，”doi-asserted-by“：”publisher“，”doi“：”10.1109\/DAC.2006.229206“，”doi-asserted-by“：”publisher“，”doi“：”10.1109\/12.859539“}，{”key“：”16“，“first page”：“432”，“article-title”：“一种在大型数据库中挖掘关联规则的有效算法”，“author”：“savasere”，“year”：“1995”，“journal-title“：”Proc IEEE 5th Int Conf Very large Database“}，{“key”：”13“，“first-page”：“307”，“article-titel”：“关联规则的快速发现”，“author”:“agrawal”，“年份”：“1996”，“日记标题”：“知识发现和数据挖掘的进展”｝，｛“key”：“14”，“doi由”：“publisher”断言，“doi”：“10.1109\/43.851997”｝，｛“key”：“11”，“doi由”：“publisher”断言，“doi”：“10.1147\/rd.1040.278”｝，｛“key”：“12”，“author”：“hand”，“year”：“2001”，“期刊标题”：“数据挖掘原理”｝，｛“key”：“3”，“doi由”：“publisher”断言，“doi”：“10.1109\/43.536723“｝，{“key”：“2”，“doi-asserted-by”：“publisher”，“doi”：“10.1109\/TC.1983.1676174”}，{“密钥”：“1”，“doi-asserte-by”：“publisher”，“DI:”10.1109\/TC.1981.1675757“}，}“密钥“：”10“，”doi-assert-by“：”publisher“，”doi“：”10.1145\/114609.1147098“}”，{”key“：”7“，”article-title“：”miniat-a sat solver with conflict-clause minimization”，“author”：“een”，“year”：“2005”，“journal-title”：“Proc Int'l Conf Theory and Applications of Satisfility Testing（SAT）”}，{“key”：“6”，“doi-asserted-by”：“publisher”，“doi”：“10.1109\/DATE.2003.1253719”}.1999.810638“}，{”键“：”9“，”首页“：“1108”，“article-title”：“考虑电路可观测性在cnf可满足性中并不重要”，“author”：“fu”，“year”：“2005”，“journal-title“：”Proc Design Aut and Test in Europe Conf“}，{”key“：”8“，”first page“：，“journal-title”：“Proc Int Conf ASIC”}]，“event”：{“name”：“2008 IEEE国际测试大会”，“location”：“Santa Clara，CA”，“start”：{-“date-parts”：[[2008,10,28]]}，“end”：{--“date-parts”：[[2008,10,30]}}，”container-title“：[”2008 IEEE International Test Conference“]，”original-title:[]，“link”：[{“URL”：“http://\/xplorestaging.ieee.org\/ielx5\/4690905\/47000527\/04700567.pdf？arnumber=4700567”，“内容类型”：“未指定”，“content-version”：“vor”，“intended-application”：“相似性检查”}]，“存放”：{“日期部分”：[[2017,3,17]]，“日期时间”：“2017-03-17T13:58:04Z”，“时间戳”：1489759084000}，“分数”：1，“资源“：{”primary“:{”URL“：“http://\/ieeexplore.iee.org\/document\/4700567\/”}}，“副标题”：[]，“短标题”：[]，“已发布”：{“日期-部分”：[[2008,10]]}，”引用计数“：18，”URL“：”http://\/dx.doi.org\/10.109\/test.2008.4700567“，”关系“：{}”，“主题”：[]]，“发布”：}“日期部分”：[2008,10]}}}