DPLL(MAPF): an Integration of Multi-Agent Path Finding and SAT Solving Technologies.
Martin CapekPavel SurynekPublished in: CoRR (2021)
Keyphrases
- sat solving
- path finding
- multi agent
- sat solvers
- sat problem
- search algorithm
- boolean satisfiability
- clause learning
- heuristic search
- path planning
- max sat
- propositional satisfiability
- search space
- search tree
- orders of magnitude
- rule learning
- np complete
- tree search
- satisfiability problem
- optimal path
- sat encodings
- reinforcement learning
- symmetry breaking
- particle swarm optimization
- genetic programming
- scheduling problem
- state space