Barták, Roman, Charles University, Czech Republic
-
Twelfth Annual Symposium on Combinatorial Search - Long Papers
On SAT-Based Approaches for Multi-Agent Path Finding with the Sum-of-Costs Objective
Abstract PDF -
Twelfth Annual Symposium on Combinatorial Search - Position Papers
Multi-Agent Pathfinding: Definitions, Variants, and Benchmarks
Abstract PDF