Makespan Optimal Solving of Cooperative Path-Finding via Reductions to Propositional Satisfiability | Read Paper on Bytez