1. Achá, R.A., López, R., Hagedorn, S., Baier, J.A.: A new boolean encoding for mapf and its performance with asp and maxsat solvers. In: Proceedings of the International Symposium on Combinatorial Search, vol. 12, pp. 11–19 (2021). https://ojs.aaai.org/index.php/SOCS/article/view/18546
2. Barer, M., Sharon, G., Stern, R., Felner, A.: Suboptimal variants of the conflict-based search algorithm for the multi-agent pathfinding problem. In: Seventh Annual Symposium on Combinatorial Search (2014). https://doi.org/10.3233/978-1-61499-419-0-961
3. Gebser, M., Kaminski, R., Kaufmann, B., Schaub, T.: Clingo = ASP + control: Preliminary report. In: Technical Communications of the 13th International Conference on Logic Programming, vol. 14(4–5) (2014). https://arxiv.org/abs/1405.3694
4. Gelfond, M., Lifschitz, V.: Logic programs with classical negation. In: Logic Programming, Proceedings of the Seventh International Conference, pp. 579–597. MIT Press, Jerusalem, Israel (June 1990). https://dl.acm.org/doi/10.5555/87961.88030
5. Gómez, R.N., Hernández, C., Baier, J.A.: A compact answer set programming encoding of multi-agent pathfinding. IEEE Access 9, 26886–26901 (2021). https://doi.org/10.1109/ACCESS.2021.3053547