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


DROPS-Home | Fulltext Search | Imprint Published by LZI