Sign in

Integration of Independence Detection into SAT-based Optimal Multi-Agent Path Finding - A Novel SAT-based Optimal MAPF Solver.

Pavel SurynekJiri SvancaraAriel FelnerEli 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