Solving Multi-Agent Pathfinding with Stochastic Local Search SAT Algorithms. - Max Frommknecht; Pavel Surynek (ICINCO (1), 2024)