×

找到118个文档(结果1-100)

子空间中的CNF可满足性及相关问题。 (英语) Zbl 07803583号

Golovach,Petr A.(ed.)等人,第16届参数化和精确计算国际研讨会,IPEC 2021,葡萄牙里斯本,2021年9月8日至10日。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社。LIPIcs–莱布尼茨国际程序。通知。214,第5条,第15页(2021年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

部分交换幺半群上加权自动机的等价性检验。 (英语) Zbl 07724183号

Filippo Bonchi等人,第46届计算机科学数学基础国际研讨会,MFCS 2021,2021年8月23日至27日,爱沙尼亚塔林。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社。LIPIcs–莱布尼茨国际程序。通知。202,第10条,第15页(2021)。
MSC公司:68季度xx
PDF格式BibTeX公司 XML格式引用

有理恒等式检验和Brešar-Klep定理的特例。 (英语) Zbl 07559381号

Esparza,Javier(ed.)等人,第45届计算机科学数学基础国际研讨会,MFCS 2020,2020年8月25日至26日,捷克共和国布拉格。诉讼程序。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社。LIPIcs–莱布尼茨国际程序。通知。170,第10条,第14页(2020年)。
MSC公司:68季度xx
PDF格式BibTeX公司 XML格式引用
全文: 内政部

关于分式堆积的Weisfeiler-Leman维数。 (英语) Zbl 1437.68134号

Lepori,Alberto(编辑)等人,《语言与自动机理论与应用》。第14届国际会议,2020年3月4日至6日,意大利米兰,LATA 2020。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12038, 357-368 (2020).
PDF格式BibTeX公司 XML格式引用

使用多项式哈达玛积的快速精确算法。 (英语) Zbl 1518.68145号

Chattopadhyay,Arkadev(ed.)等人,第39届IARCS软件技术和理论计算机科学基础年会,2019年12月11-13日,印度孟买,FSTTCS 2019。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社。LIPIcs–莱布尼茨国际程序。通知。150,第9条,第14页(2019年)。
PDF格式BibTeX公司 XML格式引用

由秩、度和生成器数量参数化的单变量理想成员身份。 (英语) Zbl 1528.68147号

Ganguly,Sumit(编辑)等人,第38届IARCS软件技术和理论计算机科学基础年会,2018年12月11-13日,印度艾哈迈达巴德,FSTTCS 2018。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社。LIPIcs–莱布尼茨国际程序。通知。122,第7条,第18页(2018年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

寻找具有附加约束的小权同构是固定参数可处理的。 (英语) Zbl 1443.68118号

Lokshtanov,Daniel(编辑)等人,第十二届参数化和精确计算国际研讨会,2017年国际物理工程委员会,奥地利维也纳,2017年9月6日至8日。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社。LIPIcs–莱布尼茨国际程序。通知。89,第2条,第13页(2018年)。
PDF格式BibTeX公司 XML格式引用

非关联自由环中的有效身份测试和多项式因式分解。 (英语) Zbl 1441.68299号

Larsen,Kim G.(编辑)等人,第42届计算机科学数学基础国际研讨会,2017年8月21日至25日,丹麦奥尔堡,MFCS 2017。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。83,第38条,第13页(2017)。
PDF格式BibTeX公司 XML格式引用

小重量自同构的参数化复杂性。 (英语) Zbl 1402.68080号

Vollmer,Heribert(编辑)等人,第34届计算机科学理论方面研讨会(STACS 2017),德国汉诺威,2017年3月8-11日。诉讼程序。瓦登:达格斯图尔宫(Schloss Dagstuhl)——莱布尼茨天顶宫(Leibniz Zentrum für Informatik)(ISBN 978-3-95977-028-6)。LIPIcs–莱布尼茨国际信息学学报66,第7条,第13页(2017年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

非对易电路的随机多项式时间一致性测试。 (英语) Zbl 1369.68347号

Hatami,Hamed(ed.)等人,《第49届ACM SIGACT计算理论年度研讨会论文集》,STOC’17,加拿大魁北克省蒙特利尔,2017年6月19-23日。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-4528-6)。831-841 (2017).
MSC公司:68瓦20 2005年第68季度 65年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用

图中固定数和顶点个性化的参数化复杂性。 (英语) Zbl 1398.68210号

Faliszewski,Piotr(编辑)等人,第41届计算机科学数学基础国际研讨会,2016年MFCS,波兰克拉科夫,2016年8月22日至26日。诉讼程序。瓦登:达格斯图尔宫(Schloss Dagstuhl)——莱布尼茨天顶宫(Leibniz Zentrum für Informatik)(ISBN 978-3-95977-016-3)。LIPIcs–莱布尼茨国际信息学论文集58,第13条,第14页(2016年)。
PDF格式BibTeX公司 XML格式引用

关于色彩精致的力量。 (英语) Zbl 1436.05101号

Kosowski,Adrian(编辑)等人,《计算理论基础》。2015年8月17日至19日,第20届国际研讨会,FCT 2015,波兰格但斯克。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9210, 339-350 (2015).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

关于非交换多项式因式分解的复杂性。 (英语) Zbl 1401.68106号

Italiano,F.(编辑)等人,《计算机科学数学基础》2015。第40届国际研讨会,2015年MFCS,意大利米兰,2015年8月24-28日。诉讼程序。第二部分。柏林:施普林格出版社(ISBN 978-3-662-48053-3/pbk;978-3-562-48054-0/电子书)。计算机科学课堂讲稿9235,38-49(2015)。
PDF格式BibTeX公司 XML格式引用

关于Tinhofer的线性规划同构测试方法。 (英语) Zbl 1465.05116号

Italiano,F.(编辑)等人,《计算机科学数学基础》2015。第40届国际研讨会,2015年MFCS,意大利米兰,2015年8月24-28日。诉讼程序。第二部分。柏林:施普林格。莱克特。注释计算。科学。9235, 26-37 (2015).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

复杂性理论基础:NP和NL。 (英语) Zbl 1345.68143号

Agrawal,Manindra(编辑)等人,《计算复杂性的观点》。Somanath Biswas周年纪念册。根据2012年夏季在印度坎普尔举行的研讨会上所作的介绍,选出了一些论文。查姆:Birkhäuser/Springer(ISBN 978-3-319-05445-2/hbk;978-3-3169-05446-9/电子书)。《计算机科学与应用逻辑进展》26,1-22(2014)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

几何图同构的参数化复杂性。 (英语) Zbl 1341.68057号

Cygan,Marek(编辑)等人,《参数化和精确计算》。2014年9月10日至12日在波兰弗罗茨瓦夫举行的IPEC 2014第九届国际研讨会。修订了选定的论文。查姆:施普林格(ISBN 978-3-319-13523-6/pbk;978-3-316-13524-3/电子书)。计算机科学课堂讲稿8894,51-62(2014)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

求解由汉明权重参数化的线性方程组。 (英语) Zbl 1341.68056号

Cygan,Marek(编辑)等人,《参数化和精确计算》。2014年9月10日至12日在波兰弗罗茨瓦夫举行的IPEC 2014第九届国际研讨会。修订了选定的论文。查姆:施普林格(ISBN 978-3-319-13523-6/pbk;978-3-316-13524-3/电子书)。计算机科学课堂讲稿8894,39-50(2014)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

有界寄存器和倾斜算术计算的复杂性。 (英语) Zbl 1354.68104号

蔡志鹏(编辑)等,《计算与组合学》。第20届国际会议,COCOON 2014,亚特兰大,佐治亚州,美国,2014年8月4-6日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-319-08782-5/pbk)。计算机科学课堂讲稿8591572-583(2014)。
MSC公司:65年第68季度 2005年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

关于非交换域中乘法电路和线性电路的下界。 (英语) 兹比尔1407.68162

爱德华·赫希(Edward A.Hirsch)等,《计算机科学——理论与应用》。2014年6月7日至11日,第九届俄罗斯国际计算机科学研讨会,CSR 2014,俄罗斯莫斯科。诉讼程序。柏林:施普林格。莱克特。注释计算。科学。8476, 65-76 (2014).
MSC公司:2005年第68季度 2017年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

计算复杂性的观点。Somanath Biswas周年纪念册。根据2012年夏季在印度坎普尔举行的研讨会上所作的介绍,选出了一些论文。 (英语) 兹比尔1294.68010

计算机科学与应用逻辑进展26.查姆:Birkhäuser/Springer(ISBN 978-3-319-05445-2/hbk;978-3-3169-05446-9/电子书)。x、 202页。(2014).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

置换群中无不动点元素和基的参数化复杂性。 (英语) Zbl 1407.68200号

Gutin,Gregory(编辑)等人,《参数化和精确计算》。2013年9月4日至6日在法国索菲亚·安蒂波利斯举行的2013年IPEC第八届国际研讨会。修订了选定的论文。柏林:施普林格。莱克特。注释计算。科学。8246, 4-15 (2013).
PDF格式BibTeX公司 XML格式引用

关于决策树和决策表的同构问题。 (英语) Zbl 1368.68218号

Gąsieniec,Leszek(编辑)等人,《计算理论基础》。2013年8月19-21日在英国利物浦举行的2013年FCT第19届国际研讨会。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-40163-3/pbk)。计算机科学课堂讲稿807016-27(2013)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

