Robert Ganian, Neha Lodha, Sebastian Ordyniak, Stefan Szeider. SAT-Encodings for Treecut Width and Treedepth. In Stephen G. Kobourov, Henning Meyerhenke, editors, Proceedings of the Twenty-First Workshop on Algorithm Engineering and Experiments, ALENEX 2019, San Diego, CA, USA, January 7-8, 2019. pages 117-129, SIAM, 2019. [doi]
Abstract is missing.