SAT-Encodings for Treecut Width and Treedepth (bibtex)
by , , ,
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, SIAM.
Bibtex Entry:
@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},
  pdf = {http://www.ac.tuwien.ac.at/files/tr/ac-tr-19-001.pdf},
  pages     = {117--129},
  publisher = {{SIAM}},
  keywords  = {nfpc}
}
Powered by bibtexbrowser