Author of the publication

Modeling and Solving the Multi-agent Pathfinding Problem in Picat.

, , , , and . ICTAI, page 959-966. IEEE Computer Society, (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)Boolean Satisfiability Approach to Optimal Multi-agent Path Finding under the Sum of Costs Objective: (Extended Abstract)., , , and . AAMAS, page 1435-1436. ACM, (2016)Improved Heuristics for Multi-Agent Path Finding with Conflict-Based Search., , , , and . IJCAI, page 442-449. ijcai.org, (2019)