SAT-Encodings for Treecut Width and Treedepth

Abstract

Full Citation:

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

Robert Ganian

Robert Ganian is a Professor at the Algorithms and Complexity Group.

Stefan Szeider

Head of Research Unit

Stefan Szeider is a Professor at the Algorithms and Complexity Group.