SAT-Encodings for Treecut Width and Treedepth

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

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

Reference:

SAT-Encodings for Treecut Width and TreedepthRobert Ganian, Neha Lodha, Sebastian Ordyniak, Stefan Szeider2019, Technical report AC-TR-19-001, Algorithms and Complexity Group, TU Wien.

Bibtex Entry:

@TechReport{GanianLodhaOrdyniakSzeider19tr,
  author       = {Robert Ganian and Neha Lodha and Sebastian Ordyniak
                  and Stefan Szeider},
  title        = {{SAT}-Encodings for Treecut Width and Treedepth},
	institution  = {Algorithms and Complexity Group, TU Wien},
	year         = 2019,
	number    = {AC-TR-19-001},
	url = {http://www.ac.tuwien.ac.at/files/tr/ac-tr-19-001.pdf},
}