Login / Signup
Boolean Satisfiability Approach to Optimal Multi-agent Path Finding under the Sum of Costs Objective: (Extended Abstract).
Pavel Surynek
Ariel Felner
Roni Stern
Eli Boyarski
Published in:
AAMAS (2016)
Keyphrases
</>
extended abstract
path finding
boolean satisfiability
multi agent
optimal path
sat solvers
search algorithm
path planning
symmetry breaking
heuristic search
search space
integer linear programming
genetic algorithm ga
rule learning
probabilistic planning