{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期-部件”：[[2024,5,29]]，“日期-时间”：“2024-05-29T21:14:03Z”，“时间戳”：1717017243698}，“参考-计数”：36，“出版商”：“IEEE”，“许可证”：[{“开始”：}“日期-部分”：[[2021,6,29]，“时间”：”2021-06-29T00:00:00Z“，”timestamp“：1624924800000}，”content-version“：“stm-asf”，“delay-in-days”：0，“URL”：“https:\\/doi.org\/10.15223\/policy-029”}，{“start”：{“date-parts”：[[2021,6,29]]，“date-time”：“2021-06-29T00:00:00Z”，“timestamp”：1624924800000}，“content-version”：“stm-asf”7“}]，”内容域“：{”域“：[]，”交叉标记限制“：false}，“short-container-title”：[]，“published-print”：{“date-parts”：[[2021,6,29]]}，“DOI”：“10.1109\/lics52264.2021.9470632”，“type”：“proceedings-article”，“created”：{“date-parts”：[[2021,7,7]]，“date-time”：“2021-07-07T20:14:07Z”，“timestamp”：162568884700}，”源“Crossref”，“is-referenced-by-count”：3，“title”：[“No-Rainbow问题和Surjective约束满足问题”]，“前缀”：“10.1109”，“作者”：[{“给定”：“Dmitriy”，“家族”：“朱克”，“序列”：“第一”，“从属关系”：[}“名称”：“俄罗斯健康安全与环境大学”}]}]，“成员”：“263”，“引用”：[[2“key”：“ref33”，“doi-asserted-by”：“publisher”，”doi“：”10.1145\/1120582.120584“}，{“key:”参考32“，”doi-asserted-by“：“crossref”，“first page”：“660”，“DOI”：“10.1016\/j.dam.2005.019”，“article-title”：“着色混合超树”，“volume”：”154“，“author”：“kr\u00e1l”，“year”：“2006”，“journal-title“：”Discrete Applied Mathematics“}，{”key“：”ref31“，”DOI-asserted-by“：”publisher“，”DOI“：”10.1016\/S0012-365X（99）00382-9“}”，{“key”“：”ref30“，”首页“：”1“，”文章标题“：“混合超图”，“卷”：“1”，“作者”：“voloshin”，“年份”：“1993”，“期刊标题”：“摩尔多瓦计算机科学期刊”}，{“key”：“ref36”，“作者”：“lau”，“年份”：“2006”，“期刊标题”：“有限集上的函数代数”}，{“key”：“ref35”，“doi断言者”：“publisher”，“doi”：“10.1145\/800133.804350”}，{“key”：“ref34”，“文章标题”：“代数全局gadgetry for surpjective约束满足”，“author”：“chen”，“year”：“2020”}，{“key”：“ref10”，“doi-asserted-by”：“publisher”，“doi”：“10.1016\/j.tcs.2011.07.005”}，“doi”：“10.1016\/j.disc.2009.11.030”}，{“密钥”：“ref13”，“doi-asserted-by”：“publisher”，“doi”：“10.1016\/j.dam.2010.09.009”}，{“key”：“ref14”，“doi-assertd-by”：“publisher”，“DI:”10.1016\/j.jctb.2014.09.002“}”，{《key》：“ref15”，“首页”：“977”，“article-title”：“压缩到循环的计算复杂性”，“author”：“vikas”，“year”：“1999”，“journal-title“”：“第十届ACM-SIAM离散算法年会论文集”}，{“key”：“ref16”，“first page”：：“69:1”，“article-title”：“顶点压缩到非自反六边形下图形划分的计算复杂性”，“volume”：”83“，”author“：”vikas“，”year“：”0“}，”{“key”：：“ref18”，“doi-asserted-by”：“publisher”，“doi”：“10.1137\/17M1153182”}，{“key”：“ref19”，“doi-assertd-by”：“publisher”，“DI:”10.1016\/j.jcss.2004.07.003 publisher“，”doi“：”10.1109\/FOCS.2017.38“}，{“key”：“ref27”，“doi-asserted-by”：“publisher”，“DOI”：“10.1137\/1.9780898718546”}，{“key”：“ref3”，“DOI-asserted-by”：“publisher”，“DOI:”10.1109\/FOCS.2017.37：“2004”，“新闻标题”：“博士学位论文”}，{“key”：“ref5”，“doi-asserted-by”：“publisher”，“doi”：“10.1145\/3402029”}“卷”：“8”，“作者”：“golovach”，“年份”：“2019”，“journal-title”：“可计算性”}，{“key”：“ref2”，“doi-asserted-by”：“publisher”，“doi”：“10.1109\/FOCS.2017.37”}{“key”：“ref20”，“doi-asserted-by”：“publisher”，“doi”：“10.1016\/S0022-0000（03）00034-5“}，{“key”：“ref22”，“doi-asserted-by”：“publisher”，“doi”：“10.1007”，ref23“，”doi-asserted-by“：”publisher“，”doi“：”10.1016\/j.tcs.2012.06.039“}，{”key“：”ref26“，”doi-asserted-by“：”publisher“，”doi“：”10.1051\/ita\/1997310604991“}，{“key”：“ref25”，“article-title”：“关于约束的三个具体复杂性问题，寻找理论”，“author”：“chen”，“year”：“0”}]，“event”：{“name”：“2021年第36届ACM\/IEEE计算机科学逻辑研讨会（LICS）”，“location”：“Rome，Italy”，“start”：date-parts“：[2021,6,29]]}，“end”：{“date-part”：[[2021,7,2]]}}，”container-title“：[“2021年第36届ACM\/IEEE计算机科学逻辑研讨会（LICS）”]，”original-title”：[]，“link”：[{“URL”：“http://\xplorestaging.IEEE.org\/ielx7\/9470497\/9470632.pdf？arnumber=9470632”，“content-type”：“未指定”，“content-version”：“vor”，“intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[2022,8,2]，”date-time“：”2022-08-02T23:01:49Z“，”timestamp“：1659481309000}，”score“：1，”resource“：{primary”：{“URL”：“https:\/\/ieeexplore.iee.org\/document\/9470632\/”}}，“subtitle”：[]，“shorttitle”：[]，“issued”：{“date-part”：[2021,6,29]]}，“references-count”：36，“URL”：“http:\/\/dx.doi.org\/10.109\/lics52264.2021.9470632“，”关系“：{}，”主题“：[]，”发布“：{”日期部分“：[2021,6,29]]}}}