1.Exponential Separations in a Hierarchy of Clause Learning Proof Systems

作　　者：Jan Johannsen

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

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

文章 ID：88774819

文章详细全文下载
2.An Exponential Separation between Regular and General Resolution

作　　者：Michael Alekhnovich ;Jan Johannsen ;Toniann Pitassi 等

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

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

文章 ID：47147032

文章详细全文下载
3.Lower bounds for width-restricted clause learning on small width formulas

作　　者：Eli Ben-Sasson, Jan Johannsen

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

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

文章 ID：47585158

文章详细全文下载
4.Lower Bounds for Monotone Real Circuit Depth and Formula Size and Tree-like Cutting Planes

作　　者：Jan Johannsen

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

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

文章 ID：49468544

文章详细全文下载
5.Exponential Separations between Restricted Resolution and Cutting Planes Proof Systems

作　　者：Maria Luisa Bonet ;Juan Luis Esteban ;Nicola Galesi 等

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

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

文章 ID：49468838

文章详细全文下载
6.Resolution Trees with Lemmas: Resolution Refinements that Characterize DLL Algorithms with Clause Learning

作　　者：Samuel R. Buss ;Jan Hoffmann ;Jan Johannsen

出　　处：Logical Methods in Computer Science. 2008 ;4(04).doi:10.2168/LMCS-4(4:13)2008

出版社：Technical University of Braunschweig

文章 ID：47109826

文章详细全文下载
7.Qualification of selective laser-melted Al alloys against fatigue damage by means of measurement and modeling techniques

作　　者：Mustafa Awd ;Jan Johannsen ;Shafaqat Siddique 等

出　　处：MATEC Web of Conferences. 2018 ;165.doi:10.1051/matecconf/201816502001

出版社：EDP Sciences

文章 ID：1016652619

文章详细

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

	Jan Johannsen	6篇
	Alasdair Urquhart	1篇
	Claus Emmelmann	1篇
	Eli Ben-Sasson, Jan Johannsen	1篇
	Frank Walther	1篇

全文

出版年度

作者

文章类型

来源期刊

学科主题

语种

国别/地区

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

	Jan Hoffmann	1篇
	Juan Luis Esteban	1篇
	Maria Luisa Bonet	1篇
	Michael Alekhnovich	1篇
	Mustafa Awd	1篇
	Nicola Galesi	1篇
	Samuel R. Buss	1篇
	Shafaqat Siddique	1篇
	Toniann Pitassi	1篇

	Electronic Colloquium on Computational Complexity	5篇
	Logical Methods in Computer Science	1篇
	MATEC Web of Conferences	1篇

	2018	1篇
	2013	1篇
	2010	1篇
	2008	1篇
	2001	1篇

	1998	1篇
	1997	1篇