TY  - RPRT
TI  - A Logic-based Algorithmic Meta-Theorem for Treedepth: Single Exponential FPT Time and Polynomial Space
AU  - Benjamin Bergougnoux
AU  - Vera Chekan
AU  - Giannos Stamoulis
PY  - 2025
UR  - https://arxiv.org/abs/2510.19793
ID  - 2510.19793
ER  -