{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2022,3,29]]，“日期时间”：“2022-03-29T13:48:13Z”，“时间戳”：1648561693829}，“参考计数”：15，“出版商”：“昴宿星出版有限公司”，“发行”：“2”，“许可证”：[{“开始”：{:“日期部分“：[2021,3,1]]，”日期时间“：”2021-03-01T00:00:00Z“，”时间戳“：1614556800000}，“content-version”：“tdm”，“delay-in-days”：0，“URL”：“https:\\/www.springer.com/tdm”}，{“start”：{“date-parts”：[[2021,3,1]]，“date-time”：“2021-03-01T00:00:00Z”，“timestamp”：16145580000}，]，“内容域”：{“域”：[“link.springer.com”]，“crossmark-restriction”：false}，“short-container-title”：[“Program Compute Soft”]，“published-print”：{“date-parts”：[[2021,3]]}，”DOI“：”10.1134\/s0361768821020043“，”type“：”journal-article“，”created“：{”date-part“：[2021,4,16]]，”date-time“：”2021-04-16T13:16:56Z“，”timestamp“：1618579016000}“page”：“108-118”，“update-p”政策”：“http://\/dx.doi.org\/10.1007\/springer_crossmark_policy”，“source”：“Crossref”、“is-referenced-by-count”：0，“title”：[“布尔多项式的因式分解：并行算法和实验评估”]，“prefix”：“10.1134”，”volume“：”47“，”author“：[{“given”：”P.G.“，”family“：”Emelyanov“，”sequence“：”first“，”affiliation“：[]}，{“给定”：“M”，“family”：“克里希纳”，“序列”：“附加”，“从属”：[]}，{“给定”：“V.”，“家族”：“库尔卡尼”，“顺序”：“额外”，“附属”：[]}，}“给定的”：“S.K.”，“家庭”：“南迪”，“排序”：“外加”，“隶属”family“：”Raha“，”sequence“：”additional“，“affiliation”：[]}]，“member”：“137”，“published-online”：{“date-parts”：[[2021,4,16]]}，“reference”：[{“key”：“3579_CR1”，”doi-asserted-by“：”publisher“，”doi“：”10.1017\/CBO9781139856065“，”volume-title“：”Modern Computer Algebra“，“author”：“J.von zur Gathern”，“year”：“2013”，“unstructured”：“von zur Gather，J.和Gerhard，J.，《现代计算机代数》，剑桥大学出版社，2013年，第3版”}，{“键”：“3579_CR2”，“首页”：“311”，“卷”：“35”，“作者”：“I.I.Zhegalkin”，“年份”：“1928”，“非结构化”：“Zhegallkin，I.I.I.I.，符号逻辑的算术化，Mat.Sb.，1928，第35卷，第1号，第311\u2013377页”，“期刊标题”：“Mat.Sb.”}，{“key”：“3579_CR3”，“首页”：“6”，“卷”：“EC-3”，“作者”：“D.E.Muller”，“年份”：“1954”，“非结构化”：“Muller，D.E.，布尔代数在开关电路设计和错误检测中的应用，IRE Trans.Electron.Compute.，1954，第EC-3卷，第6\u201312页。”，“日记标题”：“IRE Trans.Electron.Comput.”}，{“密钥”：“35.79_CR4”，”doi-asserted-by“：“publisher”，“first page”：“162”，《DOI》：“10.1134\/S0361768815030032”，《volume》：“41”，《author》：“P.G.Emelyanov”，“year”：“2015”，“unstructured”：“Emelyanov-P.G.和Ponomaryov，D.K.，布尔公式与分解的算法问题，Program.Comput.Software，2015年，第41卷，第162\u2013169页。”，“journal-title”：“Program.Cumput.Software”}，{“key”：“3579_CR5”，“doi asserted by”：“publisher”，“首页”：“92”，“doi”：“10.1007\/978-3-662-46823-4_8”，“卷”：“8974”，“作者”：“P.Emelyanov”，“年份”：“2015”，“非结构化”：“Emelyanov，P.和Ponomaryov，D.，关于布尔公式的不相交and分解的可处理性，Lect.Notes Comput.Sci.，2015，第8974卷，第92\u2013101.页。”，“期刊标题”：“Lect.Notes Compute.Sci.”}，{“key”：“3579_CR6”，“doi-asserted-by”：“publisher”，“first page”：”171“，“doi”：“10.1007\/978-3319-93701-4_13”，“volume”:“10861”，“author”：“P.Emelyanov”，“year”：“2018”，“unstructured”：“Emelyanov，P.，On two types of dataset decomposition，Lect.Nots Compute.Sci.，2018，vol.10861，pp.171\u2013183.”，“新闻标题”：“Lect.Notes Compute.Sci.”}，{“key”：“3579_CR7”，“doi-asserted-by”：“crossref”，“unstructured”：“Emelyanov，P.和Ponomaryov，D.，数据分析中的笛卡尔分解，西伯利亚交响乐团数据科学与工程（SSDSE），2017，pp.55\u201360.”，“doi”：“10.1109\/SSDSE.2017.8071964”}第页“：“408”，“DOI”：“10.1007\/978-3642-14165-2_35”，“volume”：“6198”，“author”：“A.Shpilka”，“year”：“2010”，“unstructured”：“Shpilga，A.and Volkovich，I.，《关于多项式同一性测试与发现变量不相交因子之间的关系》，Lect.Notes Compute.Sci.，2010，第6198卷，pp.\u00a0408\u2013419.”，“journal-title”：“Lect.Nots Computes.Sci.”}，{“key”：“3579_CR9”，“doi-asserted-by”：“publisher”，“first page”：”164“，“doi”：“10.1007\/978-3319-99639-4_11”，“volume”：：“11077”，“author”：“P.Emelyanov”，“year”：“2018”，“unstructured”：“Emelyanov，P.和Ponomaryov，D.，关于F 2上多线性多项式的多时间因式分解算法，Lect.Notes Compute.Sci.，2018，第11077卷，pp.\u00a0164\u2013176.”，“journal-title”：“Lect.NNotes Compute.Sic.”}，{“key”：“3579_CR10”，“unstructured”：“Somenzi，F.，CUDD:CU决策图包。https:\/\/github.com/ivmai\/CUDD。2019年12月11日访问。”}，{“key”：“3579_CR11”，“doi-asserted-by”：“publisher”，“first page”：”44“，“doi”：“10.1109\/54.867894”，“volume”：：“17”，“author”：“F.Corno”，“year”：“2000”，“unstructured”：“Corno，F.，Reorda，M.S.，and Squillero，G.，RTlevel ITC’99基准测试和第一次ATPG结果，IEEE Des.Test Compute.，2000，第17卷，第3期，第44\u201353页。”，“期刊标题”：“IEEE Des.Test Computer.”}，{“key”：“3579_CR12”，“doi-asserted-by”：“publisher”，“first page”：“年份”：“1999”，“非结构化”：“Hansen，M.C.，Yalcin，H.和Hayes，J.P.，《揭示ISCAS-85基准：逆向工程中的案例研究》，IEEE Des.Test Comput.，1999年，第16卷，第3期，第72\u201380页。”，“日志标题”：“IEEE Des.Test Compute.”}，{“key”：“3579_CR13”，“非结构性”：“Fi\u0161er，P.和Schmidt，J.，《基准收集的谨慎方法》，第12届国际布尔问题研讨会，2016年，第129\u2013136页。”，“首页”：“325”，“DOI”：“10.1007\/978-3-030-19955-5_28”，“卷”：“11532”，“作者”：“D.Ponomaryov”，“年份”：“2019”，“非结构化”：“Ponomareov，D.，正DNF的多项式时间增量分解算法，Lect.Notes Comput.Sci.，2019，vol.11532，pp.325\u2013336.”，“日志标题”：“Lect.Nots Comput.Sci.”}]，“container-title”：[“编程与计算机软件”]，“原标题”：[]，“语言”：“en”，“链接”：[{“URL”：“https:\/\/link.springer.com\/content\/pdf\/10.1134\/S036768821020043.pdf”，“内容类型”：“应用程序\/pdf”，“内容版本”：“vor”，“预期应用程序”：“文本挖掘”}，{“URL”：“https:\/\/link.springer.com\/article\/10.1134\/S036768821020043\/fulltext.html”，“content-type”：“text\/html”，“content-version”：“vor”，“intended-application”：“text-mining”}，{“URL”：“https:\/\/link.springer.com/content\/pdf\/10.1134\/S0361768821020043.pdf”，“内容类型”：“application\/pdf”，“content-version“：”vor“，”intended-application“：”similarity-checking“}]，“deposed”：{“date-parts”：[2021,4,16]]，“date-time”：“2021-04-16T13:23:08Z”，“timestamp”：1618579388000}，“score”：1，“resource”：{“primary”：}“URL”：“https:\/\/link.springer.com/10.1134\/S0361768821020043”}}，”subtitle“：[]，”shorttitle“：[]，”issued“：{”date-parts“：[2021,3]]}”references-count“：15，”journal-sissue“：{“issue”：“2”，”published-print“：{”日期部分“：[[2021,3]]}}，”alternative-id“：[”3579“]，”URL“：“http://\/dx.doi.org\/10.1134\/s0361768821020043”，“关系”：{}，“ISSN”：[“0361-7688”，“1608-3261”]，“ISSN-type”：[{“value”：“0361.7688”value“：”2020年4月2日“，”order“：1，”name“：”received“，”label“：”received“，“group”：{“name”：“文章历史”，“标签”：“文章史”}}，{“值”：“2020年5月6日”1“，”订单“：4，”名称“：“first_online”，“label”：“首次联机”，“group”：{“name”：“ArticleHistory”，“标签”：“文章历史”}}]}}