Surynek, P.; Felner, A.; Stern, R.; Boyarski, E. Modifying Optimal SAT-Based Approach to Multi-Agent Path-Finding Problem to Suboptimal Variants. SOCS 2021, 8, 169-170.