ℹ️
🇨🇿
Hledání
Hledat osoby relevantní k dotazu "rearrangements"
rearrangements
Osoba
Předměty
Osoby
Publikace
Studium
doc. RNDr. Pavel Surynek Ph.D.
Externí osoba na Matematicko-fyzikální fakulta
81 publikací
Publikace
publication
Integration of Independence Detection into SAT-based Optimal Multi-Agent Path Finding A Novel SAT-based Optimal MAPF Solver
2017 |
Matematicko-fyzikální fakulta
publication
Application of Longest Common Subsequence Algorithms to Meshing of Planar Domains with Quadrilaterals
2017 |
Matematicko-fyzikální fakulta
publication
Modeling and Solving the Multi-agent Pathfinding Problem in Picat
2017 |
Matematicko-fyzikální fakulta
publication
Boolean Satisfiability Approach to Optimal Multi-agent Path Finding under the Sum of Cost Objective
2016 |
Matematicko-fyzikální fakulta
publication
An Emprical Comparison of the Hardness of Multi-agent Path Finding under the Makespan and the Sum of Costs Objectives
2016 |
Matematicko-fyzikální fakulta
publication
Efficient SAT Approach to Multi-Agent Path Finding under the Sum of Costs Objective
2016 |
Matematicko-fyzikální fakulta
publication
Multi-Agent Path Finding on Biconnected Directed Graphs
2015 |
Matematicko-fyzikální fakulta
publication
Linear Ordering in the SAT Encoding of the All-Different Constraint over Bit-Vectors
2015 |
Matematicko-fyzikální fakulta
publication
UniAGENT: Reduced Time-Expansion Graphs and Goal Decomposition in Sub-optimal Cooperative Path Finding
2015 |
Matematicko-fyzikální fakulta
publication
Reduced Time-Expansion Graphs for Solving Cooperative Path Finding Sub-optimally
2015 |
Matematicko-fyzikální fakulta
Načíst další publikace (71)
Loading network view...