Migrating Techniques from Search-based Multi-Agent Path Finding Solvers to SAT-based Approach.
Pavel SurynekRoni SternEli BoyarskiAriel FelnerPublished in: J. Artif. Intell. Res. (2022)
Keyphrases
- path finding
- search algorithm
- multi agent
- sat solvers
- search space
- heuristic search
- backtracking search
- search strategies
- search strategy
- path planning
- hill climbing
- search problems
- sat solving
- stochastic local search
- search methods
- optimal path
- rule learning
- tree search
- satisfiability problem
- sat instances
- dynamic programming
- robocup rescue
- boolean satisfiability
- reinforcement learning
- phase transition
- dynamic environments