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.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

文章详细全文下载
3.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

文章详细全文下载
4.Lower bounds: from circuits to QBF proof systems

作　　者：Olaf Beyersdorff ;Ilario Bonacina ;Leroy Chew

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

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

文章 ID：174712880

文章详细全文下载
5.Total space in Resolution is at least width squared

作　　者：Ilario Bonacina

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

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

文章 ID：215687007

文章详细全文下载
6.Strong ETH and Resolution via Games and the Multiplicity of Strategies

作　　者：Ilario Bonacina ;Navid Talebanfard

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2015 ;43:248-257.doi:10.4230/LIPIcs.IPEC.2015.248

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：186847151

文章详细全文下载
7.Total Space in Resolution Is at Least Width Squared

作　　者：Ilario Bonacina

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2016 ;55:56:1-56:13.doi:10.4230/LIPIcs.ICALP.2016.56

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：186847653

文章详细全文下载
8.On the strength of Sherali-Adams and Nullstellensatz as propositional proof system

作　　者：Ilario Bonacina ;Maria Luisa Bonet

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

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

文章 ID：1037095517

文章详细

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

	Neil Thapen	1篇
	Olaf Beyersdorff	1篇
	Paul Wollan	1篇
	Tony Huynh	1篇

全文

出版年度

作者

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Ilario Bonacina")))) )) ) )"

	Ilario Bonacina	8篇
	Nicola Galesi	3篇
	Leroy Chew	1篇
	Maria Luisa Bonet	1篇
	Navid Talebanfard	1篇

	Electronic Colloquium on Computational Complexity	6篇
	LIPIcs : Leibniz International Proceedings in Informatics	2篇

	2021	1篇
	2016	2篇
	2015	2篇
	2014	2篇
	2012	1篇