SAT-encodings for treecut width and treedepth

Ganian, R., Lodha, N., Ordyniak, S. orcid.org/0000-0003-1935-651X et al. (1 more author) (2019) SAT-encodings for treecut width and treedepth. In: Kobourov, S. and Meyerhenke, H., (eds.) 2019 Proceedings of the Twenty-First Workshop on Algorithm Engineering and Experiments (ALENEX). Twenty-First Workshop on Algorithm Engineering and Experiments (ALENEX), 07-08 Jan 2019, San Diego, California, USA. Society for Industrial and Applied Mathematics , pp. 117-129. ISBN 978-1-61197-549-9

Abstract

Metadata

Authors/Creators:
Copyright, Publisher and Additional Information: © 2019 SIAM. Reproduced in accordance with the publisher's self-archiving policy.
Dates:
  • Published (online): 1 January 2019
  • Published: 1 January 2019
Institution: The University of Sheffield
Academic Units: The University of Sheffield > Faculty of Engineering (Sheffield) > Department of Computer Science (Sheffield)
Depositing User: Symplectic Sheffield
Date Deposited: 03 Jun 2019 12:26
Last Modified: 03 Jun 2019 13:35
Status: Published
Publisher: Society for Industrial and Applied Mathematics
Refereed: Yes
Identification Number: https://doi.org/10.1137/1.9781611975499.10

Share / Export

Statistics