SMT-LH: A New Satisfiability Modulo Theory-Based Technique for Solving Vehicle Routing Problem with Time Window Constraints.
Lydia W. RizkallahMona F. AhmedNevin M. DarwishPublished in: Comput. J. (2020)
Keyphrases
- vehicle routing problem
- combinatorial optimization
- vehicle routing
- metaheuristic
- vehicle routing problem with simultaneous
- routing problem
- benchmark problems
- sat encodings
- vehicle routing problem with time windows
- tabu search
- traveling salesman problem
- travel time
- test instances
- np hard
- logistics distribution
- hybrid metaheuristic
- integer program
- memetic algorithm
- simulated annealing
- pick up and delivery
- multi depot
- particle swarm optimization
- upper bound
- search space
- variable neighborhood search
- constraint programming
- propositional theories
- optimization problems
- greedy randomized adaptive search procedure