Asín Achá R, López R, Hagedorn S, Baier JA. A New Boolean Encoding for MAPF and its Performance with ASP and MaxSAT Solvers. SOCS [Internet]. 2021 Jul. 21 [cited 2026 May 29];12(1):11-9. Available from: https://ojs.aaai.org/index.php/SOCS/article/view/18546