SAT-Encodings for Special Treewidth and Pathwidth

Neha Lodha, Sebastian Ordyniak, Stefan Szeider
January 2017
PDF Cite Project DOI
Type
Conference Paper
Compile
Stefan Szeider
Stefan Szeider
Head of Research Unit

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