Mutex Propagation for SAT-based Multi-agent Path Finding.
Pavel SurynekJiaoyang LiHan ZhangT. K. Satish KumarSven KoenigPublished in: PRIMA (2020)
Keyphrases
- path finding
- multi agent
- path planning
- heuristic search
- mutual exclusion
- ai planning
- answer set programming
- search algorithm
- sat solvers
- planning problems
- multi agent systems
- robocup rescue
- optimal path
- reinforcement learning
- neural network
- genetic programming
- hill climbing
- planning domains
- mobile robot
- long distance
- search methods
- concept learning
- domain specific
- state space