Lugar de publicación Multi-Agent Path Finding: A New Boolean Encoding. 75:323-350. 2022 Time-Bounded Best-First Search for Reversible and Non-reversible Search Graphs. 56:547-571. 2016