Near Optimal Cooperative Path Planning in Hard Setups through Satisfiability Solving

Abstract

A new approach to cooperative path-planning is presented. The makespan of a solution to a path-planning instance is op-timized by a SAT solver.

Keywords

• Cooperative
• Path-FInding
• SAT