Optimal Unlabeled Pebble Motion on Trees and its Application to Multi-Agent Path Finding. - Annalisa Calvi; Pierre Le Bodic; Samuel McGuire; Edward Lam 001 (CoRR, 2026)