Roberto Javier Asín Achá, Rodrigo López, Sebastián Hagedorn, Jorge A. Baier. A New Boolean Encoding for MAPF and its Performance with ASP and MaxSAT Solvers. In Hang Ma 0001, Ivan Serina, editors, Proceedings of the Fourteenth International Symposium on Combinatorial Search, SOCS 2021, Virtual Conference [Jinan, China], July 26-30, 2021. pages 11-19, AAAI Press, 2021. [doi]
@inproceedings{AchaLHB21,
title = {A New Boolean Encoding for MAPF and its Performance with ASP and MaxSAT Solvers},
author = {Roberto Javier Asín Achá and Rodrigo López and Sebastián Hagedorn and Jorge A. Baier},
year = {2021},
url = {https://ojs.aaai.org/index.php/SOCS/article/view/18546},
researchr = {https://researchr.org/publication/AchaLHB21},
cites = {0},
citedby = {0},
pages = {11-19},
booktitle = {Proceedings of the Fourteenth International Symposium on Combinatorial Search, SOCS 2021, Virtual Conference [Jinan, China], July 26-30, 2021},
editor = {Hang Ma 0001 and Ivan Serina},
publisher = {AAAI Press},
isbn = {978-1-57735-870-1},
}