Computing twin-width with SAT and branch \& bound

Abstract

Full Citation:

Andre Schidler, Stefan Szeider. Computing twin-width with SAT and branch & bound. The 32nd International Joint Conference on Artificial Intelligence (IJCAI-23), August 19–25, 2023, Macao, S.A.R. (Edith Elkind), pages 2013-2021, 2023, International Joint Conferences on Artificial Intelligence Organization. (Note: Main Track)

Stefan Szeider

Head of Research Unit

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