zbMATH — the first resource for mathematics

An exact constraint logic programming algorithm for the traveling salesman problem with time windows. (English) Zbl 0987.90086
This paper presents a constraint logic programming model for the traveling salesman problem with time windows which yields an exact branch-and-bound optimization algorithm without any restrictive assumption on the time windows. Unlike dynamic programming approaches whose performance relies heavily on the degree of discretization applied to the data, our algorithm does not suffer from such space-complexity issues. The data-driven mechanism at its core more fully exploits pruning rules developed in operations research by using them not only a priori but also dynamically during the search. Computational results are reported and comparisons are made with both exact and heuristical algorithms. On Solomon’s well-known test bed, our algorithm is instrumental in achieving new best solutions for some of the problems in set RC2 and strengthens the presumption of optimality for the best known solutions to the problems in set C2.

90C35 Programming involving graphs or networks
90C08 Special problems of linear programming (transportation, multi-index, data envelopment analysis, etc.)
90C27 Combinatorial optimization
68N17 Logic programming
Full Text: DOI