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


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