Benjamin Bergougnoux, Jan Dreier, Lars Jaffke. A logic-based algorithmic meta-theorem for mim-width. In Nikhil Bansal 0001, Viswanath Nagarajan, editors, Proceedings of the 2023 ACM-SIAM Symposium on Discrete Algorithms, SODA 2023, Florence, Italy, January 22-25, 2023. pages 3282-3304, SIAM, 2023. [doi]
Abstract is missing.