Return to Article Details Ghost Agents in SAT-based Models for Multi-Agent Pathfinding Download Download PDF