ℹ️
🇬🇧
Search
Search for people relevant for "Multi-agent"
Multi-agent
Person
Class
Person
Publication
Programmes
doc. RNDr. Pavel Surynek Ph.D.
External person at Faculty of Mathematics and Physics
81 publications
Publications
publication
Integration of Independence Detection into SAT-based Optimal Multi-Agent Path Finding A Novel SAT-based Optimal MAPF Solver
2017 |
Faculty of Mathematics and Physics
publication
Modeling and Solving the Multi-agent Pathfinding Problem in Picat
2017 |
Faculty of Mathematics and Physics
publication
Boolean Satisfiability Approach to Optimal Multi-agent Path Finding under the Sum of Cost Objective
2016 |
Faculty of Mathematics and Physics
publication
An Emprical Comparison of the Hardness of Multi-agent Path Finding under the Makespan and the Sum of Costs Objectives
2016 |
Faculty of Mathematics and Physics
publication
Efficient SAT Approach to Multi-Agent Path Finding under the Sum of Costs Objective
2016 |
Faculty of Mathematics and Physics
publication
Multi-Agent Path Finding on Biconnected Directed Graphs
2015 |
Faculty of Mathematics and Physics
publication
Application of Longest Common Subsequence Algorithms to Meshing of Planar Domains with Quadrilaterals
2017 |
Faculty of Mathematics and Physics
publication
Linear Ordering in the SAT Encoding of the All-Different Constraint over Bit-Vectors
2015 |
Faculty of Mathematics and Physics
publication
UniAGENT: Reduced Time-Expansion Graphs and Goal Decomposition in Sub-optimal Cooperative Path Finding
2015 |
Faculty of Mathematics and Physics
publication
Reduced Time-Expansion Graphs for Solving Cooperative Path Finding Sub-optimally
2015 |
Faculty of Mathematics and Physics
Load more publications (71)
Loading network view...