Abstract
Marijn Heule, Stefan Szeider. A SAT Approach to Clique-Width. ACM Transactions on Computational Logic, volume 16, number 3, pages 24, 2015.
Type
Stefan Szeider
Head of Research Unit
Stefan Szeider is a Professor at the Algorithms and Complexity Group.