×

找到23个文档（结果1–23）

最新的 引文 关联
乔舒亚·格罗乔（Joshua A.Grochow）。;迈克尔·莱维特

通过Weisfeiler-Leman讨论群同构的并行复杂性。 （英语） Zbl 07856022号

Fernau，Henning（编辑）等人，《计算理论基础》。第24届国际研讨会，FCT 2023，德国特里尔，2023年9月18-21日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。14292, 234-247 (2023).
MSC公司：第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.A.Grochow}和\textit{M.Levet}，莱克特。注释计算。科学。14292，234--247（2023；Zbl 07856022）
全文： DOI程序 arXiv公司
孙晓瑞

类2和指数的（p\）-群的更快同构。 （英语） Zbl 07844601号

Saha，Barna（编辑）等人，第55届ACM SIGACT计算理论研讨会论文集，STOC’23，美国佛罗里达州奥兰多，2023年6月20日至23日。纽约州纽约市：计算机协会（ACM）。433-440 (2023).
MSC公司：第68季度
PDF格式BibTeX公司 XML格式引用
\textit{X.Sun}，in：第55届ACM SIGACT计算理论研讨会论文集，STOC’23，美国佛罗里达州奥兰多，2023年6月20-23日。纽约州纽约市：计算机协会（ACM）。433-440（2023；Zbl 07844601）
全文： DOI程序 arXiv公司
阿奥·路·乔安·德尼兹;彼得·赫林

FPT中T图的同构检验。 （英语） Zbl 07556575号

Mutzel，Petra（编辑）等人，WALCOM：算法和计算。第16届国际会议和研讨会，2022年3月24日至26日，WALCOM 2022，印尼詹伯。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13174, 239-250 (2022).
MSC公司：68瓦xx
PDF格式BibTeX公司 XML格式引用
\textit{D.Aěao଑lu Cof A \283,nĝnĞ}和\textit{P.Hlin \283；n \283,1; n，Lect。注释计算。科学。13174，239--250（2022；Zbl 07556575）
全文： DOI程序 arXiv公司
弗洛里安·英格尔;罗曼·阿扎伊斯

同构无序标记树直到替换加密。 （英语） Zbl 07495036号

Flocchini，Paola（编辑）等人，《组合算法》。第32届国际研讨会，IWOCA 2021，渥太华，安大略省，加拿大，2021年7月5-7日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12757, 385-399 (2021).
MSC公司：68卢比 68瓦xx
PDF格式BibTeX公司 XML格式引用
\textit｛F.Ingels｝和\textit｛R.Azaïs｝，Lect。注释计算。科学。12757385--399（2021；Zbl 07495036）
全文： DOI程序 arXiv公司
阿奥鲁，丹尼斯;HlinŞný，佩特

图的同构问题。 （英语） Zbl 07559375号

Esparza，Javier（ed.）等人，第45届计算机科学数学基础国际研讨会，MFCS 2020，2020年8月25日至26日，捷克共和国布拉格。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。170，第4条，第14页（2020年）。
MSC公司：第68季度
PDF格式BibTeX公司 XML格式引用
\textit{D.Aěao଑lu}和\textit{P.Hlin଑nକ}，LIPIcs——莱布尼茨国际程序。通知。170，第4条，第14页（2020；Zbl 07559375）
全文： DOI程序
塔吉亚娜·马特维耶夫纳·科索夫斯卡娅;科索夫斯基、尼古拉·尼古拉耶维奇

“谓词公式同构和图同构”问题的多项式等价性。 （英语。俄文原件） Zbl 1480.68010号

维斯特。圣彼得堡大学数学。 52，第3期，286-292（2019）; 维斯特翻译。圣彼得堡大学。一、 马特·梅赫。阿童木。6（64），第3期，430-439（2019）。
MSC公司：65年第68季度 05C60型 68T27型
PDF格式BibTeX公司 XML格式引用
\textit{T.M.Kosovskaya}和\textit{N.N.Kosovskiĭ}，Vestn。圣彼得堡大学数学。52，第3号，286--292（2019；Zbl 1480.68010）；维斯特翻译。圣彼得堡大学。一、 马特·梅赫。阿童木。6（64），第3号，430-439（2019）
全文： DOI程序
苏曼塔·戈什;皮尤什·库鲁尔。

置换群与图同构问题。 （英语） Zbl 1345.20004号

Agrawal，Manindra（编辑）等人，《计算复杂性的观点》。Somanath Biswas周年纪念册。根据2012年夏季在印度坎普尔举行的研讨会上所作的介绍，选出了一些论文。查姆：Birkhäuser/Springer（ISBN 978-3-319-05445-2/hbk；978-3-3169-05446-9/电子书）。《计算机科学与应用逻辑进展》26，183-202（2014）。
MSC公司：20对25 05C25号 05C60型 20B40码 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Ghosh}和\textit{P.Kurur}，程序。计算。科学。申请。日志。26183-202（2014年；兹比尔1345.20004）
全文： DOI程序
菲利普·甘贝特;文森特·贝里;克里斯托夫·保罗

水平-（k）系统发育网络的结构。 （英语） Zbl 1247.92018年9月

Kucherov，Gregory（编辑）等人，《组合模式匹配》。2009年6月22日至24日在法国里尔举行的CPM 2009第20届年度研讨会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-02440-5/pbk）。计算机科学课堂讲稿5577，289-300（2009）。
MSC公司：92D15型 92立方厘米 65年20月
PDF格式BibTeX公司 XML格式引用
\textit{P.Gambette}等人，Lect。注释计算。科学。5577，289--300（2009；Zbl 1247.92018）
全文： DOI程序

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件