@inproceedings{GanianLodhaOrdyniakSzeider19,
 author = {Robert Ganian and Neha Lodha and Sebastian Ordyniak
and Stefan Szeider},
 booktitle = {Proceedings of ALENEX 2019, the 21st Workshop on
Algorithm Engineering and Experiments},
 doi = {10.1137/1.9781611975499.10},
 editor = {Stephen G. Kobourov and Henning Meyerhenke},
 keywords = {nfpc},
 pages = {117--129},
 publisher = {SIAM},
 title = {{SAT}-Encodings for Treecut Width and Treedepth},
 url = {http://www.ac.tuwien.ac.at/files/tr/ac-tr-19-001.pdf},
 year = {2019}
}