Modifying Optimal SAT-based Approach to Multi-agent Path-finding Problem to Suboptimal Variants | Read Paper on Bytez