Bardugo, Shahar, and Dor Atzmon. “Finiding All Optimal Solutions in Multi-Agent Path Finding (Extended Abstract)”. Proceedings of the International Symposium on Combinatorial Search, vol. 17, no. 1, June 2024, pp. 259-60, doi:10.1609/socs.v17i1.31570.