Conceptual Comparison of Compilation-based Solvers for Multi-Agent Path Finding: MIP vs. SAT

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F68407700%3A21240%2F21%3A00355520" target="_blank" >RIV/68407700:21240/21:00355520 - isvavai.cz</a>

Výsledek na webu

<a href="https://ojs.aaai.org/index.php/SOCS/article/view/18584" target="_blank" >https://ojs.aaai.org/index.php/SOCS/article/view/18584</a>

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

Conceptual Comparison of Compilation-based Solvers for Multi-Agent Path Finding: MIP vs. SAT

Popis výsledku v původním jazyce

The task in multi-agent path finding (MAPF) is to find paths through which agents can navigate from their starting posi- tions to given individual goal positions. The combination of two additional requirements makes the problem challenging: (i) agents must not collide with each other and (ii) the paths must be optimal with respect to some objective. We summa- rize and compare main ideas of contemporary compilation- based solvers for MAPF using MIP and SAT formalisms.

Název v anglickém jazyce

Conceptual Comparison of Compilation-based Solvers for Multi-Agent Path Finding: MIP vs. SAT

Popis výsledku anglicky

The task in multi-agent path finding (MAPF) is to find paths through which agents can navigate from their starting posi- tions to given individual goal positions. The combination of two additional requirements makes the problem challenging: (i) agents must not collide with each other and (ii) the paths must be optimal with respect to some objective. We summa- rize and compare main ideas of contemporary compilation- based solvers for MAPF using MIP and SAT formalisms.

Druh

D - Stať ve sborníku

CEP obor

—

OECD FORD obor

10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

Projekt

<a href="/cs/project/GA19-17966S" target="_blank" >GA19-17966S: intALG-MAPFg: Inteligentní algoritmy pro zobecněné varianty multi-agetního hledání cest</a><br>

Návaznosti

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Rok uplatnění

2021

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 International Symposium on Combinatorial Search

ISBN

9781713834557

ISSN

—

e-ISSN

—

Počet stran výsledku

3

Strana od-do

203-205

Název nakladatele

Association for the Advancement of Artificial Intelligence (AAAI)

Místo vydání

Palo Alto, California

Místo konání akce

Virtual conference

Datum konání akce

26. 7. 2021

Typ akce podle státní příslušnosti

WRD - Celosvětová akce

Kód UT WoS článku

—