Sign in
Integration of Independence Detection into SAT-based Optimal Multi-Agent Path Finding - A Novel SAT-based Optimal MAPF Solver.
Pavel Surynek
Jiri Svancara
Ariel Felner
Eli Boyarski
Published in:
ICAART (2) (2017)
Keyphrases
</>
multi agent
dynamic programming
fuzzy logic
optimal path
path finding
machine learning
optimal solution
knowledge representation
rough sets
sat solvers
answer set programming
constraint solver