Proceedings of the 35th Symposium on Theoretical Aspects of Computer Science, STACS 2018, February 28 to March 3, 2018, Caen, France

View Statistics Email Alert RSS Feed

Book details Buch-Details

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
 

Publications Publikationen


Filter:
Author:  Ganian, Robert

Results 1-1 of 1 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Eiben, Eduard ; Ganian, Robert ; Ordyniak, Sebastian Small Resolution Proofs for QBF using Dependency TreewidthKonferenzbeitrag Inproceedings 2018