TY  - RPRT
TI  - Extending Courcelle's Theorem with Optimality Predicates
AU  - Tatsuya Gima
PY  - 2026
UR  - https://arxiv.org/abs/2608.20175
ID  - 2608.20175
ER  -