{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期部分”：[[2022,4,5]]，“日期时间”：“2022-04-05T19:32:27Z”，“时间戳”：1649187147429}，“引用计数”：11，“发布者”：“IEEE”，“内容域”:{“域”：[]，“交叉标记限制”：false}，”短容器时间“：[]”，“published-print”：{“日期部分”：[[2011,11]]}，“DOI”：“10.1109\/ictai.2011.03”，“type”：“proceedings-article”，“created”：{“date-parts”：[[2011,12,22]]，“date-time”：“2011-12-22T18:07:45Z”，“timestamp”：1324577265000}，“source”：”Crossref“，”is-referenced-by-count“：9，”title“：[”基于等价类的DPLL（XOR）奇偶推理“]，”前缀“：”10.1109“，“author”：[{“给定”：“Tero”，“家庭”：“Laitine”、“sequence”：“first”，“affiliation”：[]}，{“given”：“Tommi”，“family”：“Junttila”，“sequences”：“additional”，“filiation“：[]{”given“：”Ilkka“，”family“：”Niemela“，”sequence“：”additional“，”affiliance“：[]}]，“member”：“263”，“reference”：[{“key”：”3“，“article-title”：“可满足模理论”，“author”：“barrett”，“year”：“2009”，“新闻标题”：《可满足性手册》｝，｛“key”：“2”，“首页”：“21”，“文章标题”：“用奇偶推理扩展子句学习DPLL”，“作者”：“laitinen”，“年份”：“2010”，“期刊标题”：“Proc ECAI 2010”｝，｛“key”：“10”，“doi asserted by”：“publisher”，“doi”：“10.1007\/11527695_26”｝，｛“key”：“1”，“文章标题”：“冲突驱动的子句学习SAT解算器”，“author”：“marques-silva”，“year”：“2009”，“journal-title”：“可满足性手册”}，{“key”：“7”，“doi-asserted-by”：“publisher”，“doi”：“10.1007\/3-540-16761-7_73”}ers“，”author“：”soos“，”year“：“2010”，“journal-title”：“SAT Workshop的语用学”}，{“key”：“4”，“first page”：”244“，”article-title“：”Extending SAT solver to cryptographic problems“，”volume“：”5584“，”author“：”soos“，”year“：”2009“，”journal-title“:”Proc SAT 2009“}，”{“密钥”：“9”，“首页”：“502”，“article-title”“：”An extensible SAT soller“，”volume“2919”，“author”：“ee？n“，”年份“：”2004“，“journal-title”：“SAT 2003年会议记录”}，{“key”：“8”，“author”：“laitine”，“year”：“2010”，“johnal-tittle”：”“扩展具有奇偶约束的SAT解算器”}、{“密钥”：“11”，“首页”：“291”，“article-title“：”“将等价推理集成到davis-putnam过程中”，“author”:“li”，“year”：”2000“，”“journal-title：”Proc AAAI\/IAAAI“}]，“event”：{“名称“：“2011 IEEE第23届人工智能工具国际会议（ICTAI）”，“地点”：“Boca Raton，FL，USA”，“开始”：{“date-parts”：[[2011,11,7]]}，“结束”：{-“date-parts”：[2011,11,9]]}}，”container-title“：[”2011 IEEE 23届人工智慧工具国际会议“]，”原文标题：[]，“链接”：[{“URL”：“http://\/xplorestaging.ieee.org\/ielx5\/6101101\/6103394.pdf？arnumber=6103394”，“内容类型”：“未指定”，“content-version”：“vor”，“intended-application”：“相似性检查”}]，“存放”：{“日期部分”：[[2017,3,21]]，“日期时间”：“2017-03-21T17:27:07Z”，“时间戳”：1490117227000}，“分数”：1，“资源”：{“primary”（主要）:{“URL”（URL）：“http://\/ieeexplore.iee.org\/document\/6103394\/”}}，“副标题”：[]，“短标题”：[]，“已发布”：{“日期-部件”：[[2011,11]]}，”引用计数“：11，”URL“：”http://\/dx.doi.org\/10.109\/ictai.201.103“，”关系“：{}”，“主题”：[]]，“发布”：“日期-零件”：[2011,11]}}}}