No. Title Author Year
1 Backdoor Sets for CSP Gaspers, Serge et al. 2017
2 Backdoors for Linear Temporal Logic Meier, Arne et al. 2017
3 Counting Linear Extensions: Parameterizations by Treewidth Eiben, Eduard et al. 2016
4 On the Complexity Landscape of Connected f-Factor Problems Ganian, Robert et al. 2016
5 Backdoors to q-Horn Gaspers, Serge et al. 2013
6 Satisfiability of Acyclic and Almost Acyclic CNF Formulas Ordyniak, Sebastian et al. 2010
Current Page :
Number of result pages: 1
Number of documents: 6

DROPS-Home | Fulltext Search | Imprint Published by LZI