首页期刊浏览 2025年02月26日星期三

登录注册

全文

	有本地全文	2篇
	有全文链接	1篇

出版年度

	2020	1篇
	2019	1篇
	2018	1篇

作者

	J{'a}n Pich	2篇
	Rahul Santhanam	2篇
	Igor C. Oliveira	1篇
	Igor Carboni Oliveira	1篇
	J{\'a}n Pich	1篇

	Lijie Chen	1篇
	Luke Hinde	1篇
	Ninad Rajgopal	1篇
	Olaf Beyersdorff	1篇
	Shuichi Hirahara	1篇

来源期刊

LIPIcs : Leibniz International Proceedings in Informatics

3篇

学科主题

计算技术、计算机技术

3篇

语种

英文

3篇

国别/地区

德国

3篇

检索条件:"( ( 高级检索(( ((AU:(("J{ a}n Pich")))) )) ) )"

共 3 条记录

排序：全选导出：

1.Beyond Natural Proofs: Hardness Magnification and Locality

作　　者：Lijie Chen ;Shuichi Hirahara ;Igor C. Oliveira 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;151:1-48.doi:10.4230/LIPIcs.ITCS.2020.70

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：243494308

文章详细全文下载
2.Hardness Magnification near State-Of-The-Art Lower Bounds

作　　者：Igor Carboni Oliveira ;J{'a}n Pich ;Rahul Santhanam

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2019 ;137:1-29.doi:10.4230/LIPIcs.CCC.2019.27

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：238892059

文章详细全文下载
3.Reasons for Hardness in QBF Proof Systems

作　　者：Olaf Beyersdorff ;Luke Hinde ;J{\'a}n Pich

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;93:14:1-14:15.doi:10.4230/LIPIcs.FSTTCS.2017.14

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：220015399

文章详细

1

电话：010-85195300

E-mail：cassoa@cass.org.cn

地址：中国北京建国门内大街5号中国社会科学院1#楼

扫一扫关注微信

联系我们|关于我们|网站声明

国家哲学社会科学文献中心版权所有