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 |