Matches in SemOpenAlex for { <https://semopenalex.org/work/W4211174927> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W4211174927 endingPage "618" @default.
- W4211174927 startingPage "553" @default.
- W4211174927 abstract "In the multi-agent path finding problem (MAPF) we are given a set of agents each with respective start and goal positions. The task is to find paths for all agents while avoiding collisions, aiming to minimize a given objective function. Many MAPF solvers were introduced in the past decade for optimizing two specific objective functions: sum-of-costs and makespan. Two prominent categories of solvers can be distinguished: search-based solvers and compilation-based solvers. Search-based solvers were developed and tested for the sum-of-costs objective, while the most prominent compilation-based solvers that are built around Boolean satisfiability (SAT) were designed for the makespan objective. Very little is known on the performance and relevance of solvers from the compilation-based approach on the sum-of-costs objective. In this paper, we start to close the gap between these cost functions in the compilation-based approach. Our main contribution is a new SAT-based MAPF solver called MDD-SAT, that is directly aimed to optimally solve the MAPF problem under the sum-of-costs objective function. Using both a lower bound on the sum-of-costs and an upper bound on the makespan, MDD-SAT is able to generate a reasonable number of Boolean variables in our SAT encoding. We then further improve the encoding by borrowing ideas from ICTS, a search-based solver. In addition, we show that concepts applicable in search-based solvers like ICTS and ICBS are applicable in the SAT-based approach as well. Specifically, we integrate independence detection, a generic technique for decomposing an MAPF instance into independent subproblems, into our SAT-based approach, and we design a relaxation of our optimal SAT-based solver that results in a bounded suboptimal SAT-based solver. Experimental evaluation on several domains shows that there are many scenarios where our SAT-based methods outperform state-of-the-art sum-of-costs search-based solvers, such as variants of the ICTS and ICBS algorithms." @default.
- W4211174927 created "2022-02-13" @default.
- W4211174927 creator A5011195666 @default.
- W4211174927 creator A5022933130 @default.
- W4211174927 creator A5031732925 @default.
- W4211174927 creator A5085970582 @default.
- W4211174927 date "2022-02-10" @default.
- W4211174927 modified "2023-09-25" @default.
- W4211174927 title "Migrating Techniques from Search-based Multi-Agent Path Finding Solvers to SAT-based Approach" @default.
- W4211174927 doi "https://doi.org/10.1613/jair.1.13318" @default.
- W4211174927 hasPublicationYear "2022" @default.
- W4211174927 type Work @default.
- W4211174927 citedByCount "0" @default.
- W4211174927 crossrefType "journal-article" @default.
- W4211174927 hasAuthorship W4211174927A5011195666 @default.
- W4211174927 hasAuthorship W4211174927A5022933130 @default.
- W4211174927 hasAuthorship W4211174927A5031732925 @default.
- W4211174927 hasAuthorship W4211174927A5085970582 @default.
- W4211174927 hasBestOaLocation W42111749271 @default.
- W4211174927 hasConcept C111919701 @default.
- W4211174927 hasConcept C125411270 @default.
- W4211174927 hasConcept C126255220 @default.
- W4211174927 hasConcept C134306372 @default.
- W4211174927 hasConcept C14036430 @default.
- W4211174927 hasConcept C154945302 @default.
- W4211174927 hasConcept C162324750 @default.
- W4211174927 hasConcept C168773769 @default.
- W4211174927 hasConcept C187736073 @default.
- W4211174927 hasConcept C199360897 @default.
- W4211174927 hasConcept C2777735758 @default.
- W4211174927 hasConcept C2778770139 @default.
- W4211174927 hasConcept C2780451532 @default.
- W4211174927 hasConcept C33923547 @default.
- W4211174927 hasConcept C41008148 @default.
- W4211174927 hasConcept C55416958 @default.
- W4211174927 hasConcept C68387754 @default.
- W4211174927 hasConcept C6943359 @default.
- W4211174927 hasConcept C77553402 @default.
- W4211174927 hasConcept C78458016 @default.
- W4211174927 hasConcept C80444323 @default.
- W4211174927 hasConcept C86803240 @default.
- W4211174927 hasConceptScore W4211174927C111919701 @default.
- W4211174927 hasConceptScore W4211174927C125411270 @default.
- W4211174927 hasConceptScore W4211174927C126255220 @default.
- W4211174927 hasConceptScore W4211174927C134306372 @default.
- W4211174927 hasConceptScore W4211174927C14036430 @default.
- W4211174927 hasConceptScore W4211174927C154945302 @default.
- W4211174927 hasConceptScore W4211174927C162324750 @default.
- W4211174927 hasConceptScore W4211174927C168773769 @default.
- W4211174927 hasConceptScore W4211174927C187736073 @default.
- W4211174927 hasConceptScore W4211174927C199360897 @default.
- W4211174927 hasConceptScore W4211174927C2777735758 @default.
- W4211174927 hasConceptScore W4211174927C2778770139 @default.
- W4211174927 hasConceptScore W4211174927C2780451532 @default.
- W4211174927 hasConceptScore W4211174927C33923547 @default.
- W4211174927 hasConceptScore W4211174927C41008148 @default.
- W4211174927 hasConceptScore W4211174927C55416958 @default.
- W4211174927 hasConceptScore W4211174927C68387754 @default.
- W4211174927 hasConceptScore W4211174927C6943359 @default.
- W4211174927 hasConceptScore W4211174927C77553402 @default.
- W4211174927 hasConceptScore W4211174927C78458016 @default.
- W4211174927 hasConceptScore W4211174927C80444323 @default.
- W4211174927 hasConceptScore W4211174927C86803240 @default.
- W4211174927 hasLocation W42111749271 @default.
- W4211174927 hasOpenAccess W4211174927 @default.
- W4211174927 hasPrimaryLocation W42111749271 @default.
- W4211174927 hasRelatedWork W152362803 @default.
- W4211174927 hasRelatedWork W2009915557 @default.
- W4211174927 hasRelatedWork W2115480761 @default.
- W4211174927 hasRelatedWork W2364124379 @default.
- W4211174927 hasRelatedWork W2371125232 @default.
- W4211174927 hasRelatedWork W2399682748 @default.
- W4211174927 hasRelatedWork W2408080066 @default.
- W4211174927 hasRelatedWork W2979612917 @default.
- W4211174927 hasRelatedWork W2998265132 @default.
- W4211174927 hasRelatedWork W3039704660 @default.
- W4211174927 hasVolume "73" @default.
- W4211174927 isParatext "false" @default.
- W4211174927 isRetracted "false" @default.
- W4211174927 workType "article" @default.