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

登录注册

全文

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

出版年度

	2020	1篇
	2019	1篇
	2018	2篇
	2017	1篇
	2016	1篇

	2014	1篇
	2013	3篇
	2012	2篇
	2003	1篇
	2002	2篇
	2000	2篇

作者

	Albert Atserias	16篇
	Sergi Oliva	3篇
	Maria Luisa Bonet	2篇
	Nicola Galesi	2篇
	Albert Atserias, Anuj Dawar	1篇

	Anuj Dawar	1篇
	Jakob Nordström	1篇
	Joanna Ochremiak	1篇
	Jordi Levy	1篇
	Marc Noy	1篇
	Massimo Lauria	1篇
	Moritz Müller	1篇
	Neil Thapen	1篇
	Pavel Pudlak	1篇
	Ricard Gavaldà	1篇
	Stephan Kreutzer	1篇
	Szymon Torunczyk	1篇
	Tuomas Hakoniemi	1篇
	Víctor Dalmau	1篇

来源期刊

	Electronic Colloquium on Computational Complexity	10篇
	LIPIcs : Leibniz International Proceedings in Informatics	7篇

学科主题

计算技术、计算机技术

17篇

语种

英文

17篇

国别/地区

德国

17篇

检索条件:"( ( 高级检索(( ((AU:(("Albert Atserias")))) )) ) )"

共 17 条记录

排序：全选导出：

1.Bounded-width QBF is PSPACE-complete

作　　者：Albert Atserias ;Sergi Oliva

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

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

文章 ID：88774630

文章详细全文下载
2.Lower Bounds for DNF-Refutations of a Relativized Weak Pigeonhole Principle

作　　者：Albert Atserias ;Moritz Müller ;Sergi Oliva

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

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

文章 ID：88774863

文章详细全文下载
3.The Ordering Principle in a Fragment of Approximate Counting

作　　者：Albert Atserias ;Neil Thapen

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

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

文章 ID：88774896

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

文章详细全文下载
5.Degree Lower Bounds of Tower-Type for Approximating Formulas with Parity Quantifiers

作　　者：Albert Atserias, Anuj Dawar

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

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

文章 ID：77057248

文章详细全文下载
6.On Chvatal Rank and Cutting Planes Proofs

作　　者：Albert Atserias ;Maria Luisa Bonet ;Jordi Levy

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

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

文章 ID：47146856

文章详细全文下载
7.On the Automatizability of Resolution and Related Propositional Proof Systems

作　　者：Albert Atserias ;Maria Luisa Bonet

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

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

文章 ID：47146913

文章详细全文下载
8.A Combinatorial Characterization of Resolution Width

作　　者：Albert Atserias ;Víctor Dalmau

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

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

文章 ID：47146938

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

文章详细全文下载
10.Monotone Proofs of the Pigeon Hole Principle

作　　者：Albert Atserias ;Nicola Galesi ;Ricard Gavaldà

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

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

文章 ID：47840880

文章详细全文下载

1 2 下一页尾页

电话：010-85195300

E-mail：[email protected]

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

扫一扫关注微信

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

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