| 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 |