首页期刊浏览 2024年12月02日星期一

登录注册

全文

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

出版年度

	2021	1篇
	2019	6篇
	2018	2篇
	2015	1篇
	2014	3篇

	2012	2篇
	2010	2篇
	2009	1篇
	2001	1篇
	2000	2篇
	1998	1篇

作者

	Nicola Galesi	20篇
	Neil Thapen	5篇
	Anastasia Sofronova	3篇
	Artur Riazanov	3篇
	Barnaby Martin	3篇

	Dmitry Itsykson	3篇
	Ilario Bonacina	3篇
	Massimo Lauria	3篇
	Olaf Beyersdorff	3篇
	Stefan Dantchev	3篇
	Albert Atserias	2篇
	Leszek Kolodziejczyk	2篇
	Pavel Pudlak	2篇
	Abdul Ghani	1篇
	Eli Ben-Sasson, Nicola Galesi	1篇
	Jacobo Toran	1篇
	Jan Johannsen	1篇
	Juan Luis Esteban	1篇
	Maria Luisa Bonet	1篇
	Navid Talebanfard	1篇
	Nicola Galesi, Massimo Lauria	1篇
	Paul Wollan	1篇
	Pavel Pudl{\'a}k	1篇
	Ricard Gavaldà	1篇
	Tony Huynh	1篇

来源期刊

	Electronic Colloquium on Computational Complexity	19篇
	LIPIcs : Leibniz International Proceedings in Informatics	3篇

学科主题

计算技术、计算机技术

22篇

语种

英文

22篇

国别/地区

德国

22篇

检索条件:"( ( 高级检索(( ((AU:(("Nicola Galesi")))) )) ) )"

共 22 条记录

排序：全选导出：

1.Pseudo-partitions, Transversality and Locality: A Combinatorial Characterization for the Space Measure in Algebraic Proof Systems

作　　者：Ilario Bonacina ;Nicola Galesi

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

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

文章 ID：88774653

文章详细全文下载
2.A Characterization of Tree-Like Resolution Size

作　　者：Olaf Beyersdorff ;Nicola Galesi ;Massimo Lauria

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

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

文章 ID：88774695

文章详细全文下载
3.Total space in resolution

作　　者：Ilario Bonacina ;Nicola Galesi ;Neil Thapen

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

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

文章 ID：90814551

文章详细全文下载
4.Space proof complexity for random 3 -CNFs via a (2 − ) -Hall's Theorem

作　　者：Ilario Bonacina ;Nicola Galesi ;Tony Huynh 等

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

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

文章 ID：95928647

文章详细全文下载
5.The space complexity of cutting planes refutations

作　　者：Nicola Galesi ;Pavel Pudlak ;Neil Thapen

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

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

文章 ID：95928655

文章详细全文下载
6.On the Automatizability of Polynomial Calculus

作　　者：Nicola Galesi, Massimo Lauria

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

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

文章 ID：47146784

文章详细全文下载
7.Space Complexity of Random Formulae in Resolution

作　　者：Eli Ben-Sasson, Nicola Galesi

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

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

文章 ID：47147007

文章详细全文下载
8.A Lower Bound for the Pigeonhole Principle in Tree-like Resolution by Asymmetric Prover-Delayer Games

作　　者：Olaf Beyersdorff ;Nicola Galesi ;Massimo Lauria

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

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

文章 ID：47585162

文章详细全文下载
9.Hardness of Parameterized Resolution

作　　者：Olaf Beyersdorff ;Nicola Galesi ;Massimo Lauria

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

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

文章 ID：47585184

文章详细全文下载
10.Monotone simulations of nonmonotone propositional proofs

作　　者：Albert Atserias ;Nicola Galesi ;Pavel Pudlak

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

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

文章 ID：47840736

文章详细全文下载

1 2 3 下一页尾页

电话：010-85195300

E-mail：[email protected]

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

扫一扫关注微信

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

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