@inproceedings{c9953e4da24f42839d1399438e2ed7ac,
title = "Boolean satisfiability approach to optimal multi-agent path finding under the sum of costs objective",
abstract = "This paper focuses on finding optimal solutions to the multiagent path finding (MAPF) problem over undirected graphs where the task is to find non-colliding paths for multiple agents, each with a different start and goal position. An encoding of MAPF to Boolean satisfiability (SAT) is already known to the makespan optimal variant of the problem. In this paper we present the first SAT-solver for minimizing the sum of costs enabled by introducing cardinality constraints into the SAT encoding. An experimental evaluation on grid graphs indicate promising performance of the new SAT-based method in comparison with the best variants of previous sum-of-costs search solvers.",
keywords = "Boolean satisfiability (SAT), Makespan objective, Multi-agent path finding (MAPF), Sum of costs objective",
author = "Pavel Surynek and Ariel Felner and Roni Stern and Eli Boyarski",
note = "Publisher Copyright: Copyright {\textcopyright} 2016, International Foundation for Autonomous Agents and Multiagent Systems (www.ifaamas.org). All rights reserved.; 15th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2016 ; Conference date: 09-05-2016 Through 13-05-2016",
year = "2016",
month = jan,
day = "1",
language = "الإنجليزيّة",
series = "Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS",
pages = "1435--1436",
booktitle = "AAMAS 2016 - Proceedings of the 2016 International Conference on Autonomous Agents and Multiagent Systems",
}