Abstract
Andr'e Schidler, Stefan Szeider. A SAT Approach to Twin-Width. Proceedings of ALENEX 2022, the 24nd SIAM Symposium on Algorithm Engineering and Experiments (Cynthia A. Phillips and Bettina Speckmann), pages 67-77, 2022, SIAM.
Type
Stefan Szeider
Head of Research Unit
Stefan Szeider is a Professor at the Algorithms and Complexity Group.