ℹ️
🇬🇧
Search
Search for people relevant for "SAT Model"
SAT Model
Person
Class
Person
Publication
Programmes
Export current view
RNDr. Jiří Švancara Ph.D.
Academic staff at Faculty of Mathematics and Physics
26 publications
Publications
publication
Coordinated Collision-free Movement of Groups of Agents
2022 |
Faculty of Mathematics and Physics
publication
On SAT-Based Approaches for Multi-Agent Path Finding with the Sum-of-Costs Objective
2019 |
Faculty of Mathematics and Physics
publication
Multi-Agent Pathfinding on Large Maps Using Graph Pruning: This Way or That Way?
2023 |
Faculty of Mathematics and Physics
publication
Multi-Agent Pathfnding with Predefned Paths: To Wait, or Not to Wait, That Is the Question [Extended Abstract]
2023 |
Faculty of Mathematics and Physics
publication
Routing and Scheduling in different ways: Abridged Preliminary Report
2023 |
Faculty of Mathematics and Physics
publication
Tackling Train Routing via Multi-agent Pathfinding and Constraint-based Scheduling
2022 |
Faculty of Mathematics and Physics
publication
Reduction-based Solving of Multi-agent Pathfinding on Large Maps Using Graph Pruning
2022 |
Faculty of Mathematics and Physics
publication
Multi-agent Pathfinding on Large Maps Using Graph Pruning: This Way or That Way?
2022 |
Faculty of Mathematics and Physics
publication
Colored Multi-Agent Path Finding: Solving Approaches
2021 |
Faculty of Mathematics and Physics
publication
From Classical to Colored Multi-Agent Path Finding
2021 |
Faculty of Mathematics and Physics
Load more publications (16)
Loading network view...