Author of the publication

Variants of Independence Detection in SAT-Based Optimal Multi-agent Path Finding.

, , , and . ICAART (Revised Selected Papers), volume 10839 of Lecture Notes in Computer Science, page 116-136. Springer, (2017)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Adding Heuristics to Conflict-Based Search for Multi-Agent Path Finding., , , , , , and . ICAPS, page 83-87. AAAI Press, (2018)Integration of Independence Detection into SAT-based Optimal Multi-Agent Path Finding - A Novel SAT-based Optimal MAPF Solver., , , and . ICAART (2), page 85-95. SciTePress, (2017)Algorithm Selection for Optimal Multi-Agent Pathfinding., , and . ICAPS, page 161-165. AAAI Press, (2020)Sub-Optimal SAT-Based Approach to Multi-Agent Path-Finding Problem., , , and . SOCS, page 99-105. AAAI Press, (2018)On Merging Agents in Multi-Agent Pathfinding Algorithms., , , , and . SOCS, page 11-19. AAAI Press, (2022)Variants of Independence Detection in SAT-Based Optimal Multi-agent Path Finding., , , and . ICAART (Revised Selected Papers), volume 10839 of Lecture Notes in Computer Science, page 116-136. Springer, (2017)Experimental Evaluation of Classical Multi Agent Path Finding Algorithms., , and . SOCS, page 126-130. AAAI Press, (2021)Modeling and Solving the Multi-agent Pathfinding Problem in Picat., , , , and . ICTAI, page 959-966. IEEE Computer Society, (2017)Migrating Techniques from Search-based Multi-Agent Path Finding Solvers to SAT-based Approach., , , and . J. Artif. Intell. Res., (2022)Boolean Satisfiability Approach to Optimal Multi-agent Path Finding under the Sum of Costs Objective: (Extended Abstract)., , , and . AAMAS, page 1435-1436. ACM, (2016)