Conflict-based search for optimal multi-agent pathfinding
finding a shortest solution for the n × n extension of the 15 - puzzle is intractable .