Solving the Conflict-Free Electric Vehicle Routing Problem Using SMT Solvers.
Sabino Francesco RoselliMartin FabianKnut ÅkessonPublished in: MED (2021)
Keyphrases
- vehicle routing problem
- conflict free
- combinatorial optimization
- tabu search
- metaheuristic
- vehicle routing problem with simultaneous
- vehicle routing
- search heuristics
- traveling salesman problem
- routing problem
- benchmark problems
- vehicle routing problem with time windows
- functional dependencies
- memetic algorithm
- travel time
- hybrid metaheuristic
- search strategies
- modulo theories
- simulated annealing
- np hard
- multi depot
- particle swarm optimization
- timetabling problem
- optimization problems
- sat solvers
- ant colony optimization
- np complete
- combinatorial problems
- scheduling problem
- pick up and delivery
- evolutionary algorithm
- databases