SAT-Encodings for Special Treewidth and Pathwidth

Abstract

Full Citation:

Neha Lodha, Sebastian Ordyniak, Stefan Szeider. SAT-Encodings for Special Treewidth and Pathwidth. 2017, Technical report AC-TR-17-012, Algorithms and Complexity Group, TU Wien.

Stefan Szeider

Head of Research Unit

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