2013 IEEE 54th Annual Symposium on Foundations of Computer Science
Book title Buchtitel
2013 IEEE 54th Annual Symposium on Foundations of Computer Science
Editor Herausgeber_in
Publisher Herausgeber
IEEE
Results 1-1 of 1 (Search time: 0.001 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Gaspers, Serge ; Szeider, Stefan ; Reingold, Omer | Strong Backdoors to Bounded Treewidth SAT | Konferenzbeitrag Inproceedings  | 2013 |