Proceedings of the 35th Symposium on Theoretical Aspects of Computer Science, STACS 2018, February 28 to March 3, 2018, Caen, France
Book title Buchtitel
Proceedings of the 35th Symposium on Theoretical Aspects of Computer Science, STACS 2018, February 28 to March 3, 2018, Caen, France
Publisher Herausgeber
35th Symposium on Theoretical Aspects of Computer Science
Place of publishing Erscheinungsort
Caen
Results 1-1 of 1 (Search time: 0.002 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Eiben, Eduard ; Ganian, Robert ; Ordyniak, Sebastian | Small Resolution Proofs for QBF using Dependency Treewidth | Konferenzbeitrag Inproceedings  | 2018 |