Towards Optimal Cooperative Path Planning in Hard Setups through Satisfiability Solving

Abstract

A novel approach to cooperative path-planning is presented. A SAT solver is used not to solve the whole instance but for optimizing the makespan of a sub-optimal solution.

Keywords

• Cooperative
• Path-Planning