首页期刊浏览 2025年02月17日星期一

登录注册

全文

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

出版年度

	2021	1篇
	2017	1篇
	2016	1篇
	2015	2篇
	2014	1篇

	2013	3篇
	2011	1篇
	2010	1篇
	2003	1篇
	2000	1篇

作者

	Stefan Szeider	12篇
	Robert Ganian	3篇
	Ronald de Haan	3篇
	Daniel Paulusma	2篇
	Iyad Kanj	2篇

	M. S. Ramanujan	2篇
	Sebastian Ordyniak	2篇
	Eduard Eiben	1篇
	Friedrich Slivovsky	1篇
	Herbert Fleischner	1篇
	Moritz Müller	1篇
	Saket Saurabh	1篇
	Serge Gaspers	1篇
	Serge Gaspers, Stefan Szeider	1篇
	Tomáš Peitl	1篇

来源期刊

	LIPIcs : Leibniz International Proceedings in Informatics	6篇
	Electronic Colloquium on Computational Complexity	5篇
	Journal of Artificial Intelligence Research	2篇

学科主题

计算技术、计算机技术

13篇

语种

英文

13篇

国别/地区

	德国	11篇
	美国	2篇

检索条件:"( ( 高级检索(( ((AU:(("Stefan Szeider")))) )) ) )"

共 13 条记录

排序：全选导出：

1.Revisiting Space in Proof Complexity: Treewidth and Pathwidth

作　　者：Moritz Müller ;Stefan Szeider

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

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

文章 ID：88774860

文章详细全文下载
2.Compendium of Parameterized Problems at Higher Levels of the Polynomial Hierarchy

作　　者：Ronald de Haan ;Stefan Szeider

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

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

文章 ID：95928650

文章详细全文下载
3.Minimal unsatisfiable formulas with bounded clause-variable difference are fixed-parameter tractable

作　　者：Stefan Szeider

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

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

文章 ID：47146817

文章详细全文下载
4.Polynomial-Time Recognition of Minimal Unsatisfiable Formulas with Fixed Clause-Variable Difference

作　　者：Herbert Fleischner ;Stefan Szeider

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

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

文章 ID：47840804

文章详细全文下载
5.The Parameterized Complexity of Local Consistency

作　　者：Serge Gaspers, Stefan Szeider

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

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

文章 ID：47840966

文章详细全文下载
6.Combining Treewidth and Backdoors for CSP

作　　者：Robert Ganian ;M. S. Ramanujan ;Stefan Szeider

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;66:36:1-36:17.doi:10.4230/LIPIcs.STACS.2017.36

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

文章 ID：191698365

文章详细全文下载
7.On the Subexponential-Time Complexity of CSP

作　　者：Ronald de Haan ;Iyad Kanj ;Stefan Szeider

出　　处：Journal of Artificial Intelligence Research. 2015 ;52:203-234.

出版社：American Association of Artificial

文章 ID：216537648

文章详细全文下载
8.Satisfiability of Acyclic and Almost Acyclic CNF Formulas

作　　者：Sebastian Ordyniak ;Daniel Paulusma ;Stefan Szeider

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2010 ;8:84-95.doi:10.4230/LIPIcs.FSTTCS.2010.84

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

文章 ID：186845761

文章详细全文下载
9.Model Counting for CNF Formulas of Bounded Modular Treewidth

作　　者：Daniel Paulusma ;Friedrich Slivovsky ;Stefan Szeider

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2013 ;20:55-66.doi:10.4230/LIPIcs.STACS.2013.55

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

文章 ID：186846247

文章详细全文下载
10.Backdoors to q-Horn

作　　者：Serge Gaspers ;Sebastian Ordyniak ;M. S. Ramanujan 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2013 ;20:67-79.doi:10.4230/LIPIcs.STACS.2013.67

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

文章 ID：186846248

文章详细全文下载

1 2 下一页尾页

电话：010-85195300

E-mail：cassoa@cass.org.cn

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

扫一扫关注微信

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

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