@inproceedings{BergougnouxDJ23, author = {Benjamin Bergougnoux and Jan Dreier and Lars Jaffke}, editor = {Nikhil Bansal and Viswanath Nagarajan}, title = {A logic-based algorithmic meta-theorem for mim-width}, booktitle = {Proceedings of the 34th Annual {ACM-SIAM} Symposium on Discrete Algorithms ({SODA} 2023)}, pages = {3282--3304}, publisher = {{SIAM}}, year = {2023}, url = {https://doi.org/10.1137/1.9781611977554.ch125}, doi = {10.1137/1.9781611977554.ch125} } @inproceedings{BergougnouxDJ23-short, author = {Benjamin Bergougnoux and Jan Dreier and Lars Jaffke}, title = {A logic-based algorithmic meta-theorem for mim-width}, booktitle = {SODA 2023}, pages = {3282--3304}, publisher = {{SIAM}}, year = {2023}, url = {https://doi.org/10.1137/1.9781611977554.ch125}, doi = {10.1137/1.9781611977554.ch125} }