Multi-Agent Path Finding: A New Boolean Encoding

Multi-agent pathfinding (MAPF) is an NP-hard problem. As such, dense maps may be very hard to solve optimally. In such scenarios, compilation-based approaches, via Boolean satisfiability (SAT) and answer set programming (ASP), have been shown to outperform heuristic-search-based approaches, such as...

Celý popis

Podrobná bibliografie

Vydáno v:	The Journal of artificial intelligence research Ročník 75; s. 323 - 350
Hlavní autoři:	Asín Achá, Roberto, López, Rodrigo, Hagedorn, Sebastian, Baier, Jorge A.
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	San Francisco AI Access Foundation 01.01.2022
Témata:	Algorithms Artificial intelligence Boolean Boolean algebra Declarative programming Mathematical programming Multiagent systems Performance evaluation Searching Solvers Warehouses
ISSN:	1076-9757, 1076-9757, 1943-5037
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!