Symbolic Planning and Multi-Agent Path Finding in Extremely Dense Environments with Movable Obstacles. - Bo Fu; Zhe Chen; Rahul Chandan; Alex Barbosa; Michael Caldara; Joey Durham; Federico Pecora (CoRR, 2025)