SAT-Encodings for Treecut Width and Treedepth

Ganian, Robert; Lodha, Neha; Ordyniak, Sebastian; Szeider, Stefan

doi:10.1137/1.9781611975499.10

by Robert Ganian, Neha Lodha, Sebastian Ordyniak, Stefan Szeider

Reference:

SAT-Encodings for Treecut Width and TreedepthRobert Ganian, Neha Lodha, Sebastian Ordyniak, Stefan SzeiderProceedings of ALENEX 2019, the 21st Workshop on Algorithm Engineering and Experiments (Stephen G. Kobourov, Henning Meyerhenke, eds.), pages 117–129, 2019, Society for Industrial and Applied Mathematics (SIAM).

Bibtex Entry:

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