SAT-Based Local Improvement for Finding Tree Decompositions of Small Width

Abstract

Full Citation:

Johannes K. Fichte, Neha Lodha, Stefan Szeider. SAT-Based Local Improvement for Finding Tree Decompositions of Small Width. 2017, Technical report AC-TR-17-015, Algorithms and Complexity Group, TU Wien.

Stefan Szeider

Head of Research Unit

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