×

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

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

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

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

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

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

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

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

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

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

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

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

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

根据指数最坏情况硬度假设计算NP的平均硬度。 (英语) Zbl 07765172号

Khuller,Samir(ed.)等人,第53届ACM SIGACT计算理论年度研讨会论文集,STOC’21,虚拟,意大利,2021年6月21-25日。纽约州纽约市:计算机协会(ACM)。292-302 (2021).
MSC公司:68季度xx
PDF格式BibTeX公司 XML格式引用
全文: DOI程序

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

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

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

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

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

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

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

数学杂志。科学。,纽约 247,第3期,457-466(2020年); Zap的翻译。诺什。塞明。POMI 475122-136(2018)。
PDF格式BibTeX公司 XML格式引用
全文: DOI程序

近似模型计数、稀疏异或约束和最小距离。 (英语) Zbl 1535.68181号

Alvim,Mário S.(编辑)等人,《计算系统建模的艺术:从逻辑和并发到安全和隐私的旅程》。在卡图西娅·帕拉米德斯60岁生日之际为她撰写的论文。查姆:斯普林格。勒克特。注释计算。科学。11760, 363-378 (2019).
MSC公司:68兰特 68T20型
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格式引用
全文: DOI程序

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格式引用
全文: DOI程序

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格式引用
全文: DOI程序

非均匀约简和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 1427.68117号

Diakonikolas,Ilias(编辑)等人,第50届ACM SIGACT计算理论研讨会论文集,STOC’18,美国加利福尼亚州洛杉矶,2018年6月25日至29日。纽约州纽约市:计算机协会(ACM)。281-288 (2018).
PDF格式BibTeX公司 XML格式引用

从后门钥匙到后门完备性:改进可满足CSP的已知硬度测量。 (英语) 兹比尔1508.68327

van Hoeve,Willem-Jan(编辑),约束编程、人工智能和运筹学的集成。2018年6月26日至29日在荷兰代尔夫特举行的2018年CPAIOR第15届国际会议。诉讼程序。查姆:斯普林格。勒克特。注释计算。科学。10848, 198-214 (2018).
PDF格式BibTeX公司 XML格式引用
全文: DOI程序 链接

快速灵活的概率模型计数。 (英语) Zbl 1511.68242号

Beyersdorff,Olaf(编辑)等人,《可满足性测试的理论和应用——2018年SAT》。2018年7月9日至12日在英国牛津举行的2018年第21届国际会议(SAT 2018),作为联邦逻辑会议的一部分。诉讼程序。查姆:斯普林格。勒克特。注释计算。科学。10929, 148-164 (2018).
MSC公司:68T20型
PDF格式BibTeX公司 XML格式引用
全文: DOI程序

计算约束满足问题。 (英语) Zbl 1482.68164号

Krokhin,Andrei(编辑)等人,《约束满足问题:复杂性和近似性》,Dagstuhl研讨会153012015年7月。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。Dagstuhl Follow-Ups 7,205-231(2017)。
PDF格式BibTeX公司 XML格式引用
全文: DOI程序

查看电路内部有帮助吗? (英语) 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格式引用
全文: DOI程序

关于布尔函数的模度复杂性。 (英语) Zbl 1433.68174号

曹一新(编辑)等,《计算与组合学》。第23届国际会议,COCOON 2017,中国香港,2017年8月3-5日。诉讼程序。查姆:斯普林格。勒克特。注释计算。科学。10392, 384-395 (2017).
PDF格式BibTeX公司 XML格式引用
全文: DOI程序

委托计算的持续交互式证明。 (英语) Zbl 1373.68274号

Wichs,Daniel(编辑)等人,《第48届ACM SIGACT计算理论研讨会论文集》,STOC’16,美国马萨诸塞州剑桥,2016年6月19-21日。纽约州纽约市:计算机机械协会(ACM)(ISBN 978-1-4503-4132-5)。49-62 (2016).
PDF格式BibTeX公司 XML格式引用
全文: DOI程序

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

Robshaw,Matthew(编辑)等人,《密码学进展——密码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格式引用
全文: DOI程序

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

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

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

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

满足赋值的近似计数的相对指数时间复杂度。 (英语) 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 1364.94224号

2013年1月9日至12日,美国加利福尼亚州伯克利市ITCS’13第四届理论计算机科学创新会议论文集。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-1859-4)。553-560 (2013).
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格式引用
全文: DOI程序

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

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

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

出版年份