Lars Jaffke

Recent Publications

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.