@article{DBLP:journals/jair/SurynekSBF22, author = {Pavel Surynek and Roni Stern and Eli Boyarski and Ariel Felner}, title = {Migrating Techniques from Search-based Multi-Agent Path Finding Solvers to SAT-based Approach}, journal = {J. Artif. Intell. Res.}, volume = {73}, pages = {553--618}, year = {2022}, url = {https://doi.org/10.1613/jair.1.13318}, doi = {10.1613/jair.1.13318}, timestamp = {Fri, 25 Feb 2022 16:59:42 +0100}, biburl = {https://dblp.org/rec/journals/jair/SurynekSBF22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }