{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期-部件”：[[2024,7,2]，“日期-时间”：“2024-07-02T13:46:55Z”，“时间戳”：1719928015028}，“引用-计数”：68，“发布者”：“Elsevier BV”，“许可证”：[{“开始”：“日期-零件”：[2020,7,1]]，“日期时间”：”2020-07-01T00:00:00 0:00Z“，”时间戳“：1593561600000}，”内容-版本“：“tdm”，“delay-in-days”：0，“URL”：“https:\/\/www.elsevier.com/tdm\/userlicense\/1.0\/”}，{“start”：{“date-parts”：[[2019,3,15]]，“date-time”：“2019-03-15T00:00:00Z”，“timestamp”：1552608000000}，“content-version”：“vor”，“delay-in-days”：“0，”URL“http://creativecommons.org\/license\/by\/4.0\/“}]，“出资人”：[{“DOI”：“10.13039\/5010000781”，“名称”：“European Research Council”，“doi-asserted-by”：“publisher”，“award”：[“338077”]，“id”：[{“id”:“10.13039\/5010000781”，“id type”：“doi”，“asserted by”：“publisher”}]}，{“doi“：”10.13039\/10001102“，”name“：”Seventh Framework Programme“，”doi-assert-by“：”publisher“，”award“：[”FP\/2007-2013“]，“id”：[}3039 \/100011102“，”id-type“：”doi“，”asserted-by“：“publisher”}]}]，“content-domain”：{“domain”:[“elsevier.com”，“sciencedirect.com”]，“crossmark-restriction”：true}，“short-container-title”：[“Journal of Symbolic Calculation”]，”published-print“：{”date-parts“：[[2020,7]]}，”DOI“：”10.1016\/j.jsc.2019.03.002“，”type“：”Journal-article“，”created“：{”date-ports“：[2019,3,8]]，“日期-时间”：“2019-03-08T16:35:36Z”，“时间戳”：1552062936000}，“页面”：“21-49”，“更新策略”：“http://\/dx.doi.org\/10.1016\/elsevier_cm_policy”，“源”：“Crossref”，”is-referenced-by-count“：0，“special_numbering”：“C”，“title”：[“用于对称减少的自适应前缀分配技术”]，“前缀”：“10.1016”，“卷”：“99”，“作者”：[{“给定”：“Tommi”，“家族”：“Junttila“，”序列“：“first”，“affiliation”：[]}，{“given”：“Matti”，“family”：“Karppa”，“sequence”：“additional”，“abfiliation“：[]{”given“：”Petteri“，”family“：”Kaski“，“segment”：“additional”、“affidiation”：[]}、{“给定”：“Jukka”，“家族”：“Kohonen”，“序列”：“附加”，“从属关系”：[]}，“member”：“78”，“reference”：[{“key”：“10.1016\/j.jsc.2019.03.002_br0010”，“series-title”：“物理与数学”，“第一页”：“19”，“文章标题”：“关于5\u00d72矩阵乘以2\u00d72矩阵的双线性复杂性”，“卷”：“第156卷”，“作者”：“Alekseev”，“年份”：“2014”}，｛“问题”：“4”，“密钥”：“10.1016\/j.jsc.2019.03.002_br0020”，“第一页”：“11”，“文章标题”：“关于m\u00d72和2\u00d72-矩阵乘法的双线性复杂性”，“卷”：“16”，“作者”：“Alekseev”，“年份”：“2015”，“日记标题”：“Chebyshevski \u012d Sb.”}，{“问题”：“1”，“键”：“10.1016\/j.jsc.2019.03.002_br0030”，“doi-asserted-by”：“crossref”，“首页”：“123”，“doi”：“101134”，“文章标题”：“关于4\u00d72和2\u00d72-矩阵乘法的精确和近似双线性复杂性”，“volume”：“282”，“author”：“Alekseev”，“year”：“2013”，“journal-title”：“Proc.Steklov Inst.Math.”}，{“issue”：“1”，“key”：”10.1016\/j.jsc.2019.3.002_br0040“，”doi-asserted-by“：”crossref“，”first page“：”71“，“doi”：“10.1016\/0196”-6774（85）90019-7“，“article-title”：“关于矩阵乘法的一些算法的复杂性”，“volume”：“6”，“author”：“Alekseyev”，“year”：“1985”，“journal-title“：”J.algorithms“}，{“key”：”10.1016\/J.jsc.2019.03.002_br0050“，“series-title”：”Proc.IJCAI 2003“，”first page“：”271“，”article-title“”：”Boolean可满足性的有效对称破缺“，”author“Aloul”，“年份”：“2003”｝，｛“密钥”：“10.1016\/j.jsc.2019.03.002_br0060”，“系列标题”：“Proc.SAT 2016”，“首页”：“87”，“文章标题”：“SAT问题的极端情况”，“卷”：“第9710卷”，“作者”：“Audemard”，“年份”：“2016”｝，｛“密钥”：“10.1016\/j.jsc.2019.03.002_br0070”，“系列标题”：“第48届ACM SIGACT计算理论年度研讨会论文集”，“首页”：“684”，“article-title”：“拟多项式时间中的图同构”，“author”：“Babai”，“year”：“2016”}，{“key”：“10.1016\/j.jsc.2019.03.002_br0080”，“series-title”：《第十六届国际程序设计、人工智能和推理逻辑会议论文集》：“可满足性问题中的动态对称破缺”，“author”：“Benhamou”，“year”：“2010”}，{“key”：“10.1016\/j.jsc.2019.03.002_br0090”，“series-title”：“第22届IEEE人工智能工具国际会议论文集，第1卷”，“首页”：“329”，“article-title”：，“author”：“Benhamou”，“year”：“2010”}，{“issue”：“1”，“key”：“10.1016\/j.jsc.2019.03.002_br0100”，“doi-asserted-by”：“crossref”，”first page“：”89“，”doi“：”10.1007\/BF00881844“，”article-title“：”命题演算中对称性的可拓广性“，”volume“：“12 m.原因。“}，{”键“：“10.1016\/j.jsc.2019.03.002_br0110”，“series-title”：“第20届ACM SIGPLAN并行编程原理与实践研讨会论文集”，“首页”：“42”，“article-title”：“实用并行快速矩阵乘法框架”，“author”：“Benson”，“year”：“2015”}，{“key”：：“2016年SAT竞赛论文集：解算器和基准描述，第B-2016-1卷”，“首页”：“44”，“文章标题”：“Splatz，lingeling，plingeling，treengling，YalSAT参加2016年的SAT竞赛”，“author”：“Biere”，“year”：“2016”}，{“issue”：“3”，“key”：“10.1016\/j.jsc.2019.03.002_br0130”，“doi-asserted-by”：“crossref”：“10.1007\/s000370050028”，“article-title”：“矩阵乘法的乘法复杂度下限”，“volume”：“8”，”author“：”Bl\u00e4ser“，”year“：”1999“，”journal-title“：”Compute.Complex.“}，{”issue“：”1“，”key“：”10.1016\/j.jsc.2019.002_br0140“，”doi-asserted-by“：”crossref“，“first page”：”43“，”doi“：”101016\/S0885-064X（02）00007-9“，“article-title”：“关于小格式矩阵乘法的复杂性”，“volume”：“19”，“author”：“Bl\u00e4ser”，“year”：“2003”，“journal-title“：”J.Complex.“}，{“key”：”10.1016\/J.jsc.2019.03.002_br0150“，”article-title“:”置换群的基本算法“，”volume“：”559“，”author“：”Butler“，”year“：”1991“}”，{”issue“：”4“，”key“”：“10.1016\/j.jsc.2019.03.002_br0160”，“doi-asserted-by”：“crossref”，“first page”：“434”，“doi”：“10.1007\/s10601-014-9163-9”，”article-title“：“对称性、几乎对称性和惰性子句生成”，“volume”：”19“，”author“：”Chu“，“year”：“2014”，“journal-title”：“Constraints”}，{“key”：“series-title”：“2016年CP程序”，“first page”：“157”，“article-title”：“打破图的对称性：鹦鹉学舌”，“volume”：《第9892卷》，“author”：“Codish”，《年份》：“2016年”}，{“key”：”10.1016\/j.jsc.2019.03.002_br0180“，“series-title”：《计算逻辑、代数、编程、工具和基准测试第三届国际会议论文集》，“first-page”：“22”，“文章标题”：“乘法复杂性和用SAT解算器求解广义Brent方程”，“作者”：“Courtois”，“年份”：“2012”}，{“key”：“10.1016\/j.jsc.2019.03.002_br0190”，“系列标题”：“Proc.KR”，“首页”：“148”，“文章标题”：“搜索问题的对称性破坏谓词”，“作者”：“Crawford”，“年份”：“1996”}，{“key”：“10.1016\/j.jsc.2019.03.002_br0200”，“series-title”：“Proc.DAC 2004”，“first page”：“530”，”article-title“：“CNF对称性检测中的结构开发”，“author”：“Darga”，“year”：“2004”}，{“key”：”10.1016//j.jsc.2019.03.002_br0210“，”series-tile“：”可满足性测试的理论与应用“，”first page:“83”，“article-title”：“对称解释学习：SAT的有效动态对称处理”，“author”：“Devriendt”，“year”：“2017”}，{“key”：“10.1016\/j.jsc.2019.03.002_br0220”，“series-title”：“Proc.SAT 2016”，“first page”：”104“，“article-title”：”SAT的改进静态对称破缺：“10.1016\/j.jsc.2019.03.002_br0230”，“series-title”：“IEEE第24届人工智能工具国际会议”，“首页”：“49”，“article-title”：“对称传播：SAT中改进的动态对称破缺，第1卷”，“author”：“Devriendt”，“year”：“2012”}，{“key”：：“高性能计算网络、存储和分析会议论文集”，“第一页”：“1”，“article-title”：“可伸缩的偷窃工作”，“author”：“Dinan”，“year”：“2009”}，{“key”：“10.1016\/j.jsc.2019.03.002_br0250”，“article-titel”：“置换组”，“volume”：《第163卷》，“auther”：“Dixon”，“year”：《1996》}，}“key”：“10.1016\/j.jsc.2019.03.002_br0260”，“series-title”：“Probl\u00e8mes Combinatoires et Th\u00e 9orie des Graphes”，“first page”：“131”，“article-title”：《组合对象的构造枚举》，“volume”：《volume 260》，“author”：“Farad\u017eev”，“year”：“1978”}，{“key”：：“Proceedings，11th European PVM\/MPI Users’Group Meeting”，“first page”：“97”，“article-title”：“Open MPI:goals，concept，and design of a next generation MPI implementation”，“author”：“Gabriel”，“year”：“2004”}，{“key”：”10.1016\/j.jsc.2019.03.002_br0280“series-title”：《约束编程手册》，《人工智能基础》第2卷，“首页”：“329”，“文章标题”：“约束编程中的对称性”，“作者”：“Gent”，“年份”：“2006”}，{“key”：“10.1016\/j.jsc.2019.03.002_br0290”，“series-title”：“拉姆齐理论”，“author”：“Graham”，“year”：“1990”}：“10.1016\/j.jsc.2019.03.002_br0300”，“doi-asserted-by”：“crossref”，“first page”：“75”，“doi”：“10.1007\/s10472-010-9174-1”，“article-title”：“一些变量对称族的最小排序约束”，“volume”：”57“，“author”：“Grayland”，“year”：“2009”，“journal-title“：”Ann.Math.Artif.Intell.“}，{”key“：”10.1016//j.jsc.2019.03.002_br0310“，“author”：“Grohe”}，{“key”：“10.1016\/j.jsc.2019.03.002_br0320”，“series-title”：“Using MPI:Portable Parallel Programming with the Message-Passing Interface”，“author”：“Groupp”，“year”：“2014”}；{“issue”：“2，part 2”，“key“10.1016 \/j.jsc.2019.03.002_br0330”，“doi-asserted-by”：“crossref”，”first page“：“21”，“doi”：“10.230”7\/2313307“，”文章标题“：“组合分析与计算机”，“卷”：“72”，“作者”：“霍尔”，“年份”：“1965”，“期刊标题”：“Am.Math.Mon.”}，{“问题”：“4”，“关键”：“10.1016\/j.jsc.2019.03.002_br0340”，“doi-asserted-by”：“crossref”，“首页”：“644”，”doi“10.1016 \/0196-6774（90）90014-6”，“文章标题”：te“，”volume“：”11“，”author“：”H\u00e5stad“，”year“：“1990”，“journal-title”：“J.Algorithms”}，{“key”：“10.1016\/J.jsc.2019.03.002_br0350”，“series-title”：”Proc.HVC 2011“，”first page“：”50“，”article-title“：”Cube and converk:guided CDCL SAT solvers by lookaheads“，”volume“：第7261卷“，”author“：”Heule“，”year“：”2011“}，}“key”：”10.1016//J.jsc.2019.03.002_br0360“，“series-title”：“2016年SYNASC公报”，“first page”：“149”，“article-title”：“The quest for complete and compact symmetry breaking for graph problems”，“author”：“Heule”，《年份》：“2016”}，{“issue”：“1”，“key”：”10.1016\/j.jsc.2019.03002_br0370“，”doi-asserted-by“：”crossref“，”first page:“30”，“doi”：“10.1137\/0120004”，“article-title”：“最小化矩阵乘法所需的乘法数”，“volume”：“20”，“author”：“Hopcroft”，“year”：“1971”，“journal-title”：“SIAM J.Appl.Math.”}，{“key”：”10.1016\/J.jsc.2019.03.002_br0380“，“series-title”：”2017 IEEE国际并行与分布式处理研讨会“，“首页”：“656”，“article-title“：“生成实用快速矩阵乘法算法族”，“author”：“Huang”，“year”：“2017”}，{“key”：“10.1016\/j.jsc.2019.03.002_br0390”，“series-title”：“群论教程”，“author”:“Humphreys”，“year”:“1996”}、{“issue”：“3”，“key“10.1016”，“j.jsc.2019.03.002_br0400”，“doi-asserted-by”：“crossref”，《首页》：“357”，“内政部”：“10.1007\/s10601-016-9244-z”，“article-title”：“用经典集打破图搜索中的对称性”，“volume”：“21”，“author”：“Itzhakov”，“year”：“2016”，“journal-title“：”Constraints“}，{“key”：”10.1016\/j.jsc.2019.03.002_br0410“，”series-title“：“第十七届国际约束编程原理与实践会议”，“首页”：“729”，“article-title”：“局部对称破缺约束的自动生成”，“volume”：“vol.6876”，“author”：“Jefferson”，“year”：“2011”}，{“key”：”10.1016\/j.jsc.2019.03.002_br0420“，“series-title”：”Proc.ALENEX 2007“，“artice-title“：”为大型稀疏图设计一个高效的规范标记工具“，”author“：”Junttila“，”year“：”2007“}，{“key”：“10.1016\/j.jsc.2019.03.002_br0430”，“author”：“Karppa”}，{“密钥”：“101016\/j.jsc.2019.03.002_br0440”，“article-title”：“代码和设计的分类算法”，“volume”：第15卷，“author”：“Kaski”，“year”：“2006”}、{“key”：“volume”：“vol.19”，“author”：“Kerber”，“year”：“1999”}，{“issue”：“1\u20133”，“key”：“10.1016\/j.jsc.2019.03.002_br0460”，“doi-asserted-by”：“crossref”，“first-pages”：“63”，“doi”：“101023\/A:1005998722658”，“article-title”：“群作用、双陪集和同态：离散结构构造理论的统一概念”，“volume”：“”，“journal-title”：“Acta Appl.Math.”}，{“key”：“10.1016\/j.jsc.2019.03.002_br0470”，“series-title”：《计算机编程的艺术》第4A卷组合算法第1部分，“author”：“Knuth”，“year”：“2011”}090\/S0002-9904-1976-13988-2“，“article-title”：“使用23次乘法将3\u00d73矩阵相乘的非对易算法”，“volume”：“82”，“author”：“Laderman”，“year”：“1976”，“journal-title“：”Bull.Am.Math.Soc.“}，{“issue”：“4\u20135”，“key”：”10.1016\/j.jsc.209.03.002_br0490“，”doi-asserted-by“：”crossref“，“first-page”：“533”，“doi”：“10.1016\/S0747-7171（08）80103-4“，“article-title”：“基于分区的置换群算法，I：理论与算法”，“volume”：“12”，“author”：“Leon”，“year”：“1991”，“journal-title“：J.Symb.Comput.”}，{“key”：”10.1016\/J.jsc.2019.03.002_br0500“，”series-title“：”Groups and Computation“，”first page“：”123“，”article-title“：“分区、细化和置换群计算，II”，“卷”：“第28卷”，“作者”：“Leon”，“年份”：“1997”}，{“问题”：“1”，“键”：“10.1016\/j.jsc.2019.03.002_br0510”，“doi-asserted-by”：“crossref”，“首页”：“161”，”doi“：”10.1137\/140999980“，”article-title“：“有界树宽图的固定参数可处理标准化和同构测试”，“卷”：“46”，“作者”：“Lokshtanov”，“年份”：“2017年”，“期刊标题”：“SIAM J.Compute.”}，{“key”：“10.1016\/J.jsc.2019.03.002_br0520”，“series-title”：“2014年SAT竞赛论文集：求解器和基准描述，卷B-2014-2”，“首页”：“89”，“文章标题”：“生成集团着色问题公式”，“作者”：“Manthey”，“年份”：“2014”}，｛“key”：“10.1016\/j.jsc.2019.03.002_br0530”，“首页”：“45”，“文章标题”：“实用图同构”，“卷”：“30”，“作者”：“McKay”，“年份”：“1981”，“期刊标题”：“Congr.Number.”}，｛“issue”：“2”，“key”：“10.1016\/j.jsc.2019.03.002_br0540”，“doi-asserted-by”：“crossref”，“first page”：“306”，“doi”：“10.1006\/jagm.1997.0898”，“article-title”：“无同构穷举生成”，“volume”：”26“，“author”：“McKay”，“year”：“1998”，“journal-title“：”J.Algorithms“}”，{“key”：“：”10.1016\/J.jsc.2013.09.003“，“article-title”：“实用图同构，II”，“volume”：“60”，“author”：“McKay”，“year”：“2014”，“journal-title“：”J.Symb.Comput.“}，{“key”：”10.1016\/J.jsc.2019.03.002_br0560“，”unstructured“：”Message Passing Interface Forum，2015。MPI：消息传递接口标准。3.1版。标准规范。“}，{”key“：”10.1016\/j.jsc.2019.03.002_br0570“，”series-title“：”MPI并行编程“，”author“：”Pacheco“，”year“：”1997“}”，{“key”：“10.1016\/j.jsch.2019.03.00 2_br0580”，“series-ttle”：“第19届计算机体系结构与高性能计算国际研讨会”，“首页”：“247”，“article-title”：”MPI-2程序的分级窃取在线调度“，”author“：”Pezzi“，”year“：”2007“}，{”key“：”10.1016\/j.jsc.2019.03.002_br0590“，”doi-asserted-by“：”crossref“，”first page“：“107”，”doi“：”101016\/S0167-5060（08）70325-X“，”article-title“：”Everyone a winner；或者，在编目组合配置时如何避免同构搜索”，“volume”：“2”，“author”：“Read”，“year”：“1978”，“journal-title”：“Ann.Discrete Math”。“}，{”issue“：”4“，”key“：”10.1016\/j.jsc.2019.03.002_br0600“，”doi-asserted-by“：”crossref“，”first page“：“478”，”doi“：”101007\/s10601-008-9060-1“，“article-title”：“Symcaff:利用结构软件可满足性求解器中的对称性”，“volume”：“14”，“author”：“Sabharwal”，“year”：“2009”，“journal-title“：”Constraints“}”，{“密钥”：“10.1016\/j.jsc.2019.03.002_br0610”，“series-title”：“可满足性手册”，“首页”：“289”，“article-title”：“对称性和可满足性”，“卷”：“第185卷”，“作者”：“Sakallah”，“年份”：“2009”}，{“密钥”：“10.1016//j.jsc.2019.03.002_br0620”标题“：”通过模拟Zykov收缩动态对称破缺”，“author”：“Schaafsma”，“year”：“2009”}，{“key”：“10.1016\/j.jsc.2019.03.002_br0630”，“series-title”：“置换群算法”，“author”:“Seress”，“year”：”2003“}，“issue”：“12”，“key“10.1016”，“j.jsc.2019.03.002_br0640”，“doi-asserted-by”：“crossref”，“first page”：”1781“，“内政部”：“10.1134\/S0965542513120129“，“article-title”：“矩阵乘法的双线性复杂性和实用算法”，“volume”：“53”，“author”：“Smirnov”，“year”：“2013”，“journal-title“：“Compute”。数学。数学。物理学。“}，{”issue“：”4“，”key“：”10.1016\/j.jsc.2019.03.002_br0650“，”doi-asserted-by“：”crossref“，”first page“：“354”，”doi“：”101007\/BF02165411“，”article-title“：”Gaussian exclumination is not optimal“，“volume”：“13”，“author”：“Strassen”，“year”：“1969”，”journal-title”：“Numer.Math.”}，”{“key“”：“10.1016\/j.jsc.2019.03.002_br0660“，”series-title“：”组合分析”，“首页”：“195”，“文章标题”：“穷尽搜索技术中的同构拒绝”，“作者”：“Swift”，“年份”：“1960”}，{“关键字”：“10.1016\/j.jsc.2019.03.002_br0670”，“作家”：“Wieringa”}、{“问题”：“4”，“关键字”:“10.1016 \/j.jsc.2019.03.002_br0680”，“doi-asserted-by”：“crossref”，”第一页“381”，“内政部”：“10.1016\/0024-3795（71）90009-7”，“文章标题“：”关于2\u00d72矩阵的乘法“，”卷“：”4“，”作者“：”Winograd“，”年份“：”1971“，”期刊标题“：”线性代数应用。“}]，”container-title“：[”Journal of Symbolic Computation“]，”original-title”：[]，”language“：”en“，”link“：[{”URL“：”https:\/\/api.elsevier.com/content\/article\/PII:S07477119300288？httpAccept=text\/xml“，”content-type“：”text\/.xml“，”content-version“：”vor“，”intended-application“：”text-mining“}，”{“URL”：“”https:\/\/api.elsevier.com/content\/article\/PII:S07477119300288？httpAccept=text\/plain“，”content-type“：”text\/prain“，“content-version”：“vor”，“intended-application”：“text-mining”}]，“deposed”：{“date-parts”：[[2020,1,13]]，“date-time”：“2020-01-13T16:42:26Z”，“timestamp”：1578933746000}，“score”：1，“resource”：{“primary”：“URL”：“https:\\/linkinghub.elsevier.com/retrieve\/pii\/S074777”17119300288“}}，”副标题“：[]，”shorttitle“：[]，”issued“：{”date-parts“：[[2020,7]]}，”references-count“：68，”alternative-id“：[”S074717119300288“]，”URL“：”http://\/dx.doi.org\/10.1016\/j.jsc.2019.03.002“，”relation“：{}，“ISSN”：[”0747-7171“]，“ISSN-type”：[{“value”：“0747-771”，“type”“：”print“}]，”subject“：[]，“published”：{“date-parts”：[[2020,7]]}，“assertion”：[{“value”：“Elsevier”，“name”：“publisher“，”label“：”本文由“}，{”value“：”一种用于对称约简的自适应前缀分配技术“，”name“：”articletitle“，”标签“：”article Title“}”，{“value”：“符号计算杂志”，“name”：“journaltitle”，“label”：“Journal Title”}，}“value”：“https:\/\/doi.org\/101016\/j.jsc.2019.03.002”，“名称”：“articlelink”，“标签”：“”CrossRef DOI链接到出版商维护的版本“}”，{“value”：“article”，“name”：“content_type”，“label”：“content-type”}，{”value“：”\u00a9 2019 The Authors.Published by Elsevier Ltd.“，”name“：”copyright“，”label“：”copyright”}]}