Surynek, P.; Felner, A.; Stern, R.; Boyarski, E. Sub-Optimal SAT-Based Approach to Multi-Agent Path-Finding Problem. SOCS 2021, 9, 99-105.