｛“状态”：“正常”，“消息类型”：“工作”，“消息版本”：“1.0.0”，“消息”：｛“索引”：｛“日期部分”：[[2022,3,30]，“日期时间”：“2022-03-30T006:09:47Z”，“时间戳”：1648620587420｝，“引用计数”：32，“发布者”：“爱思唯尔BV”，“许可证”：[｛“开始”：｛“日期部分”：[[2016,5,1]]，“日期时间”：“2016-05-01T00:00:00Z”，“时间戳”：1462060800000｝，”内容版本“：“tdm”，“delay-in-days”：0，“URL”：“https:\/\/www.elsevier.com/tdm\/userlicense\/1.0\/”}，{“start”：{“date-parts”：[[2020,5,1]]，“date-time”：“2020-05-01T00:00:00Z”，“timestamp”：1588291200000}，“content-version”：“vor”，“delay-in-days”：1461，“URL“http://\/www.elsevier.com\/open-access\/user”许可证\/1.0\/“}]，“出资人”：[{“DOI”：“10.13039\/10000185”，“名称”：“国防高级研究计划局”，“doi-asserted-by”：“publisher”，“award”：[“N66001-10-4040”]}]，“content-domain”：{“domain”:[“elsevier.com”，“sciencedirect.com”]，“crossmark-restriction”：true}，“short-container-title”：[《符号计算杂志》]，“published-print”：{“date-parts”：[[2016,5]]}，”doi“10.1016\/j.jsc.2015.06.008”，“类型”：“journal-article”，“created”：{“date-parts”：[[2015,6,19]]，“date-time”：“2015-06-19T16:54:54Z”，“timestamp”：1434732894000}，“page”：“152-180”，“update-policy”：”http://\/dx.doi.org\/10.10016\/elsevier_cm_policy“，”source“：”Crossref“，“is-referenced-by-count”：2，“title”：[“多项式时间可解#CSP问题通过代数模型和Pfaffi电路“]，“prefix”：“10.1016”，“volume”：“74”，“author”：[{“给定”：“S.”，“family”：“Margulies”，“sequence”：“first”，“affiliation”：[]}，{“给出”：“J”，“家族”：“Morton”，“序列”：“附加”，“从属”：[]}]，“member”：“78”，“reference”：[}“key”：”10.1016\/J.jsc.2015.06.008_br0010“，”doi-asserted-by“：”crossref“，“首页”：“7”，“doi”：“10.1017\/S096354839800341”，“article-title”：“组合Nullstellensatz”，“volume”：“8”，“author”：“Alon”，“year”：“1999”，“journal-title“：”Comb.Probab.Comput.“}，{”key“：”10.1016\/j.jsc.2015.06.008_br0020“，”doi-asserted-by“：”crossref“，”first page“：“：”12“，”author“：”Alon“，”year“：”1992“，“期刊标题”：“Combinatorica”}，｛“key”：“10.1016\/j.jsc.2015.06.008_br0030”，“非结构化”：“Archie，j.，Day，W.H.E.，Felsenstein，j.，Maddison，W.，Meacham，C.，Rohlf，F.j.，Swoford，D.，1986。Newick树格式。“}，{”issue“：”5“，”key“：”10.1016\/j.jsc.2015.06.008_br0040“，”doi-asserted-by“：”crossref“，”first page“：“34”，”doi“：”101145\/2528400“，”article-title“：”计数约束满足问题的复杂性“，”volume“：016\/j.jsc.2015.06.008_br0050“，”doi-asserted-by“：”crossref“，”first-page“：”16“，”doi“：”10.1137 \/050628957“，”article-title“：”Mal'tsev约束的简单算法“，”volume“：”36“，”author“：”Bulatov“，”year“：”2006“，”journal-title”：“SIAM J.Compute。“｝，｛”issue“：”5“，”key“：”10.1016\/j.jsc.2015.06.008_br0060“，”doi断言“：”crossref“，”首页“：”651“，”doi“：”10.1016\/j.ic.2006.09.005“，”文章标题“：”走向计数约束满足问题的二分法定理“，”卷“：”205“，”作者“：”Bulatov“，”年份“：”2007“，”期刊标题“：”Inf.Comput.“｝，｛”issue“：”38“，”key“：”10.1016\/j.jsc.2015.06.008_br0070“，”doi-asserted-by“：”crossref“，”first page“：”3949“，”doi“：”10.1016\/j.tcs.2009.06.003“，”article-title“：”带混合符号的加权布尔#CSP的复杂性“，”volume“：“410”，“author”：“Bulatov”，“year”：“2009”，“journal-title”：“Theor”。计算。科学。“}，{”issue“：”2\u20133“，”key“：”10.1016\/j.jsc.2015.06.008_br0080“，”doi-asserted-by“：”crossref“，”first-page“：”148“，“doi”：“10.1016\/j.tcs.2005.09.011”，“article-title”：“划分函数的复杂性”，“volume”：“348”，“author”：“Bulatov”，“year”：“2005”，“journal-title“：”Theor.Comput.Sci.“}”，{“key”：“10.1016\/j.jsc.2015.06.008_br0090”，“series-title”：“程序。第44届计算理论研讨会”，“首页”：“909”，“article-title”：“计算具有复数权重的CSP的复杂性”，“author”：“Cai”，“year”：“2012”}，{“key”：“10.1016\/j.jsc.2015.06.008_br0100”，“series-title”：《IEEE第26届计算复杂性年会》，“first page”：非负加权#CSP:一种有效的复杂性二分法“，”author“：”Cai“，”year“：”2011“}，{”issue“：”1“，”key“：”10.1016\/j.jsc.2015.06.008_br0110“，”doi-asserted-by“：”crossref“，”first page“：“，”年份“：”2007“，”期刊标题“：”理论。计算。科学。“}，{”issue“：”4“，”key“：”10.1016\/j.jsc.2015.06.008_br0160“，”doi-asserted-by“：”crossref“，”first page“：“1101”，”doi“：”101137\/100814585“，”article-title“：”Holant问题的计算复杂性“，”volume“：jsc.2015.06.008_br0120“，”series-title“：”第四十五届ACM计算机理论年会论文集”，“第一页”：“635”，“文章标题”：“从消失签名的捕获中产生一个完整的二分法”，“作者”：“蔡”，“年份”：“2013”}，{“问题”：“3”，“关键”：“10.1016\/j.jsc.2015.06.008_br0130”，“doi-asserted-by”：“crossref”，《第一页》：“511”，“doi”：“10.007\/s00453-012-9626-6”，“article-title“：”From Holant to#CSP and back：“holantc问题的二分法”，“volume”：“64”，“author”：“Cai”，“year”：“2012”，“journal-title”：“Algorithmica”}，{“key”：”10.1016\/j.jsc.2015.06.008_br0140“，”series-title“：“理论计算机科学会议第三次创新会议论文集”，“首页”：“452”，“article-title”导致复杂性二分法的小工具和反小工具”，“author”：“Cai”，“year”：“2012”}，{“key”：“10.1016\/j.jsc.2015.06.008_br0150”，“series-title”：“第41届ACM计算理论年会论文集”，“首页”：“715”，“article-title”：10.1016\/j.jsc.2015.06.008_br0170“，“series-title”：“第二十四届ACM\u2013SIAM离散算法研讨会论文集”，“首页”：“1278”，“article-title”：“Holant*问题与域大小3上的函数的二分法”，“author”：“Cai”，“year”：“2013”}，{“issue”：“1”，“key”：”10.1016//j.jsc.2015.06.008_br0180“，”doi-asserted-by“：”crossref“，”first page“：”217“，”DOI“：”10.1016\/j.jcss.2013.07.003“，”article-title“：”The complex of complex weighted Boolean#CSP“，”volume“：“80”，”author“：”Cai“，”year“：”2014“，”journal-title”：“j.Compute”。系统。科学。“}，{”key“：”10.1016\/j.jsc.2015.06.008_br0190“，”series-title“：”FOCS“，”first page“：“：”1970“，”doi“：”10.1137\/070690201“，”article-title“：“加权布尔值#CSP的复杂性”，“volume”：“38”，“author”：“Dyer”，“year”：“2009”，“journal-title”：“SIAM J.Compute。“}，{”key“：”10.1016\/j.jsc.2015.06.008_br0210“，”series-title“：”第四十二届ACM计算理论研讨会论文集“，”第一页“：”725“，”article-title“：“关于#CSP的复杂性”，“author”：“Dyer”，“year”：“2010”}，“issue”：“3”，“key”：“10.1016\/j.jsco.2015.06.08_br020”，”doi-asserted-by“：”crossref“，”first“页面“：”1245“，”doi“：”10.1137\/100811258“，”文章标题“：”计数约束满足问题的有效二分法“，”卷“：”42“，”作者“：”戴尔“，”年份“：”2013“，”期刊标题“：“SIAM J.Compute。“}，{”key“：”10.1016\/j.jsc.2015.06.008_br0230“，”series-title“：”Automata，Languages，and Programming“，”first page“：“516”，”article-title“：“带复数权重的平面布尔值#CSP的复杂性”，“author”：“Guo”，“year”：“2013”}，}“issue”：“2”，“key”：“10.1016\/j.jsco.2015.06.08_br02040”，“doi-asserted-by”：“crossref”，“首页”：“782”，“doi”：“10.1016\/j.laa.2012.01.010“，“article-title”：“无匹配门的全息算法”，“volume”：“438”，“author”：“Landsberg”，“year”：“2013”，“journal-title“：“线性代数应用”。“}，{”issue“：”4“，”key“：”10.1016\/j.jsc.2015.06.008_br0250“，”doi-asserted-by“：”crossref“，”first-page“：”551“，”doi“：”101017\/S0963548309009894“，”article-title“：”用多项式方程组和Nullstellensatz表示组合优化问题“，”volume“：“18”，“author”：“De Loera”，“year”：“2009”，“journal-title”：“”梳子。普罗巴伯。计算。“}，{”key“：”10.1016\/j.jsc.2015.06.008_br0260“，”doi-asserted-by“：”crossref“，”first page“：“137”，“doi”：“10.1016\/0012-365X（92）00057-X”，“article-title”：“稳定集与多项式”，“volume”：“124”，”author“：”Lov\u00e1sz“，”year“：”1994“，”journal-title“：”Discrete Math.“}”，{“key”：”10.116\/j.jsc.2015.06.008_br0270“，”作者“：”莫顿“}，{”密钥“：”10.1016\/j.jsc.2015.06.008_br0280“，”doi-asserted-by“：”crossref“，”first page“：”357“，”doi“：”10.1016\/j.laa.2014.09.050“，”article-title“：”确定性电路的广义计数约束满足问题“，”volume“：“466”，”author“：”Morton“，”year“：”2015“，”journal-title”：“线性代数应用。“}，{”issue“：”2“，”key“：”10.1016\/j.jsc.2015.06.008_br0290“，”doi-asserted-by“：”crossref“，”first page“：“205”，”doi“：”101016\/j.jcta.2004.06.011“，”article-title“：”Nowhere-zero flow多项式“，”volume“：‘108’，”author“：”Onn“，”year“：”2004“，”journal title“：“j.Comb.Theory，Ser.A”}，}“key”：“10.1016\/j.jsc.2015.06.008_br0300”，“doi-asserted-by”：“crossref”，“首页“：”1229“，”DOI“：”10.1137\/S0097539700377025“，”文章标题“：”可以在多项式时间内经典模拟的量子电路“，”卷“：”31“，”作者“：”瓦利安“，”年份“：”2002“，”期刊标题“：“SIAM J.Sci。计算。“}，{”key“：”10.1016\/j.jsc.2015.06.008_br0310“，”doi-asserted-by“：”crossref“，”first page“：“1565”，“doi”：“10.1137\/070682575”，“article-title”：“全息算法”，“volume”：“37”，“author”：“Valiant”，“year”：“2008”，“journal-title“：”SIAM j.Compute.“}”，{“key”：”10.116\/j.jsc.2015.06.008_br 0320“，”author“：”Pfister“}]，”container-title“：[”符号计算杂志“]”，“original-title”：[]，“language”：“en”，“link”：[{“URL”：“https:\/\/api.elsevier.com/content\/article\/PII:S07477115000589？httpAccept=text\/xml”，“content-type”：“text\/xml”，“content-version”：“vor”，“intended-application”：“text-mining”}，{“URL”：“http://api.elsevier.com/content\/aarticle\-PII:S0 747717115000589？httpAccept=text\/plain“，”content-type“：”text\/prain“，“content-version”：“vor”，“intended-application”：“text-mining”}]，“deposed”：{“date-parts”：[2021,3,14]]，“date-time”：“2021-03-14T12:29:07Z”，“timestamp”：1615724947000}，“score”：1，“resource”：{“primary”：“URL”：“https:\\/linkinghub.elsevier.com/retrieve\/pii\/S07477171 15000589“}}，”副标题“：[]，”短标题“：[]，”发布“：{“date-parts”：[[2016,5]]}，“references-count”：32，“alternative-id”：[“S074717115000589”]，“URL”：“http://\/dx.doi.org\/10.1016\/j.jsc.2015.06.008”，“relation”：{}，”ISSN“：[”0747-7171“]，”ISSN-type“：[{”value“：”0747.7171“，”type“”：“print”}]，“subject”：[]，“published”：{“date-parts”：[[2016,5]]}，“assertion”：[{“value”：“Elsevier”，“name”：“publisher“，”label“：”本文由“}维护，{“value”：“多项式时间可解#CSP问题通过代数模型和Pfaffian电路”，“name”：“articletite”，“label”：“article Title”}，{”value“：”Journal of Symbolic Computation“，”name“：”journaltitle“，”tabel“：“Journal Title“}，”value：“https:\/\/doi.org\/101016\/j.jsc.2015.06.008”，“name:”articlelink”，“label”：“CrossRef DOI链接到出版商维护的版本”｝，｛“value”：“article”，“name”：“content_type”，“label”：“content type”｝，｛“value”：“Published by Elsevier Ltd.”，“name”：“copyright”，“label”：“copyright”｝]｝