Boolean Satisfiability Approach to Optimal Multi-agent Path Finding under the Sum of Cost Objective

Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216208%3A11320%2F16%3A10333012" target="_blank" >RIV/00216208:11320/16:10333012 - isvavai.cz</a>
Výsledek na webu
—
DOI - Digital Object Identifier
—

Jazyk výsledku
angličtina
Název v původním jazyce
Boolean Satisfiability Approach to Optimal Multi-agent Path Finding under the Sum of Cost Objective
Popis výsledku v původním jazyce
This paper focuses on finding optimal solutions to the multi-agent 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.
Název v anglickém jazyce
Boolean Satisfiability Approach to Optimal Multi-agent Path Finding under the Sum of Cost Objective
Popis výsledku anglicky
This paper focuses on finding optimal solutions to the multi-agent 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.

Projekt
—
Návaznosti
I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Rok uplatnění
2016
Kód důvěrnosti údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Název statě ve sborníku
Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems
ISBN
978-1-4503-4239-1
ISSN
—
e-ISSN
—
Počet stran výsledku
2
Strana od-do
1435-1436
Název nakladatele
ACM
Místo vydání
Singapore
Místo konání akce
Singapore
Datum konání akce
9. 5. 2016
Typ akce podle státní příslušnosti
WRD - Celosvětová akce
Kód UT WoS článku
—

Podobné výsledky(10)