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]
@inproceedings{GanianLOS19,
title = {SAT-Encodings for Treecut Width and Treedepth},
author = {Robert Ganian and Neha Lodha and Sebastian Ordyniak and Stefan Szeider},
year = {2019},
doi = {10.1137/1.9781611975499.10},
url = {https://doi.org/10.1137/1.9781611975499.10},
researchr = {https://researchr.org/publication/GanianLOS19},
cites = {0},
citedby = {0},
pages = {117-129},
booktitle = {Proceedings of the Twenty-First Workshop on Algorithm Engineering and Experiments, ALENEX 2019, San Diego, CA, USA, January 7-8, 2019},
editor = {Stephen G. Kobourov and Henning Meyerhenke},
publisher = {SIAM},
}