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

Bergougnoux, Benjamin; Dreier, Jan; Jaffke, Lars

doi:10.1137/1.9781611977554.ch125

by Benjamin Bergougnoux, Jan Dreier, Lars Jaffke

Reference:

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

Bibtex Entry:

@inproceedings{doi:10.1137/1.9781611977554.ch125,
author = {Benjamin Bergougnoux and Jan Dreier and Lars Jaffke},
title = {A logic-based algorithmic meta-theorem for mim-width},
booktitle = {Proceedings of the 2023 Annual ACM-SIAM Symposium on Discrete Algorithms (SODA)},
chapter = {},
  year = {2023},
pages = {3282-3304},
doi = {10.1137/1.9781611977554.ch125},
eprint = {https://epubs.siam.org/doi/pdf/10.1137/1.9781611977554.ch125},
  url       = {https://arxiv.org/abs/2202.13335},
}