A logic-based algorithmic meta-theorem for mim-width

Abstract

Full Citation:

Benjamin Bergougnoux, Jan Dreier, Lars Jaffke. A logic-based algorithmic meta-theorem for mim-width. Proceedings of the 2023 Annual ACM-SIAM Symposium on Discrete Algorithms (SODA), pages 3282-3304, 2023.

Jan Niclas Dreier

Jan Niclas Dreier is a Postdoctoral Researcher at the Algorithms and Complexity Group.