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 |