×

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

用ZH-微积分表示计数减少。 (英语) Zbl 07822818号

Mansfield,Shane(编辑)等人,《第20届量子物理和逻辑国际会议论文集》,QPL,巴黎,法国,2023年7月17日至21日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)38489-113(2023)。
MSC公司:81件
PDF格式BibTeX公司 XML格式引用

回顾函数反演的时空权衡。 (英语) Zbl 07799230号

Handschuh,Helena(编辑)等人,《密码学进展——密码2023》。第43届年度国际密码学会议,2023年8月20日至24日,美国加利福尼亚州圣巴巴拉市,CRYPTO 2023。诉讼程序。第二部分。查姆:斯普林格。莱克特。注释计算。科学。14082, 453-481 (2023).
MSC公司:94A60型
PDF格式BibTeX公司 XML格式引用
全文: 内政部

根据Diffie-Hellman决策假设得出的SNARG和PPAD硬度。 (英语) Zbl 07773996号

Hazay,Carmit(编辑)等人,《密码学进展–EUROCRYPT 2023》。第42届密码技术理论与应用国际年会,法国里昂,2023年4月23日至27日。诉讼程序。第二部分。查姆:斯普林格。莱克特。注释计算。科学。14005, 470-498 (2023).
MSC公司:94A60型
PDF格式BibTeX公司 XML格式引用
全文: 内政部

见证地图地图:新定义和连接。 (英语) Zbl 1526.94029号

Boldyreva,Alexandra(编辑)等人,公开密钥加密-PKC 2023。2023年5月7日至10日,美国佐治亚州亚特兰大,第26届IACR公开密钥加密实践和理论国际会议。诉讼程序。第二部分。查姆:斯普林格。莱克特。注释计算。科学。13941, 635-662 (2023).
MSC公司:94A60型 94A62型
PDF格式BibTeX公司 XML格式引用
全文: 内政部

基于强平均情况硬度构建细粒度单向函数。 (英语) Zbl 1497.68209号

Dunkelman,Orr(编辑)等人,《密码学进展——欧洲密码2022》。第41届密码技术理论与应用国际年会,挪威特隆赫姆,2022年5月30日至6月3日。诉讼程序。第二部分。查姆:斯普林格。莱克特。注释计算。科学。13276, 584-613 (2022).
PDF格式BibTeX公司 XML格式引用
全文: 内政部 哈尔

关于寻找最短变量析取分枝定界证明的复杂性。 (英语) Zbl 1497.90137号

Aardal,Karen(编辑)等,整数规划和组合优化。第23届国际会议,IPCO 2022,荷兰埃因霍温,2022年6月27日至29日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13265291-304(2022)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

巴内特猜想是通过\(Mod_k P\)复杂性类的透镜实现的。 (英语) Zbl 07670959号

Akiyama,Jin(编辑)等人,《离散和计算几何、图形和游戏》。第21届日本会议,2018年JCDCGGG,菲律宾奎松市,2018年9月1日至3日。修订了选定的论文。查姆:斯普林格。莱克特。注释计算。科学。13034, 59-73 (2021).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

