SAT-Based Large Neighborhood Search for Multi-Agent Pathfinding.

Max Frommknecht, Pavel Surynek

Browse the full ICAART paper archive.