Efficient SAT approach to multi-agent path finding under the sum of costs objective Book uri icon

publication date

  • January 1, 2016