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

Benjamin Bergougnoux, Jan Dreier, Lars Jaffke

Browse the full SODA paper archive.