{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期-部件”：[[2024,5,17]]，“日期-时间”：“2024-05-17T07:53:06Z”，“时间戳”：1715932386821}，“参考-计数”：26，“出版商”：“IEEE”，“许可证”：[{“开始”：{-“日期-部分”：[2021,6,29]]，”日期-时间“：”2021-06-29T00:00:00Z“，”timestamp“：1624924800000}，”content-version“：”vor“，“延迟天数”：0，“URL”：“https://ieeexplore.ieee.org/Xplorehelp\/downloads\/license-information\/ieee.html”｝，｛“开始”：｛“日期部分”：[[2021,6,29]]，“日期时间”：“2021-06-29T00:00:00Z”，“时间戳”：1624924800000｝，“内容版本”：“stm-asf”，“延迟天数”：0，“URL”：“https://doi.org/10.15223\/policy-029”｝，｛“开始”：｛“日期零件”：[[2021,6,29]]，“date-time”：“2021-06-29T00:00:00Z”，“timestamp”：1624924800000}，“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“：[2021,6,29]]}，“doi”：“10.1109\/lics52264.2021.9470741”，“类型”：“procesdings-article”，“created”：{“date-parts”：[[2021,7,7]]，“date-time”：“2021-07-07T20:14:07Z”，“timestamp”：1625688847000}，“source”：“Crossref”，“is-referenced-by-count”：7，“title”：[“高效布尔Skolem函数合成的范式表征”]，“prefix”：“10.1109”，”author“：[{”given“Preey”，“family”：“Shah”，“sequence”：“first”，“affiliation”：[]}，{“given”：“Aman”，“family”：“Bansal”，“sequence”：“additional”，“affaliation”（从属关系）：[]{“给定”：“S.”，“家族”：“Akshay”，“序列”：“附加”，“从属关系”：[]}，}“giving”：“Supratik”，”family“：”Chakraborty“，”sequence“additionable”，“atriation”：[]}]，“member”：“263”，“reference”：[{“key”：”ref10“，“doi-asserted-by”：“publisher”，“doi”：“10.1109\/FMCAD.2015.7542255”}，{“key”：“ref11”，“doi-asserted-by”：“publisher”，“doi”：“10.1145\/1809028.1806632”}2018年“，”新闻标题“：“第三十届国际计算机辅助验证会议议事录第一部分”}，{“key”：“ref13”，“doi-asserted-by”：“publisher”，“doi”：“10.1007\/978-3-030-53291-8_31”}4266“}，{“键”：“参考16”，“doi-asserted-by”：“publisher”，“doi”：“10.3166\/jancl.11.11-34”}，{“key”：“ref17”，“doo-asserted-by”：”publisher“，”doi“：”10.1109\/12.73590“}，“key“：”ref18“，”first page“：“key”：“ref19”，“doi-asserted-by”：“publisher”，“doi”：“10.1145\/50209.502091”｝，｛“key”：“ref4”，“doi断言者”：“publisher”，“doi”：“10.1109\/FCAD.2014.6987602”｝，｛“key”：“ref3”，“doi断言者”：“publisher”，“doi”：“10.1109\/FCAD.205.7542263”｝，｛“key”：“ref6”，“首页”：“149”，“文章标题”：“QBF评估和应用中的分辨率证明和Skolem函数”，“author”：“jiang”，“year”：“2011年”，“journal-title”：“CAV程序”}，{“key”：“ref5”，“doi-asserted-by”：“publisher”，“doi”：“10.1007\/978-3-319-40970-2_23”}_22“}，{”key“：”ref2“，”doi-asserted-by“：”publisher“，”doi“：“10.1109\/ICTAI.2019.00020”}，{“key”：“ref9”，“doi-asserted-by”：“publisher”，“doi”：“10.23919\/FMCAD.2018.8603000”}、{“密钥”：“ref1”，“首页”：“383”，“文章标题”：“通过功能组合消除量词”，“卷”：“5643”，“作者”：“jiang”，“年份”：“2009”，“日志标题”：”CAV蒂尔”：“DSHARP:使用sharpSAT快速d-DNNF编译”，“author”：“muise”，“year”：“2016”，“journal-title”：“Beyond NP AAAI Workshops”}，{“key”：“ref22”，“article-title“：“A normal form characterization for efficient Boolean Skolem function synthesis”，“author”:“shah”，“年份”：“2021”，“日记标题”：“CoRR”}、{“密钥”：“ref21”，“doi-asserted-by”：“publisher”，“doi”：“10.1613\/jair.989”}，{“key”：“ref24”，“doi-asserted-by”：“publisher”，“doi”：“10.1007\/978-3-319-96142-2_17”}“，”年份“：”2016“，”新闻标题“：“第25届国际人工智能联合会议进程IJCAI”}，{“key”：“ref25”，“doi-asserted-by”：“publisher”，“doi”：“10.1007\/s10703-020-00352-2”}]，“event”：{“name”：“2021年第36届ACM\/IEEE计算机科学逻辑研讨会（LICS）”，“location”：“Rome，Italy”，“start”：{date-parts”：[2021,6,29]}，“end”：{data-parts“[2021,7,2]]}}，“container-title”：[“2021年第36届ACM\/IEEE年度计算机科学逻辑研讨会（LICS）”]，“原始标题”：[]，“链接”：[{“URL”：“http://\/xplorestaging.IEEE.org\/ielx7\/9470497\/9470741.pdf？arnumber=9470741”，“内容类型”：“未指定”，“content-version”：“vor”，“intended-application”：“相似性检查”}]，“存放”：{“date-pa”rts“：[2023,1,3]]，“日期时间”：“2023-01-03T07:31:16Z”，“时间戳”：1672731076000}，“分数”：1，“资源”：{“主要”：{“URL”：“https:\/\/ieeexplore.ieee.org\/document\/9470741\/”}}，《副标题》：[]，“短标题”：[]\\/dx.doi.org\\10.1109\/lics52264.2021.9470741“，”关系“：{}，”主题“：[]，“已发布”：{“日期部分”：[[2021,6,29]]}}