Weisfeiler-Leman on graphs of small twin-width

Irene Heinrich, Moritz Lichter, Klara Pakhomenko +1

Twin-width is a graph parameter introduced in the context of first-order model checking, and has since become a central parameter in algorithmic graph theory. While many algorithmi…