Migrating Techniques from Search-based Multi-Agent Path Finding Solvers to SAT-based Approach
From MaRDI portal
Publication:5076310
DOI10.1613/jair.1.13318OpenAlexW4211174927MaRDI QIDQ5076310
Ariel Felner, Eli Boyarski, Pavel Surynek, Roni Stern
Publication date: 16 May 2022
Published in: Journal of Artificial Intelligence Research (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1613/jair.1.13318
Related Items (1)
This page was built for publication: Migrating Techniques from Search-based Multi-Agent Path Finding Solvers to SAT-based Approach