首页期刊浏览 2024年11月24日星期日

登录注册

全文

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

出版年度

	2021	1篇
	2020	3篇
	2019	2篇
	2016	2篇
	2015	2篇

	2014	2篇
	2012	1篇
	2010	2篇
	2009	3篇

作者

	Jakob Nordström	18篇
	Susanna de Rezende	6篇
	Massimo Lauria	4篇
	Dmitry Sokolov	3篇
	Eli Ben-Sasson	3篇

	Robert Robere	3篇
	Christoph Berkholz	2篇
	Kilian Risse	2篇
	Marc Vinyals	2篇
	Mladen Mikša	2篇
	Or Meir	2篇
	Toniann Pitassi	2篇
	Yuval Filmus	2篇
	Albert Atserias	1篇
	Alexander Razborov	1篇
	Mika Göös	1篇
	Neil Thapen	1篇
	Noga Ron-Zewi	1篇

来源期刊

Electronic Colloquium on Computational Complexity

18篇

学科主题

计算技术、计算机技术

18篇

语种

英文

18篇

国别/地区

德国

18篇

检索条件:"( ( 高级检索(( ((AU:(("Jakob Nordström")))) )) ) )"

共 18 条记录

排序：全选导出：

1.On Minimal Unsatisfiability and Time-Space Trade-offs for k -DNF Resolution

作　　者：Jakob Nordström ;Alexander Razborov

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

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

文章 ID：88774500

文章详细全文下载
2.Space Complexity in Polynomial Calculus

作　　者：Yuval Filmus ;Massimo Lauria ;Jakob Nordström 等

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

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

文章 ID：88774666

文章详细全文下载
3.Narrow Proofs May Be Maximally Long

作　　者：Albert Atserias ;Massimo Lauria ;Jakob Nordström

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

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

文章 ID：95928675

文章详细全文下载
4.From Small Space to Small Width in Resolution

作　　者：Yuval Filmus ;Massimo Lauria ;Mladen Mikša 等

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

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

文章 ID：95928712

文章详细全文下载
5.Understanding Space in Resolution: Optimal Lower Bounds and Exponential Trade-offs

作　　者：Eli Ben-Sasson ;Jakob Nordström

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

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

文章 ID：47146783

文章详细全文下载
6.A Space Hierarchy for k-DNF Resolution

作　　者：Eli Ben-Sasson ;Jakob Nordström

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

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

文章 ID：47146796

文章详细全文下载
7.Understanding Space in Proof Complexity: Separations and Trade-offs via Substitutions

作　　者：Eli Ben-Sasson ;Jakob Nordström

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

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

文章 ID：47585118

文章详细全文下载
8.On the Relative Strength of Pebbling and Resolution

作　　者：Jakob Nordström

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

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

文章 ID：47585198

文章详细全文下载
9.A Generalized Method for Proving Polynomial Calculus Degree Lower Bounds

作　　者：Mladen Mikša ;Jakob Nordström

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

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

文章 ID：113635698

文章详细全文下载
10.Tight Size-Degree Bounds for Sums-of-Squares Proofs

作　　者：Massimo Lauria ;Jakob Nordström

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

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

文章 ID：113635723

文章详细

1 2 下一页尾页

电话：010-85195300

E-mail：cassoa@cass.org.cn

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

扫一扫关注微信

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

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