A Logic-based Algorithmic Meta-Theorem for Treedepth: Single Exponential FPT Time and Polynomial Space.

Benjamin Bergougnoux, Vera Chekan, Giannos Stamoulis

Browse the full SODA paper archive.