Efficient SAT Approach to Multi-Agent Path Finding Under the Sum of Costs Objective.
A Multiagent Approach to Autonomous Intersection Management