Migrating Techniques from Search-based Multi-Agent Path Finding Solvers to SAT-based Approach
- 10 February 2022
- journal article
- Published by AI Access Foundation in Journal of Artificial Intelligence Research
- Vol. 73, 553-618
- https://doi.org/10.1613/jair.1.13318