从可怜的下界统一去噪。 (英语) Zbl 1328.68079号

PDF格式BibTeX公司 XML格式引用
全文: 内政部

可解置换群的近最优扩张生成集。 (英语) Zbl 1365.68347号

Rovan,Branislav(编辑)等人,《计算机科学数学基础》,2012年。2012年8月27日至31日,斯洛伐克布拉迪斯拉发,第37届国际研讨会,MFCS 2012。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-32588-5/pbk)。计算机科学课堂讲稿7464,112-123(2012)。
PDF格式BibTeX公司 XML格式引用

近似图同构。 (英语) Zbl 1365.68464号

Rovan,Branislav(编辑)等人,《计算机科学数学基础》,2012年。2012年8月27日至31日,斯洛伐克布拉迪斯拉发,第37届国际研讨会,MFCS 2012。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-32588-5/pbk)。计算机科学课堂讲稿7464,100-111(2012)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

由等深电路计算的布尔函数的同构测试。 (英语) Zbl 1310.94240号

Dediu,Adrian-Horia(编辑)等人,《语言和自动机理论与应用》。2012年3月5日至9日在西班牙科鲁尼亚举行的2012年拉丁美洲旅游协会第六届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-28331-4/pbk)。计算机科学讲义7183,83-94(2012)。
MSC公司:94立方厘米 65年第68季度 68瓦20 94C12号机组
PDF格式BibTeX公司 XML格式引用
全文: 内政部

