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, Henning Meyerhenke, eds.), 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.