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)
http://dx.doi.org/10.1137/1.9781611975499
Electronic version of the publication:
https://publik.tuwien.ac.at/files/publik_282814.pdf
Created from the Publication Database of the Vienna University of Technology.