1.An Exponential Lower Bound to the Size of Bounded Depth Frege Proofs of the Pigeonhole Principle

作　　者：Jan Krajicek ;Pavel Pudlak ;Alan Woods

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

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

文章 ID：88774738

文章详细全文下载

2.A reduction of proof complexity to computational complexity for AC0[p] Frege systems

作　　者：Jan Krajicek

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

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

文章 ID：88774903

文章详细全文下载

3.Implicit proofs

作　　者：Jan Krajicek

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

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

文章 ID：47146870

文章详细全文下载

4.On the proof complexity of the Nisan-Wigderson generator based on a hard NPcoNP function

作　　者：Jan Krajicek

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

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

文章 ID：47585189

文章详细全文下载

5.Tautologies from pseudo-random generators

作　　者：Jan Krajicek

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

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

文章 ID：47840833

文章详细全文下载

6.Interpolation by a game

作　　者：Jan Krajicek

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

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

文章 ID：49468496

文章详细全文下载

7.Consistency of circuit lower bounds with bounded theories

作　　者：Jan Bydzovsky ;Igor Carboni Oliveira ;Jan Krajicek

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

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

文章 ID：243029118

文章详细全文下载

8.Consistency of circuit lower bounds with bounded theories

作　　者：Jan Bydzovsky ;Igor Carboni Oliveira ;Jan Krajicek

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

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

文章 ID：243731525

文章详细全文下载

9.Unprovability of circuit upper bounds in Cook's theory PV

作　　者：Jan Krajicek ;Igor Carboni Oliveira

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

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

文章 ID：215687021

文章详细全文下载

10.Information in propositional proofs and algorithmic proof search

作　　者：Jan Krajicek

出　　处：Electronic Colloquium on Computational Complexity. 2021 ;21.

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

文章 ID：1037095408

文章详细

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

全文

出版年度

作者

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Jan Krajicek")))) )) ) )"

	Jan Krajicek	10篇
	Igor Carboni Oliveira	3篇
	Jan Bydzovsky	2篇
	Alan Woods	1篇
	Pavel Pudlak	1篇