Beiträge in Tagungsbänden:
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 (Hrg.);
SIAM,
2019,
ISBN: 978-1-61197-549-9,
13 S.
"Offizielle" elektronische Version der Publikation (entsprechend ihrem Digital Object Identifier - DOI)
http://dx.doi.org/10.1137/1.9781611975499
Elektronische Version der Publikation:
https://publik.tuwien.ac.at/files/publik_282814.pdf
Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.