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 and Toby Walsh), 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.