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 Kobourov, Henning Meyerhenke, eds.), 2019.Note: To appear
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 Kobourov and Henning Meyerhenke},
  note      = {To appear}
}
Powered by bibtexbrowser