Proceedings of the Twenty-First Workshop on Algorithm Engineering and Experiments (ALENEX)

Book title Buchtitel
Proceedings of the Twenty-First Workshop on Algorithm Engineering and Experiments (ALENEX)
 
 
Publisher Herausgeber
SIAM
 

Publications Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1Ganian, Robert ; Lodha, Neha ; Ordyniak, Sebastian ; Szeider, Stefan SAT-Encodings for Treecut Width and TreedepthKonferenzbeitrag Inproceedings 2019