Abstract
Robert Ganian, Neha Lodha, Sebastian Ordyniak, Stefan Szeider. SAT-Encodings for Treecut Width and Treedepth. Proceedings of ALENEX 2019, the 21st Workshop on Algorithm Engineering and Experiments (Stephen G. Kobourov and Henning Meyerhenke), pages 117-129, 2019, SIAM.
Type
Robert Ganian
Robert Ganian is a Professor at the Algorithms and Complexity Group.
Stefan Szeider
Head of Research Unit
Stefan Szeider is a Professor at the Algorithms and Complexity Group.