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

Benjamin Bergougnoux, Jan Niclas Dreier, Lars Jaffke
January 2023
PDF Cite DOI
Type
Conference Paper
Jan Niclas Dreier
Jan Niclas Dreier

Jan Niclas Dreier is a Postdoctoral Researcher at the Algorithms and Complexity Group.