Contributions to Proceedings:

R. Ganian, N. Lodha, S. Ordyniak, S. Szeider:
"SAT-Encodings for Treecut Width and Treedepth";
in: "Proceedings of the Twenty-First Workshop on Algorithm Engineering and Experiments (ALENEX)", S.G. Kobourov, H. Meyerhenke (ed.); SIAM, 2019, ISBN: 978-1-61197-549-9, 13 pages.

"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)

Electronic version of the publication:

Created from the Publication Database of the Vienna University of Technology.