No. Title Author Year
1 Group Activity Selection with Few Agent Types Ganian, Robert et al. 2019
2 On Structural Parameterizations of the Bounded-Degree Vertex Deletion Problem Ganian, Robert et al. 2018
3 Small Resolution Proofs for QBF using Dependency Treewidth Eiben, Eduard et al. 2018
4 Backdoor Sets for CSP Gaspers, Serge et al. 2017
5 Backdoors for Linear Temporal Logic Meier, Arne et al. 2017
6 On Structural Parameterizations of the Edge Disjoint Paths Problem Ganian, Robert et al. 2017
7 Towards a Polynomial Kernel for Directed Feedback Vertex Set Bergougnoux, Benjamin et al. 2017
8 Counting Linear Extensions: Parameterizations by Treewidth Eiben, Eduard et al. 2016
9 On the Complexity Landscape of Connected f-Factor Problems Ganian, Robert et al. 2016
10 Backdoors to q-Horn Gaspers, Serge et al. 2013
11 Satisfiability of Acyclic and Almost Acyclic CNF Formulas Ordyniak, Sebastian et al. 2010
Current Page :
Number of result pages: 1
Number of documents: 11


DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI