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

Result code in 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>

Result on the web

<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

—

Result language

angličtina

Original language name

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

Original language description

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.

Czech name

—

Czech description

—

Type

D - Article in proceedings

CEP classification

—

OECD FORD branch

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

Project

<a href="/en/project/GA19-17966S" target="_blank" >GA19-17966S: intALG-MAPFg: Intelligent Algorithms for Generalized Variants of Multi-Agent Path Finding</a><br>

Continuities

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

Publication year

2021

Confidentiality

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Article name in the collection

Proceedings of the International Symposium on Combinatorial Search

ISBN

9781713834557

ISSN

—

e-ISSN

—

Number of pages

3

Pages from-to

203-205

Publisher name

Association for the Advancement of Artificial Intelligence (AAAI)

Place of publication

Palo Alto, California

Event location

Virtual conference

Event date

Jul 26, 2021

Type of event by nationality

WRD - Celosvětová akce

UT code for WoS article

—