阿贝尔群作用下超图的规范化。 (英语) Zbl 1286.05162号

傅斌(编辑)等,《计算与组合学》。2011年8月14日至16日,美国德克萨斯州达拉斯,COCOON 2011,第17届国际年会。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-22684-7/pbk)。计算机科学课堂讲稿6842,444-455(2011)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

关于非交换行列式的硬度。 (英语) Zbl 1293.68156号

第42届美国计算机学会计算理论年度研讨会论文集,STOC’10。2010年6月5日至8日,美国马萨诸塞州剑桥市。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-60558-817-9)。677-686 (2010).
PDF格式BibTeX公司 XML格式引用

有色超图同构是固定参数可处理的。 (英语) Zbl 1245.68098号

Lodaya,Kamal(编辑)等人,IARCS软件技术和理论计算机科学基础年会(FSTTCS 2010),2010年12月15日至18日,印度钦奈。瓦登:达格斯图尔宫(Schloss Dagstuhl)——莱布尼茨天顶宫(Leibniz Zentrum für Informatik)(ISBN 978-3-939897-23-1)。LIPIcs–莱布尼茨国际信息学会议录8,327-337,仅电子版(2010年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

从可怜的下界统一去噪。 (英语) Zbl 1305.68326号

Serna,Maria(编辑)等,近似、随机化和组合优化。算法和技术。2010年9月1日至3日,西班牙巴塞罗那,第13届国际研讨会,约2010年,第14届国际研讨会(RANDOM 2010)。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-15368-6/pbk)。《计算机科学讲义》6302、380-393(2010)。
MSC公司:68瓦20 2005年第68季度 2017年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

