Abstract
Neha Lodha, Sebastian Ordyniak, Stefan Szeider. A SAT Approach to Branchwidth. ACM Transactions on Computational Logic, volume 20, number 3, pages 15:1-15:24, 2019.
Type
Stefan Szeider
Head of Research Unit
Stefan Szeider is a Professor at the Algorithms and Complexity Group.