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

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