算术电路和多项式的阿达玛积。 (英语) Zbl 1248.68209号

Kannan,Ravi(编辑)等人,IARCS软件技术和理论计算机科学基础年会(FSTTCS 2009),2009年12月15日至17日,印度坎普尔。瓦登:达格斯图尔宫(Schloss Dagstuhl)——莱布尼茨天顶宫(Leibniz Zentrum für Informatik)(ISBN 978-3-939897-13-2)。LIPIcs–莱布尼茨国际信息学论文集4,25-36,仅电子版(2009年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

多线性身份测试的量子查询复杂性。 (英语) Zbl 1236.68069号

Albers,Susanne(编辑)等人,STACS 2009。2009年2月26日至28日,德国弗莱堡,第26届计算机科学理论方面国际研讨会。瓦登:达格斯图尔宫(Schloss Dagstuhl)——莱布尼茨天顶宫(Leibniz Zentrum für Informatik)(ISBN 978-3-939897-09-5)。LIPIcs–莱布尼茨国际信息学会议录3,87-98,仅电子版(2009年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

关于等宽算术电路的下限。 (英语) Zbl 1273.68144号

董英飞(编辑)等,《算法与计算》。2009年12月16-18日在美国夏威夷火奴鲁鲁举行的2009年ISAAC第20届国际研讨会。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-10630-9/pbk)。计算机科学课堂讲稿5878637-646(2009)。
MSC公司:2017年第68季度
PDF格式BibTeX公司 XML格式引用

算术电路、单代数和有限自动机。 (英语) Zbl 1250.68116号

Králović,Rastislav(编辑)等人,《2009年计算机科学的数学基础》。2009年8月24-28日,斯洛伐克High Tatras,Novy Smokovec,第34届国际研讨会,MFCS 2009。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-03815-0/pbk)。计算机科学课堂讲稿5734,78-89(2009)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

格问题的一些筛选算法。 (英语) Zbl 1248.68231号

Hariharan,Ramesh(编辑)等人,IARCS软件技术和理论计算机科学基础年会(FSTTCS 2008),2008年12月9日至11日,印度班加罗尔。Wadern:达格斯图尔宫(Schloss Dagstuhl)——莱布尼茨天顶宫(Leibniz Zentrum für Informatik)(ISBN 978-3-939897-08-8)。LIPIcs–莱布尼茨国际信息学会议录2,25-36,仅电子版(2008年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

去随机化隔离引理和电路大小的下限。 (英语) Zbl 1159.68634号

Goel,Ashish(编辑)等,近似、随机化和组合优化。算法和技术。2008年8月25日至27日,美国马萨诸塞州波士顿,第11次国际研讨会,约2008年,第12次国际研讨会(随机2008)。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-85362-6/pbk)。计算机科学课堂讲稿5171276-289(2008)。
PDF格式BibTeX公司 XML格式引用

轨道问题在GapL层次结构中。 (英语) Zbl 1148.68384号

胡晓东(编辑)等,《计算与组合学》。第14届国际年会,2008年6月27日至29日,中国大连。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-69732-9/pbk)。计算机科学课堂讲稿5092160-169(2008)。
MSC公司:65年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

