Solving Multi-Agent Pathfinding with Stochastic Local Search SAT Algorithms.

Max Frommknecht, Pavel Surynek

Browse the full ICINCO paper archive.