1.Group Activity Selection with Few Agent Types

作　　者：Robert Ganian ;Sebastian Ordyniak ;C. S. Rahul

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2019 ;144:1-16.doi:10.4230/LIPIcs.ESA.2019.48

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

文章 ID：240116567

文章详细全文下载

2.Backdoors for Linear Temporal Logic

作　　者：Arne Meier ;Sebastian Ordyniak ;Ramanujan Sridharan 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2016 ;63:23:1-23:17.doi:10.4230/LIPIcs.IPEC.2016.23

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

文章 ID：191698321

文章详细全文下载

3.On Structural Parameterizations of the Edge Disjoint Paths Problem

作　　者：Robert Ganian ;Sebastian Ordyniak ;Ramanujan Sridharan

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;92:36:1-36:13.doi:10.4230/LIPIcs.ISAAC.2017.36

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

文章 ID：205510051

文章详细全文下载

4.Towards a Polynomial Kernel for Directed Feedback Vertex Set

作　　者：Benjamin Bergougnoux ;Eduard Eiben ;Robert Ganian 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;83:36:1-36:15.doi:10.4230/LIPIcs.MFCS.2017.36

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

文章 ID：205510084

文章详细全文下载

5.Parameterized Pre-Coloring Extension and List Coloring Problems

作　　者：Gregory Gutin ;Diptapriyo Majumdar ;Sebastian Ordyniak 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;154:19:1-19:18.doi:10.4230/LIPIcs.STACS.2020.19

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

文章 ID：255823558

文章详细全文下载

6.Small Resolution Proofs for QBF using Dependency Treewidth

作　　者：Eduard Eiben ;Robert Ganian ;Sebastian Ordyniak

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;96:28:1-28:15.doi:10.4230/LIPIcs.STACS.2018.28

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

文章 ID：220015263

文章详细

7.On Structural Parameterizations of the Bounded-Degree Vertex Deletion Problem

作　　者：Robert Ganian ;Fabian Klute ;Sebastian Ordyniak

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;96:33:1-33:14.doi:10.4230/LIPIcs.STACS.2018.33

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

文章 ID：220015268

文章详细

8.Cost-optimal Planning, Delete Relaxation, Approximability, and Heuristics

作　　者：Christer Bäckström ;Peter Jonsson ;Sebastian Ordyniak

出　　处：Journal of Artificial Intelligence Research. 2021 ;70:169-204.doi:10.1613/jair.1.12278

出版社：American Association of Artificial

文章 ID：259294322

文章详细全文下载

9.Faster Existential FO Model Checking on Posets

作　　者：Jakub Gajarský ;Petr Hliněný ;Jan Obdrálek 等

出　　处：Logical Methods in Computer Science. 2015 ;11(4):1.doi:10.2168/LMCS-11(4:8)2015

出版社：Technical University of Braunschweig

文章 ID：264692109

文章详细全文下载

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

文章详细全文下载

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

	2016	3篇
	2015	1篇
	2013	1篇
	2010	1篇

	Sebastian Ordyniak	13篇
	Robert Ganian	7篇
	Eduard Eiben	3篇
	M. S. Ramanujan	3篇
	C. S. Rahul	2篇

	Ramanujan Sridharan	2篇
	Stefan Szeider	2篇
	Arne Meier	1篇
	Benjamin Bergougnoux	1篇
	Christer Bäckström	1篇
	Daniel Paulusma	1篇
	Diptapriyo Majumdar	1篇
	Fabian Klute	1篇
	Gregory Gutin	1篇
	Irena Schindler	1篇
	Jakub Gajarský	1篇
	Jan Obdrálek	1篇
	Kustaa Kanga	1篇
	Magnus Wahlstr{"o}m	1篇
	N. S. Narayanaswamy	1篇
	Peter Jonsson	1篇
	Petr Hliněný	1篇
	Saket Saurabh	1篇
	Serge Gaspers	1篇

	德国	12篇
	美国	1篇

全文

出版年度

作者

文章类型

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Sebastian Ordyniak")))) )) ) )"

	LIPIcs : Leibniz International Proceedings in Informatics	11篇
	Journal of Artificial Intelligence Research	1篇
	Logical Methods in Computer Science	1篇