部分二叉树标准化的日志空间算法。 (英语) Zbl 1142.68368号

爱德华·赫希(Edward A.Hirsch)等,《计算机科学——理论与应用》。第三届国际计算机科学研讨会于2008年6月7日至12日在俄罗斯莫斯科举行,CSR 2008。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-79708-1/pbk)。计算机科学课程讲稿5010,40-51(2008)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

置换群上度量的算法问题。 (英语) 兹比尔1133.68080

Geffert,Viliam(编辑)等人,SOFSEM 2008:计算机科学的理论与实践。第34届计算机科学理论与实践当前趋势会议,2008年1月19日至25日,斯洛伐克,11月斯莫科维奇。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-77565-2/pbk)。计算机科学课堂讲稿4910136-147(2008)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

(k)juntas的参数化可学习性及相关问题。 (英语) Zbl 1142.68381号

Hutter,Marcus(编辑)等人,《算法学习理论》。第18届国际会议,ALT 2007,日本仙台,2007年10月1-4日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-75224-0/pbk)。计算机科学课堂讲稿4754。人工智能课堂讲稿,120-134(2007)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

树同构的空间复杂性。 (英语) Zbl 1193.68124号

德山武(编辑),《算法与计算》。2007年12月17日至19日在日本仙台举行的第18届国际研讨会,ISAAC 2007。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-77118-0/pbk)。计算机科学课堂讲稿4835822-833(2007)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

单项式理想隶属度问题与多项式恒等式检验。 (英语) Zbl 1193.68125号

德山武(编辑),《算法与计算》。2007年12月17日至19日在日本仙台举行的第18届国际研讨会,ISAAC 2007。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-77118-0/pbk)。计算机科学课堂讲稿4835,800-811(2007)。
MSC公司:65年第68季度 13页第10页 68瓦20 68瓦30 94立方厘米
PDF格式BibTeX公司 XML格式引用
全文: 内政部

FSTTCS 2007:软件技术和理论计算机科学基础。第27届国际会议,印度新德里,2007年12月12-14日。诉讼程序。 (英语) Zbl 1134.68001号

计算机科学课堂讲稿4855.柏林:施普林格出版社(ISBN 978-3-540-77049-7/pbk)。xiv,558页。(2007).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

关于竞赛和超竞赛的同构和经典化。 (英语) Zbl 1135.05304号

Asano,Tetsuo(编辑),《算法与计算》。2006年12月18日至20日,第17届国际研讨会,ISAAC 2006,印度加尔各答。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-49694-6/pbk)。计算机科学课堂讲稿4288449-459(2006)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

拟群同构的复杂性和最小生成集问题。 (英语) Zbl 1135.68434号

Asano,Tetsuo(编辑),《算法与计算》。2006年12月18日至20日,第17届国际研讨会,印度加尔各答,ISAAC 2006。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-49694-6/pbk)。计算机科学课堂讲稿4288233-242(2006)。
MSC公司:65年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

关于超图和具有有界色类的图同构。 (英语) Zbl 1136.68446号

Durand,Bruno(编辑)等人,STACS 2006。2006年2月23日至25日在法国马赛举行的第23届计算机科学理论方面年度研讨会。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-32301-3/pbk)。计算机科学课堂讲稿3884,384-395(2006)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

黑盒环问题的复杂性。 (英语) Zbl 1162.68455号

Chen,Danny Z.(编辑)等,《计算与组合学》。2006年8月15日至18日,第12届国际年会,COCOON 2006,台湾台北。诉讼程序。柏林:施普林格出版社(ISBN 3-540-36925-2/pbk)。计算机科学讲义4112,126-135(2006)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

黑盒群问题的SZK证明。 (英语) Zbl 1148.68378号

