30th Symposium on Theoretical Aspects of Computer Science (STACS´13)
Book title Buchtitel
30th Symposium on Theoretical Aspects of Computer Science (STACS´13)
Editor Herausgeber_in
Publisher Herausgeber
Dagstuhl Publishing
Place of publishing Erscheinungsort
20
Results 1-2 of 2 (Search time: 0.001 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Gaspers, Serge ; Ordyniak, Sebastian ; Ramanujan, M.S. ; Saurabh, Saket ; Szeider, Stefan ; Portier, Natacha ; Wilke, Thomas | Backdoors to q-Horn | Konferenzbeitrag Inproceedings  | 2013 | |
| 2 | Paulusma, Daniel ; Slivovsky, Friedrich ; Szeider, Stefan ; Portier, Natacha ; Wilke, Thomas | Model Counting for CNF Formulas of Bounded Modular Treewidth | Konferenzbeitrag Inproceedings | 2013 |