TY  - RPRT
TI  - A Tight Meta-theorem for LOCAL Certification of MSO$_2$ Properties within Bounded Treewidth Graphs
AU  - Linda Cook
AU  - Eun Jung Kim
AU  - Tomáš Masařík
PY  - 2025
DO  - 10.1145/3732772.3733562
UR  - https://arxiv.org/abs/2503.19671
ID  - 2503.19671
ER  -