{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期-部件”：[[2022,6,28]]，“日期-时间”：“2022-06-28T12:18:19Z”，“时间戳”：1656418699694}，“引用-计数”：23，“发布者”：“IEEE”，“许可证”：[{“开始”：{“日期-零件”：[2020,11,1]]，”日期-时间“：“2020-11-01T00:00Z”，timestamp“：1604188800000}，”content-version“：”vor“，“delay-in-days”：0，“URL”：“https:\/\/ieeexplore.iee.org\/Xplorehelp\/downloads\/license-information\/ieee.html”}，{“start”：{“date-parts”：[[2020,11,1]]，“date-time”：“2020-11-01T00:00:00Z”，“timestamp”：16041888000000}，“content-version”：“stm-asf”，“delay-in-days“：0，”URL“https:\\/doi.org\/10.15223\/policy-029“}，{“start”：{“date-parts”：[[2020,11,1]]，“date-time”：“2020-11-01T00:00:00Z”，“timestamp”：1604188800000}，“content-version”：“stm-asf”，“delay-in-days”：0，“URL”：“https:\\/doi.org\/10.15223\/policy-037”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，”short-container-title“：[]，”published-print“：{”date-parts“：[2020,11]]}，“：”10.1109\/ictai50040.2020.00033“，”类型“：“议事录文章”，“已创建”：｛“日期部分”：[[2020,12,24]]，“日期-时间”：“2020-12-24T23:46:20Z”，“时间戳”：1608853580000｝，“来源”：“Crossref”，“由计数引用”：0，“标题”：[“算盘：SAT问题的新混合编码”]，“前缀”：“10.1109”，“作者”：[｛“给定”：“克劳迪娅”，“家族”：“Vasconcellos Gaete”，“序列”：“第一个”，“隶属关系”：[]｝，{“givent”：“Vincent”，“family”：“Barichard”，“sequence”：“additional”，“affiliation”：[]}，{“fixed”：“Frederic”，“家族”：“Lardeux”，“serquence”:“additionable”，“filiation“：[]{”，“member”：“263”，“reference”：[{“key”：“ref10”，“doi-asserted-by”：”publisher“，“doi”：“10.1007\/978-3-19-66158-2_43”}，“key“ref11”，“first page”：“1092”，“文章标题”：“可满足性算法应用于调度问题的实验结果”，“卷”：“2”，“作者”：“crawford”，“年份”：“0”，“新闻标题”：“第十二届全国人工智能会议论文集”}，{“key”：“ref12”，“doi-asserted-by”：“publisher”，“doi”：“10.1109\/ICTAI.2013.153”}，“article-title”：“ATMS和CSP技术的比较”，“volume”：“1”，“author”：“dekler”，“year”：“0”，“journal-title“：“第十一届国际人工智能联合会议（IJCAI）论文集”}，{“key”：”ref14“，”doi-asserted-by“：”publisher“，”doi“：”10.1007\/978-3-540-74970-7_59“}，”{“密钥”：“ref15”，“doi-assert-by”：“publisher”，“doi”：“10.1109\/ICTAI.2013.154”}，{“key”：“ref16”，“doi-asserted-by”：“publisher”，“doi”：“10.1007\/s10601-014-9165-7”}{“key”：“ref19”，“doi-asserted-by”：“publisher”，“doi”：“10.1007\/s10601-008-9061-0”}，{“key”：“ref4”，“doi asserted by”：“publisher”，“doi”：“10.1007\/978-3-540-24605-3_37”}，{“key”：“ref3”，“author”：“garey”，“year”：“1979”，“期刊标题”：“计算机与难处理性NP完整性理论指南”}，{“key”：“ref6”，“doi asserted by”：“publisher”，“doi”：“10.1007\/978-3-540-24605-3_23”}，{“key”：“ref5”，“首页”：“399”，“文章标题”：“预测现代SAT解题器中学习的子句质量”，“author”：“audemard”，“year”：“0”，“journal-title”：“第21届国际人工智能联合会议论文集”}，{“key”：“ref8”，“doi-asserted-by”：“publisher”，“doi”：“10.1016\/j.eswa.2020.113243”}：“10.1007\/978-3-540-74970-7_12”}，{“key”：“ref2”，“doi-asserted-by”：“publisher”，“doi”：“10.107\/978-23-540-749 70-7_38”}，{“键”：“ref9”，“first page”：“253”，“article-title”：“SAT-难组合问题的可变复杂度”，“author”：“iwama”，“year”：“0”，“journal-title“：“第十三届IFIP世界计算机大会会议记录”}，{“key”：《ref20》，“artice-title》：“使用任意基数的数字系统的紧凑高效SAT编码的建议”，“author”:“tanjo”，“year”:“0”，“journal-title”：“CSP与SAT（CSPSAT）交叉受精第一届国际研讨会论文集”}，{“key”：“ref22”，“doi-asserted-by”：“publisher”，“doi”：“10.1145\/2975585”}：“10.1080\/00029890.2007.11920461”}]，“event”：{“name”：“2020 IEEE第32届人工智能工具国际会议（ICTAI）”，“location”：“美国马里兰州巴尔的摩”，“start”：{-“date-parts”：[[2020,11,9]]}，“end”：{--“date-parts”：[2020,11,11]]}}，”container-title“：[“2020 IEEE第32届人工智能工具国际会议（ICTAI）”]，“original-title”：[]，“link”：[{“URL”：“http://\/xplorestaging.IEEE.org\/ielx7\/9288160\/92886161\/09288351.pdf？arnumber=9288351”，“content-type”：“unspecified”，“content-version”：“vor”，“intended-application”：“similarity-checking”}]，“deposed”：{“date-parts”：[2022,6,28]]，“日期时间”：“2022-06-28T00:18:25Z”，“时间戳”：1656375505000}，“分数”：1，“资源”：{“主要”：{“URL”：“https:\/\/ieeexplore.ieee.org\/document\/9288351\/”}}，”subtitle“：[]，”shorttitle“：[]，”issued“：{”date-parts“：[2020,11]]}，‘引用计数’：23，”URL“http:”\/\/dx.doi.org\/10.109\/ictai50040.2020.00033“，”关系“：{}，”主题“：[]，“已发布”：{“日期部分”：[[2020,11]]}}