No. Title Author Year
1 Backdoor Sets for CSP Gaspers, Serge et al. 2017
2 Combining Treewidth and Backdoors for CSP Ganian, Robert et al. 2017
3 On Existential MSO and its Relation to ETH Ganian, Robert et al. 2016
4 Meta-kernelization using Well-structured Modulators Eiben, Eduard et al. 2015
5 Backdoors to q-Horn Gaspers, Serge et al. 2013
6 Model Counting for CNF Formulas of Bounded Modular Treewidth Paulusma, Daniel et al. 2013
7 Satisfiability of Acyclic and Almost Acyclic CNF Formulas Ordyniak, Sebastian et al. 2010
Current Page :
Number of result pages: 1
Number of documents: 7


DROPS-Home | Fulltext Search | Imprint Published by LZI