多项式方法在求解([mathrm{GF}(2)]上多元方程组中的密码分析应用。 (英语) Zbl 1479.94157号

Canteaut,Anne(编辑)等人,《密码学进展–EUROCRYPT 2021》。第40届加密技术理论与应用国际年会,克罗地亚萨格勒布,2021年10月17日至21日。诉讼程序。第一部分查姆:施普林格。莱克特。注释计算。科学。12696, 374-403 (2021).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

伪随机生成器构造的元计算观点中的非双联承诺问题。 (英语) Zbl 07561748号

Saraf,Shubhangi(编辑),第35届计算复杂性会议,CCC 2020,2020年7月28日至31日,德国萨尔布吕肯,虚拟会议。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。169,第20条,第47页(2020年)。
MSC公司:65年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

关于唯一电路SAT的复杂性。 (英语。俄文原件) 兹比尔1442.68053

数学杂志。科学。,纽约 247,编号3,457-466(2020); Zap的翻译。诺什。塞明。POMI 475122-136(2018)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

通过平价自约简求解GF(2)上的多项式方程组。 (英语) Zbl 07561519号

Baier,Christel(ed.)等人,第46届自动化、语言和编程国际学术讨论会,2019年ICALP 2019年7月9日至12日,希腊帕特拉斯。诉讼程序。Wadern:达格斯图尔宫(Schloss Dagstuhl)——莱布尼兹·泽特鲁姆(Leibniz-Zentrum für Informatik)。LIPIcs–莱布尼茨国际程序。通知。132,第26条,第13页(2019年)。
MSC公司:68新元 68季度xx
PDF格式BibTeX公司 XML格式引用
全文: 内政部

Bilu-Linial稳定性、认证算法和独立集问题。 (英语) Zbl 07525444号

Bender,Michael A.(编辑)等人,第27届欧洲算法年会,《2019年欧洲账户体系》,德国慕尼黑/加兴,2019年9月9日至11日。诉讼程序。Wadern:达格斯图尔宫(Schloss Dagstuhl)——莱布尼兹·泽特鲁姆(Leibniz-Zentrum für Informatik)。LIPIcs–莱布尼茨国际程序。通知。144,第7条,第16页(2019年)。
MSC公司:68瓦xx
PDF格式BibTeX公司 XML格式引用

多项式层次的量子推广及其在QMA中的应用(2)。 (英语) Zbl 1512.68100号

Potapov,Igor(编辑)等人,第43届计算机科学数学基础国际研讨会。2018年8月27日至31日,英国利物浦,MFCS 2018。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。117,第58条,第16页(2018年)。
PDF格式BibTeX公司 XML格式引用

小偏差需要大公式。 (英语) Zbl 1499.68130号

Chatzigiannakis,Ioannis(编辑)等人,第45届自动化、语言和编程国际研讨会。2018年7月9日至13日,捷克共和国布拉格,ICALP 2018。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。107,第22条,第12页(2018年)。
MSC公司:2017年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

UP的高效批验证。 (英语) Zbl 1441.68101号

Servedio,Rocco A.(编辑),第33届计算复杂性会议,CCC 2018,2018年6月22日至24日,美国加利福尼亚州圣地亚哥。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。102,第22条,第23页(2018年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

非均匀约简和NP-完全性。 (英语) Zbl 1487.68129号

Niedermeier,Rolf(ed.)等人,第35届计算机科学理论方面研讨会,STACS 2018,法国卡昂,2018年2月28日至3月3日。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。96,第40条,第13页(2018年)。
PDF格式BibTeX公司 XML格式引用

查看电路内部有帮助吗? (英语) Zbl 1440.68079号

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

具有近似正确性的统计安全模糊处理。 (英语) Zbl 1391.94734号

Robshaw,Matthew(ed.)等人,《密码学进展——加密2016》。2016年8月14日至18日在美国加利福尼亚州圣巴巴拉举行的第36届年度国际密码学会议。诉讼程序。第二部分。柏林:施普林格出版社(ISBN 978-3-662-53007-8/pbk;978-3-562-53008-5/电子书)。计算机科学讲座笔记9815,551-578(2016)。
MSC公司:94A60型
PDF格式BibTeX公司 XML格式引用
全文: 内政部

随机约束下集合系统的奇偶性及其在指数时间问题中的应用。 (英语) Zbl 1441.68065号

Halldórsson,Magnüs M.(编辑)等人,《自动化、语言和编程》。第42届国际学术讨论会,ICALP 2015,日本京都,2015年7月6日至10日。诉讼程序。第一部分柏林:施普林格。莱克特。注释计算。科学。9134, 231-242 (2015).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

关于主问题的复杂性。 (英语) Zbl 1465.68110号

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

满足赋值的近似计数的相对指数时间复杂度。 (英语) Zbl 1341.68067号

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

参数化复杂性的诞生和早期。 (英语) Zbl 1358.68129号

Bodlaender,Hans L.(编辑)等人,《多元算法革命及其以外》。纪念迈克尔·R·费罗斯60岁生日的文章。柏林:施普林格出版社(ISBN 978-3-642-30890-1/pbk)。计算机科学讲义7370,17-38(2012)。
MSC公司:65年第68季度 68-03
PDF格式BibTeX公司 XML格式引用
全文: 内政部

对称布尔奇偶Holant问题的复杂性(扩展抽象)。 (英语) Zbl 1333.68144号

Aceto,Luca(编辑)等人,《自动化,语言和编程》。2011年7月4日至8日,瑞士苏黎世,第38届国际学术讨论会,ICALP 2011。会议记录,第一部分,柏林:施普林格出版社(ISBN 978-3-642-22005-0/pbk)。计算机科学课堂讲稿6755712-723(2011)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

单层模块化计数门电路的深度降低。 (英语) Zbl 1248.94132号

Frid,Anna(编辑)等人,《计算机科学——理论与应用》。2009年8月18日至23日,在俄罗斯新西伯利亚举行的第四届国际计算机科学研讨会,CSR 2009。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-03350-6/pbk)。计算机科学讲座笔记5675117-128(2009)。
MSC公司:94立方厘米 65年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

\(k)-SAT并不比决策-唯一-(k)-SAT难。 (英语) Zbl 1248.68237号

Frid,Anna(编辑)等人,《计算机科学——理论与应用》。2009年8月18日至23日,在俄罗斯新西伯利亚举行的第四届国际计算机科学研讨会,CSR 2009。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-03350-6/pbk)。《计算机科学讲义》5675,59-70(2009)。
MSC公司:65年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

论结构通信复杂性中的托达定理。 (英语) Zbl 1206.68132号

尼尔森,莫根斯(编辑)等人,《SOFSEM 2009:计算机科学的理论与实践》。2009年1月24日至30日,第35届计算机科学理论与实践当前趋势会议,Špindlerův Ml \367]n,捷克共和国。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-95890-1/pbk)。计算机科学课堂讲稿5404,609-620(2009)。
MSC公司:2015年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

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

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

三色和双色Tantrix\(^{\text{TM}}})旋转谜题问题通过简约约简是NP完全的。 (英语) Zbl 1156.68390号

Martín-Vide,Carlos(编辑)等人,《语言和自动机理论与应用》。2008年3月13日至19日在西班牙塔拉戈纳举行的2008年拉丁美洲旅游协会第二届国际会议。修改后的文件。柏林:施普林格出版社(ISBN 978-3-540-88281-7/pbk)。计算机科学课堂讲稿5196,76-87(2008)。
MSC公司:2017年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

出版年份