1.Circuit Lower Bounds in Bounded Arithmetics

作　　者：Ján Pich

出　　处：Electronic Colloquium on Computational Complexity. 2013 ;2013.

出版社：Universität Trier, Lehrstuhl für Theoretische Computer-Forschung

文章 ID：88774824

文章详细全文下载

2.Nisan-Wigderson generators in proof systems with forms of interpolation

作　　者：Ján Pich

出　　处：Electronic Colloquium on Computational Complexity. 2010 ;2010.

出版社：Universität Trier, Lehrstuhl für Theoretische Computer-Forschung

文章 ID：47585197

文章详细全文下载

3.Beyond Natural Proofs: Hardness Magnification and Locality

作　　者：Igor Carboni Oliveira ;Lijie Chen ;Shuichi Hirahara 等

出　　处：Electronic Colloquium on Computational Complexity. 2019 ;2019:1-52.

出版社：Universität Trier, Lehrstuhl für Theoretische Computer-Forschung

文章 ID：243029027

文章详细全文下载

4.Beyond Natural Proofs: Hardness Magnification and Locality

作　　者：Igor Carboni Oliveira ;Lijie Chen ;Shuichi Hirahara 等

出　　处：Electronic Colloquium on Computational Complexity. 2019 ;2019:1-52.

出版社：Universität Trier, Lehrstuhl für Theoretische Computer-Forschung

文章 ID：243731405

文章详细全文下载

5.Reasons for Hardness in QBF Proof Systems

作　　者：Olaf Beyersdorff ;Luke Hinde ;Ján Pich

出　　处：Electronic Colloquium on Computational Complexity. 2017 ;2017.

出版社：Universität Trier, Lehrstuhl für Theoretische Computer-Forschung

文章 ID：207621294

文章详细全文下载

6.Feasibly constructive proofs of succinct weak circuit lower bounds

作　　者：Moritz Müller ;Ján Pich

出　　处：Electronic Colloquium on Computational Complexity. 2017 ;2017.

出版社：Universität Trier, Lehrstuhl für Theoretische Computer-Forschung

文章 ID：207621394

文章详细全文下载

7.Understanding Gentzen and Frege systems for QBF

作　　者：Olaf Beyersdorff ;Ján Pich

出　　处：Electronic Colloquium on Computational Complexity. 2016 ;2016.

出版社：Universität Trier, Lehrstuhl für Theoretische Computer-Forschung

文章 ID：215686961

文章详细全文下载

8.Logical strength of complexity theory and a formalization of the PCP theorem in bounded arithmetic

作　　者：Ján Pich

出　　处：Logical Methods in Computer Science. 2015 ;11(2):1.doi:10.2168/LMCS-11(2:8)2015

出版社：Technical University of Braunschweig

文章 ID：264692224

文章详细全文下载

9.Hardness magnification near state-of-the-art lower bounds

作　　者：Igor Carboni Oliveira ;Ján Pich ;Rahul Santhanam

出　　处：Electronic Colloquium on Computational Complexity. 2018 ;2018.

出版社：Universität Trier, Lehrstuhl für Theoretische Computer-Forschung

文章 ID：235153609

文章详细全文下载

10.Hardness Magnification Near State-of-the-Art Lower Bounds

作　　者：Igor C.Oliveira ;Ján Pich ;Rahul Santhanam

出　　处：Theory of Computing. 2021 ;17(1):1-38.doi:10.4086/toc.2021.v017a011

出版社：University of Chicago

文章 ID：1036306916

文章详细全文下载

	Ján Pich	10篇
	Rahul Santhanam	4篇
	Igor Carboni Oliveira	3篇
	Lijie Chen	2篇
	Ninad Rajgopal	2篇

	德国	9篇
	美国	1篇

全文

出版年度

作者

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Ján Pich")))) )) ) )"

	Olaf Beyersdorff	2篇
	Shuichi Hirahara	2篇
	Igor C.Oliveira	1篇
	Luke Hinde	1篇
	Moritz Müller	1篇

	Electronic Colloquium on Computational Complexity	8篇
	Logical Methods in Computer Science	1篇
	Theory of Computing	1篇