Röger, G.; Helmert, M. Non-Optimal Multi-Agent Pathfinding Is Solved (Since 1984). SOCS 2021, 3, 173-174.