An SMT Based Compositional Algorithm to Solve a Conflict-Free Electric Vehicle Routing Problem

Sabino Francesco Roselli, Martin Fabian, Knut Åkesson

The Vehicle Routing Problem (VRP) is the combinatorial optimization problem of designing routes for vehicles to visit customers in such a fashion that a cost function, typically th…