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. Theory and Applications of Satisfiability Testing - SAT 2017 - 20th International Conference, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings (Serge Gaspers, Toby Walsh, eds.), volume 10491 of Lecture Notes in Computer Science, pages 401–411, 2017, Springer Verlag.

Stefan Szeider

Head of Research Unit

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