TY  - RPRT
TI  - Parameterized Complexity Of Representing Models Of MSO Formulas
AU  - Petr Kučera
AU  - Petr Martinek
PY  - 2026
UR  - https://arxiv.org/abs/2604.08707
ID  - 2604.08707
ER  -