{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期部分”：[[2024,9,9]]，“日期时间”：“2024-09-09T18:48:05Z”，“时间戳”：1725907685400}，“出版商位置”：“查姆”，“参考计数”：44，“出版者”：“斯普林格国际出版公司”，“isbn-type”：[{“类型”：”打印“，“值”：“978331966262”}，{“类型”：“电子”，“value”：“9783319662633”}]，“license”：[{“start”：{“date-parts”：[[2017,1,1]]，“date-time”：“2017-01-01T00:00:00Z”，“timestamp”：14832288000000}，“content-version”：“unspecified”，“delay-in-days”：0，“URL”：“http:\\/www.springer.com\/tdm”}，{“start”：{“date-parts”：[2017,1]，“日期-时间”：“2017-01-01T00:00:00Z“，“时间戳”：14832288000000}，“内容-版本”：“unspecified”，“delay-in-days”：0，“URL”：“http://www.springer.com//tdm”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，“short-container-title”：[]，”published-print“：{”date-parts“：[[2017]]}，”DOI“：”10.1007\/978-319-66263-3_7“，”type“：”book-chapter“，”created“：”{“date-part”：[[2017，8,8]]，“日期-时间”：“2017-08-08T08:05:11Z”，“时间戳”：1502179511000}，“page”：“101-118”，“source”：”Crossref“，”is-referenced-by-count“：0，”title“：[”An Adaptive Prefix-Assignment Technique for Symmetry Reduction“]，”Prefix“：”10.1007“，“author”：[{”given“：”Tommi“，”family“：”Junttila“，”sequence“：”first“，”affiliance“：[]}，{”Givented“Matti”，“family”：“Karppa”，“sequence”：“additional”，“afliation”：[]}，{“给定”：“佩特里”，“家族”：“卡斯基”，“序列”：“附加”，“从属关系”：[]}，{“给定”：“朱卡”，“家庭”：“科霍恩”，“顺序”：“额外”，“附属关系”：[]}]，“成员”：“297”，“在线发布”：{“日期部分”：[[2017,8,9]}：“Alekseev，V.B.：关于$$5乘以2$$矩阵乘以$$2乘以2$$\n矩阵的双线性复杂度。物理与数学，Uchenye Zapiski Kazanskogo Universiteta。Seriya Fiziko-Matematicheskie Nauki，第156卷，第19\u201329页。喀山大学，喀山（2014）“}，{“问题”：“4”，“关键”：“7_CR2”，“首页”：“11”，“卷”：“16”，“作者”：“VB Alekseev”，“年份”：“2015”，“非结构化”：“Alekseef，V.B.：关于矩阵乘法的双线性复杂度。Chebyshevskii Sb.16（4），11\u201327（2015）”，“journal-title“：”Chebyshevskii Sb.“}，{”issue“：”1“，”key“：”7_CR3“，”doi-asserted-by“：”crossref“，”first-page“：”123“，”doi“：”10.1134\/S0081543813070079“，”volume“：“282”，”author“：”VB Alekseev“，”year“：”2013“，”unstructured“：”Alekseev，V.B.，Smirnov，A.V.：关于矩阵$$4乘以2$$和$$2乘以2$$\n的精确和近似双线性复杂度。程序。Steklov Inst.数学。282（1），123\u2013139（2013）“，“期刊标题”：“Proc。Steklov Inst.数学。“｝，｛”issue“：”1“，”key“：”7_CR4“，”doi asserted by“：”crossref“，”first page“：”71“，”doi“：”10.1016/0196-6774（85）90019-7“，”volume“：”6“，”author“：”VB Alekseyev“，”year“：”1985“，”nonstructured“：”Alekseyev，V.B.：关于矩阵乘法的一些算法的复杂性。J.algorithms 6（1），71\u201385（1985）“，”期刊标题“：”J.algorithms“｝，”key“：”“7_CR5”，“非结构化”：“Aloul，F.A.，Sakallah，K.A.，Markov，I.L.：布尔可满足性的有效对称破缺。收录于：2003年国际JCAI会议记录，第271\u2013276页。Morgan Kaufmann（2003）“｝，｛“key”：“7_CR6”，“series title”：“计算机科学讲义”，“doi断言”：“publisher”，“首页”：“87”，“doi”：“10.1007\/978-3-319-40970-2_7”，“volume title”：“可满足性测试的理论与应用\u2013 SAT 2016”，“author”：“G Audemard”，“year”：“2016”，“nonstructured”：“Audemard，G.，Simon，L.：SAT问题中的极端情况。收录：Creignou，N.，Le Berre，D.（编辑）SAT 2016。LNCS，第9710卷，第87\u2013103页。查姆施普林格（2016）。doi:\n0.1007\/978-3-319-40970-2_7“}，{“key”：“7_CR7”，“nonstructured”：“Biere，A.：Splatz，Lingeling，Plingeling，Treengeling，YalSAT参加2016年SAT竞赛。摘自：2016年SAT竞赛记录——解算器和基准描述。计算机科学系系列出版物B，第B-2016-1卷，第44\u201345页。赫尔辛基大学（2016）“}，{”issue“：”3“，”key“：”7_CR8“，”doi-asserted-by“：”crossref“，”first page“：“203”，”doi“：”10.1007\/s000370050028“，“volume”：“8”，“author”：“M Bl\u00e4ser”，“year”：“1999”，“unstructured”：“Bl\u 00e4user，M：矩阵乘法复杂度的下限。计算复杂性。8（3），203\u 2013226（1999）“，”journal-title“：”计算。复杂。“}，{”issue“：”1“，”key“：”7_CR9“，”doi-asserted-by“：”crossref“，”first page“：“43”，”doi“：”10.1016\/S0885-064X（02）00007-9“，“volume”：“19”，“author”：“M Bl\u00e4ser”，“year”：“2003”，“unstructured”：“Bl\u 00e4user，M.：关于小格式矩阵乘法的复杂性。J.Complex.19（1），43\u 201360（2003）”，“新闻标题”：“J.Complex”}，{“volume-title“：“置换群的基本算法”，“year”：“1991”，“series-title”：“计算机科学课堂讲稿”，“key”：“7_CR10”，“unstructured”：“Butler，G.（ed.）：置换群的基础算法。LNCS，第559卷。Springer，Heidelberg（1991）“}，{”issue“：”4“，”key“：”7_CR11“，”doi-asserted-by“：”crossref“，”first page“：“434”，“doi”：“10.1007\/s10601-014-9163-9”，“volume”：“19”，“author”：“G Chu”，“year”：“2014”，“unstructured”：“Chu，G.，de la Banda，M.G.，Mears，C.，Stuckey，P.J.：对称，几乎对称，和惰性子句生成。约束19（4），434\u2013462（2014）“，”journal-title“：”Constraints“}，{“key”：“7_CR12”，“series-title”：“计算机科学课堂讲稿”，“doi-asserted-by”：“publisher”，“first page”：”157“，”doi“：”10.1007\/978-3319-44953-1_11“，”volume-title：“约束编程的原理与实践”，“author”：“M Codish”，”年份“：”2016“，”非结构化“：”Codish，M.，Gange，G.，Itzhakov，A.，Stuckey，P.J.：打破图形中的对称：鹦鹉学舌的方式。收录人：Rueher，M.（编辑）CP 2016。LNCS，第9892卷，第157\u2013172页。查姆施普林格（2016）。doi:\n10.1007\/978-3-319-44953-1_11“}，{“key”：“7_CR13”，“unstructured”：“Courtois，N.T.，Hulme，D.，Mouruzis，T.：乘法复杂性和使用SAT解算器求解广义Brent方程。摘自：第三届计算逻辑、代数、编程、工具和基准测试国际会议论文集（COMPUTATION Tools 2012），pp.22\u201327（2012）“}，{“key”：“7_CR14”，“unstructured”：“Crawford，J.M.，Ginsberg，M.L.，Luks，E.M.，Roy，A.：用于搜索问题的对称破缺谓词。摘自：《1996年韩国学报》，pp.148\u2013159。Morgan Kaufmann（1996）“}，{”key“：”7_CR15“，”doi-asserted-by“：”crossref“，”unstructured“：”Darga，P.T.，Liffiton，M.H.，Sakallah，K.A.，Markov，I.L.：《利用结构检测CNF对称性》，载于：《DAC 2004年会议录》，第530\u2013534页。ACM（2004）”，“DOI”：“10.1145\/9996566.996712”}，｛“key”：“7_CR16”，“series title”：“计算机科学讲义”，“DOI断言者”：“出版者”，“首页”：“104”，“DOI”：“10.1007\/978-3-319-40970-2_8”，“卷标题”：“可满足性测试的理论与应用\u2013 SAT 2016”，“作者”：“J Devriendt”，“年份”：“2016”，“非结构化”：“Devriendt，J.，Bogaerts，B.，Bruynooghe，M.，Denecker，M.：SAT改进的静态对称破缺。摘自：Creignou，N.，Le Berre，D.（编辑）SAT 2016。LNCS，第9710卷，第104\u2013122页。查姆施普林格（2016）。doi:\n10.1007 \/978-3-319-40970-2_8“}，{“key”：“7_CR17”，“series-title”：“数学研究生课文”，“doi-asserted-by”：“crossref”，“doi”：“10.1007 \/978-1-4612-0731-3”，“volume-title”：”置换组“，“author”：“JD Dixon”，“year”：“1996”，“unstructured”：“Dixon，J.D.，Mortimer，B.：置换组。数学研究生文本，第163卷。Springer，New York（1996）“}，{“key”：“7_CR18”，“unstructured”：“Farad\u017eev，I.A.：组合对象的构造性枚举。见：Probl\u00e8mes Combinatoires et Th\u00e 9orie des Graphes，pp.131\u2013135。国际学院260号。CNRS，CNRS，Paris（1978）“}，{“key”：“7_CR19”，“doi-asserted-by”：“crossref”，“unstructured”：“Gent，I.P.，Petrie，K.E.，Puget，J.：约束编程中的对称性。in:约束编程手册。人工智能基础，第2卷，pp.329\u2013376。Elsevier（2006）“，”DOI“：”10.1016\/S1574-6526（06）80014-3“}，{”issue“：”2，Part 2“，”key“：”7_CR20“，”DOI-asserted-by“：”crossref“，”first page“：“21”，“DOI”：“10.2307\/2313307”，“volume”：“72”，“author”：“M Hall Jr”，“year”：“1965”，“unstructured”：“Hall Jr.，M.，Knuth，D.E.：组合分析与计算机。Amer《数学月刊》72（2，第2部分），21\u201328（1965）“，”新闻标题“：”Amer。数学。每月“}，{”问题“：“4”，“key”：“7_CR21”，“doi-asserted-by”：“crossref”，“first page”：”644“，”doi“：”10.1016\/0196-6774（90）90014-6“，”卷“：”11“，”作者“：”J H\u00e5stad“，”年份“：”1990“，”非结构化“：”H\u0015stad，J.：张量秩为NP完备。J.算法11（4），644\u2013654（1990）“，”journal-title“：”J.算法“}，{“key”：“7_CR22”，“series-title”：“计算机科学课堂讲稿”，“doi-asserted-by”：“publisher”，“first page”：“50”，“doi”：“10.1007\/978-3642-34188-5_8”，“volume-title”：“硬件和软件：验证和测试”，“author”：“MJH Heule”，年：“2012”，“unstructured”：“Heule，M.J.H.，Kullmann，O.，Wieringa，S.，Biere，A.：立方体与征服：通过lookaheads指导CDCL SAT求解器。收录人：Eder，K.、Louren\u00e7o，J.、Shehory，O.（编辑）HVC 2011。LNCS，第7261卷，第50\u201365页。施普林格，海德堡（2012）。doi:\n10.1007\/978-3642-34188-5_8“}，{“key”：“7_CR23”，“doi-asserted-by”：“crossref”，“unstructured”：“Heule，M.J.H.：图问题的完美和紧对称破缺的探索。摘自：2016年《SYNASC学报》，第149\u2013156页。IEEE Computer Society（2016）“，”DOI“：”10.1109\/SYNASC.2016.034“}，{”issue“：”1“，”key“：”7_CR24“，”DOI-asserted-by“：”crossref“，”first page“：“30”，“DOI”：“10.1137\/0120004”，“volume”：“20”，“author”：“JE Hopcroft”，“year”：“1971”，“unstructured”：“Hopcroff，J.E.，Kerr，L.R.：关于最小化矩阵乘法所需的乘法次数。SIAM J。申请。数学。20（1），30\u201336（1971）“，“新闻标题”：“SIAM J.Appl。数学。“}，{”volume-title“：”A Course in Group Theory“，”year“：”1996“，”author“：”JF Humphreys“，”key“：”7_CR25“，”unstructured“：”Humphreies，J.F.：A Courses in Group Theore，Oxford University Press，Oxchand（1996）“}”，{“issue”：“3”，“key”：“7_CR26”，“doi-asserted-by”：“crossref”，“first page”：”357“，”doi“：”10.1007 \/s10601-016-9244-z“，”volume“：”21“，”作者“：”伊扎科夫“，”年份”：“2016年”，“非结构化”：“Itzhakov，A.，Codish，M.：用经典集打破图搜索中的对称性。约束21（3），357\u2013374（2016）“，“journal-title”：“约束”}，{“key”：“7_CR27”，“doi-asserted-by”：“crossref”，“unstructured”：“Junttila，T.，Kaski，P.：为大型稀疏图设计一个高效的规范标记工具。In:Proceedings of the ALENEX 2007。SIAM（2007）”，“DOI”：“10.1137\/1.9781611972870.13”}，｛“key”：“7_CR28”，“series title”：“数学中的算法和计算”，“volume title”：“代码和设计的分类算法”，“author”：“P Kaski”，“year”：“2006”，“nonstructured”：Kaski，P.，\u00d6sterg\u00e5rd，P.R.J.：代码和设计的分类算法。数学算法与计算，第15卷。Springer，Heidelberg（2006）“}，{“key”：“7_CR29”，“series-title”：“Algorithms and Combinatorics”，“doi-asserted-by”：“crossref”，“doi”：“10.1007\/978-3662-11167-3”，“volume-title”：”Applied Finite Group Actions“，”author“：”A Kerber“，”year“1999”，“unstructured”：“Kerber，A.：应用有限群作用。算法与组合学，第19卷，第2版。Springer，Heidelberg（1999）“，”edition“：”2“}，{”issue“：”1\u20133“，”key“：”7_CR30“，”doi-asserted-by“：”crossref“，”first-page“：”63“，”doi“：”10.1023\/A:1005998722658“，”volume“：Kerber，A.，Laue，R.：群作用，双陪集和同态：离散结构构造理论的统一概念。《应用学报》。数学。52（20133年1月），63201390（1998年）“，“期刊标题”：“Acta Appl。数学。}，{“key”：“7_CR31”，“unstructured”：“Knuth，D.E.：计算机编程的艺术。组合算法，第4A卷，第1部分。Addison-Wesley，Reading（2011）“}，{”key“：”7_CR32“，”doi-asserted-by“：”crossref“，”first page“：“126”，“doi”：“10.1090\/S0002-9904-1976-13988-2”，“volume”：“82”，“author”：“JD Laderman”，“year”：“1976”，“unstructured”：“Laderman，J.D.：使用23次乘法将$$3乘以3$$矩阵的非对易算法。牛市。阿默尔。数学。Soc.82，126\u2013128（1976）“，”杂志标题“：”牛市。阿默尔。数学。Soc.“}，{”issue“：”4\u20135“，”key“：”7_CR33“，”doi-asserted-by“：”crossref“，”first page“：“533”，“doi”：“10.1016\/S0747-7171（08）80103-4”，“volume”：“12”，“author”：“JS Leon”，“year”：“1991”，“unstructured”：“Leon，J.S.：基于分区的置换群算法，I:理论和算法。J.Symbol.Comput.12（4\u2013），533\ u2013583（1991）“，”journal-title“：”J.符号。计算。“｝，｛”key“：”7_CR34“，”doi asserted by“：”crossref“，”nonstructured“：”Leon，J.S.：分区、精化和置换群计算。In：Groups and computation，II，pp.123\u2013158。美国数学学会（1997）离散数学和理论计算机科学DIMACS系列第28号“，”DOI“：”10.1090\/DIMACS\/028\/10“}，{”key“：”7_CR35“，”first page“：“45”，“volume”：“30”，“author”：“BD McKay”，“year”：“1981”，“unstructured”：“McKay，B.D.：实用图同构。Congressus Numerantium 30，45\u201387（1981）”，“journal-title“：”Congressus Numerantium“}，{”issue“：”2“，”key“：”7_CR36“，”doi-asserted-by“：”crossref“，”first page“：“306”，”doi“：”10.1006\/jagm.1997.0898“，”volume“：》26“，”author“：”BD McKay“，”year“：”1998“，”unstructured“：”McKay，B.D.：无同构式穷举生成。J.Algorithms 26（2），306\u2013324（1998）“，”journal-title“}，{“键”：7_CR37“，”doi-asserted-by“：”crossref“，”first-page“：”94“，”doi“：”10.1016\/j.jsc.2013.09.003“，”volume“：”60“，”author“：”BD McKay“，”year“：”2014“，”unstructured“：”McKay，B.D.，Piperno，A.：实用图同构。二、。J.塞姆。计算。60，94\u2013112（2014）“，“新闻标题”：“II。J.塞姆。计算。“}，{”key“：”7_CR38“，”doi-asserted-by“：”crossref“，”first-page“：”107“，”doi“：”10.1016\/S0167-5060（08）70325-X“，”volume“：“2”，”author“：”RC Read“，“year”：“1978”，“unstructured”：“Read，R.C.：每个人都是赢家；或者，在编目组合配置时如何避免同构搜索。Ann.Discrete Math.2，107\u2013120（1978）“，”journal-title“：”Ann。离散数学。}，{“key”：“7_CR39”，“unstructured”：“Sakallah，K.A.：对称性和可满足性。In:可满足性手册。人工智能与应用前沿，第185卷，第289\u2013338页。IOS出版社（2009）“}，{”key“：”7_CR40“，”doi-asserted-by“：”crossref“，”doi“：”10.1017\/CBO9780511546549“，”volume-title“：”置换群算法“，”author“：”u00c1 Seress“，”year“：”2003“，”unstructured“：”Seress，\u00c1.：置换群算法。剑桥大学出版社，剑桥（2003）by“：”crossref“，”first-page“：”354“，”DOI“：”10.1007\/BF02165411“，”volume“：”13“，”author“：”V Strassen“，”year“：”1969“，”unstructured“：”Strassen，V.：高斯消去不是最优的。数字。数学。13（4），354\u2013356（1969）“，“日记标题”：“数字。数学。}，{“key”：“7_CR42”，“doi-asserted-by”：“crossref”，“unstructured”：“Swift，J.D.：穷举搜索技术中的同构拒绝。摘自：《组合分析》，第195\u2013200页。美国数学学会（1960）“，”DOI“：”10.1090\/psapm\/010\/0114322“}，{”key“：”7_CR43“，”unstructured“：”Wieringa，S.：icnf文件格式（2011）。\nhttp://www.siert.nl\/icnf\/\n\n。2017年4月访问“}”，{“issue”：“4”，“key”：“7_CR44”，“DOI-asserted-by”：“crossref”，“首页”：“381”，“DOI”：“10.1016\/0024-3795（71）90009-7”，“卷”：“4”，“作者”：“S Winograd“，”year“：”1971“，”unstructured“：”WinogradS.：关于矩阵的乘法。线性代数应用。4（4），381\u2013388（1971）”，“期刊标题”：“线性代数应用。“}]，”container-title“：[“计算机科学课堂讲稿”，“可满足性测试的理论与应用\u2013 SAT 2017”]，“original-title”：[]，“link”：[{“URL”：“http://\/link.springer.com/content\/pdf\/10007\/978-3-319-66263-3_7”，“content-type”：“unspecified”，“内容-版本”：“vor”，“intended-application”：“相似性检查”}]，“存放”：{“date-parts“：[[2017,8,8]]，“date-time”：“2017-08-08T18:46:26Z”，“timestamp”：1502217986000}，“score”：1，“resource”：{“primary”：{“URL”：“http://\/link.springer.com\/10.1007\/978-3-319-66263-3_7”}，”subtitle“：[]，”shorttitle“：[]，”issued“：{”date-part“：[2017]}”，“ISBN”：[“978331966262”6“，”9783319662633“]，”references-count“：44，”URL“：”http:\/\/dx.doi.org\/10.1007\/978-3-319-66263-3_7“，”关系“：{}，”ISSN“：[”0302-9743“，”1611-3349“]，”ISSN-type“：[{”类型“：”打印“，”值“：”0302-7743“}，{”型号“：”电子“，”数值“：”1611-33049“}]，”主题“：[]，”发布“：{”日期部分“：[2017]]}}}}