1.Exponential Lower Bounds for Refuting Random Formulas Using Ordered Binary Decision Diagrams

作　　者：Luke Friedman ;Yixin Xu

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

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

文章 ID：88774765

文章详细全文下载
2.A Framework for Proving Proof Complexity Lower Bounds on Random CNFs Using Encoding Techniques

作　　者：Luke Friedman

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

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

文章 ID：88774774

文章详细全文下载
3.Reductions to the set of random strings:the resource-bounded case

作　　者：Eric Allender ;Harry Buhrman ;Luke Friedman 等

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

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

文章 ID：77057231

文章详细全文下载
4.Kolmogorov Complexity, Circuits, and the Strength of Formal Theories of Arithmetic

作　　者：Eric Allender ;George Davie ;Luke Friedman 等

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

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

文章 ID：77057261

文章详细全文下载
5.Limits on the Computational Power of Random Strings

作　　者：Eric Allender ;Luke Friedman ;William Gasarch

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

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

文章 ID：47755441

文章详细全文下载
6.Reductions to the set of random strings: The resource-bounded case

作　　者：Eric Allender ;Harry Buhrman ;Luke Friedman 等

出　　处：Logical Methods in Computer Science. 2014 ;10(3):1.doi:10.2168/LMCS-10(3:5)2014

出版社：Technical University of Braunschweig

文章 ID：264692152

文章详细全文下载

	Luke Friedman	6篇
	Eric Allender	4篇
	Bruno Loff	2篇
	Harry Buhrman	2篇
	George Davie	1篇

	Iddo Tzameret	1篇
	Samuel Hopkins	1篇
	William Gasarch	1篇
	Yixin Xu	1篇

全文

出版年度

作者

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Luke Friedman")))) )) ) )"

	Electronic Colloquium on Computational Complexity	5篇
	Logical Methods in Computer Science	1篇

	2014	1篇
	2013	2篇
	2012	2篇
	2010	1篇