Solving the Conflict-Free Electric Vehicle Routing Problem Using SMT Solvers.
Sabino Francesco RoselliMartin FabianKnut ÅkessonPublished in: CoRR (2021)
Keyphrases
- vehicle routing problem
- conflict free
- combinatorial optimization
- vehicle routing problem with simultaneous
- tabu search
- metaheuristic
- routing problem
- vehicle routing
- vehicle routing problem with time windows
- search heuristics
- traveling salesman problem
- benchmark problems
- functional dependencies
- memetic algorithm
- travel time
- particle swarm optimization
- hybrid metaheuristic
- multi depot
- np hard
- pick up and delivery
- search strategies
- modulo theories
- database
- sat solvers
- neural network
- exact algorithms
- search methods
- simulated annealing
- multi objective
- lower bound
- multivalued dependencies
- data structure
- objective function
- information retrieval
- databases