Grigoriev,Dima(编辑)等人,《计算机科学——理论与应用》。2006年6月8日至12日在俄罗斯圣彼得堡举行的首届国际计算机科学研讨会,CSR 2006。诉讼程序。柏林:施普林格出版社(ISBN 3-540-34166-8/pbk)。计算机科学课堂讲稿3967,6-17(2006)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

求解有限环上线性方程的复杂性。 (英语) Zbl 1119.68094号

Diekert,Volker(编辑)等人,STACS 2005。第22届计算机科学理论方面年度研讨会,德国斯图加特,2005年2月24日至26日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-24998-2/pbk)。计算机科学课堂讲稿3404,472-484(2005)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

一些伽罗瓦理论问题复杂性的上界。 (英语) Zbl 1205.11137号

Ibaraki,Toshihide(编辑)等人,《算法与计算》。2003年12月15日至17日在日本京都举行的第14届国际研讨会,ISAAC 2003。诉讼程序。柏林:施普林格出版社(ISBN 3-540-20695-7/pbk)。莱克特。注释计算。科学。2906, 716-725 (2003).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

0-1背包和相关爪问题的量子查询复杂性。 (英语) Zbl 1205.68157号

Ibaraki,Toshihide(编辑)等人,《算法与计算》。2003年12月15日至17日在日本京都举行的第14届国际研讨会,ISAAC 2003。诉讼程序。柏林:施普林格出版社(ISBN 3-540-20695-7/pbk)。莱克特。注释计算。科学。2906, 168-177 (2003).
PDF格式BibTeX公司 XML格式引用

对于ZPP(NP)和其他低度结果,图同构性很低。 (英语) Zbl 0962.68072号

Reichel,Horst(编辑)等人,STACS 2000。第17届计算机科学理论方面年度研讨会。2000年2月17日至19日,法国里尔。诉讼程序。柏林:施普林格。莱克特。注释计算。科学。1770, 431-442 (2000).
MSC公司:2015年第68季度
PDF格式BibTeX公司 XML格式引用

不确定性实例复杂性和硬验证重言式。 (英语) Zbl 0962.68154号

Reichel,Horst(编辑)等人,STACS 2000。第17届计算机科学理论方面年度研讨会。2000年2月17日至19日,法国里尔。诉讼程序。柏林:施普林格。莱克特。注释计算。科学。1770314-323(2000年)。
PDF格式BibTeX公司 XML格式引用

通过恒定深度电路进行程序检查的查询复杂性。 (英语) Zbl 0971.68029号

Aggarwal,Alok(编辑)等人,《算法与计算》。1999年12月16日至18日在印度钦奈举行的第十届国际研讨会,ISAAC’99。诉讼程序。柏林:施普林格。莱克特。注释计算。科学。1741, 123-132 (1999).
PDF格式BibTeX公司 XML格式引用

稀疏集、近似集和NP的并行查询。 (英语) Zbl 0928.68053号

Meinel,Christoph(编辑)等人,STACS 99。1999年3月4日至6日在德国特里尔举行的第16届计算机科学理论方面年度研讨会。诉讼程序。柏林:施普林格。莱克特。注释计算。科学。1563, 281-290 (1999).
MSC公司:2015年第68季度
PDF格式BibTeX公司 XML格式引用

模图自同构的复杂性。 (英语) Zbl 0892.68068号

Morvan,Michel(编辑)等人,STACS 98。第十五届计算机科学理论研讨会。1998年2月25日至27日,法国巴黎。诉讼程序。柏林:施普林格。莱克特。注释计算。科学。1373, 172-182 (1998).
PDF格式BibTeX公司 XML格式引用

资源约束测度与伪随机性。 (英语) Zbl 0889.03029号

Ramesh,S.等人,《软件技术和理论计算机科学基础》。1997年12月18日至20日在印度卡拉普尔举行的第17届会议。诉讼程序。柏林:施普林格。莱克特。注释计算。科学。1346, 235-249 (1997).
PDF格式BibTeX公司 XML格式引用

筛选结果依据…

文档类型

全部的 前5名

出版年份