multi-agent pathfinding

collision avoidance (96) path planning (144) conflict-based search (19) optimal planning (31) combinatorial optimization (1039) sat solving (25) robot coordination (8) makespan optimization (10) multi-agent path finding (60) search algorithm (109)