Solving TSP through the integration of OR and CP techniques

Electronic Notes in Discrete Mathematics

Volumn 1, Issue , 1999, Pages 1-13

  Focacci, Filippo ^a,c   Lodi, Andrea ^b   Milano, Michela ^b   Vigo, Daniele ^b  

^a UNIVERSITY OF FERRARA   (Italy)

^b UNIVERSITY OF BOLOGNA   (Italy)

^c IBM   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 53149083745     PISSN: 15710653     EISSN: 15710653     Source Type: Journal    
DOI: None     Document Type: Article

References (23)

1. P. Baptiste, C. Le Pape, and W. Nuijten. Efficient operations research algorithms in constraint-based scheduling. In Proceedings of IJCAI'95, 1995.
2. N. Beldiceanu and E. Contejean. Introducing global constraints in CHIP. Mathematical Computer Modelling, 20(12):97-123, 1994.
3. H. Beringer and B. De Backer. Combinatorial problem solving in constraint logic programming with cooperating solvers. In C. Beierle and L. Plumer, editors, Logic Programming: formal Methods and Practical Applications. North Holland, 1995.
4. A. Caprara, F. Focacci, E. Lamma, P. Mello, M. Milano, P. Toth, and D. Vigo. Integrating constraint logic programming and operations research techniques for the crew rostering problem. Software Practice & Experience, 28(1):49-76, 1998.
5. J. Carlier and E. Pinson. An algorithm for solving job shop scheduling. Management Science, 35:164-176, 1995.
6. G. Carpaneto, S. Martello, and P. Toth. Algorithms and codes for the assignment problem. Annals of Operations Research, 13:193-223, 1988.
7. Y. Caseau and F. Laburthe. Solving small TSPs with constraints. In Proceedings of ICLP'97, 1997.
8. Y. Caseau and F. Laburthe. Solving various weighted matching problems with constraints. In Proceedings of CP'97, 1997.
9. M. Dell'Amico and S. Martello. Linear assignment. In M. Dell'Amico, F. Maffioli, and S. Martello, editors, Annotated Bibliographies in Combinatorial Optimization. Wiley, 1997.
10. M. Dincbas, P. Van Hentenryck, and H. Simonis. Solving the car sequencing problems in Constraint Logic Programming. In Proceedings of European Conference on Artificial Intelligence ECAI88, 1988.
11. M. Dincbas, P. Van Hentenryck, and M. Simonis. Solving large combinatorial problems in logic programming. Journal of Logic Programming, 8(1-2):75-93, 1990.
12. M. Dincbas, P. Van Hentenryck, M. Simonis, A. Aggoun, T. Graf, and F. Berthier. The constraint logic programming language CHIP. In Proceedings of the International Conference on Fifth Generation Computer System, pages 693-702, 1988.
13. M. Fischetti and P. Toth. An additive bounding procedure for the asymmetric travelling salesman problem. Mathematical Programming, 53:173-197, 1992.
14. M. Fischetti and P. Toth. An efficient algorithm for the min-sum arborescence problem on complete digraphs. ORSA Journal of Computing, 5(4):426-434, 1993.
15. M. Fischetti and P. Toth. A polyhedral approach to the asymmetric travelling salesman problem. Management Science, 43(11):1520-1536, 1997.
16. M.T. Hajian, H. El-Sakkout, M. Wallace, J.M. Lever, and E.B. Richards. Towards a closer integration of finite domain propagation and simplex-based algorithms. Technical report, IC-Parc, 1995.
17. P. Van Hentenryck. Constraint Satisfaction in Logic Programming. MIT Press, 1989.
18. ILOG. ILOG Solver 4.2 Reference Manual.
19. M. Jünger, G. Reinelt, and G. Rinaldi. The travelling salesman problem. In M. Dell'Amico, F. Maffioli, and S. Martello, editors, Annotated Bibliographies in Combinatorial Optimization. Wiley, 1997.
20. G. Pesant, M. Gendreau, J.Y. Potvin, and J.M. Rousseau. An exact constraint logic programming algorithm for the travelling salesman problem with time windows. Transportation Science, 32(1):12-29, 1998.
21. J.F. Puget. A C++ implementation of CLP. Technical Report 94-01, ILOG Headquarters, 1994.
22. J.C. Régin. A filtering algorithm for constraints of difference in CSPs. In Proceedings of AAAI'94, 1994.
23. R. Rodosek, M. Wallace, and M.T. Hajian. A new approach to integrating mixed integer programming and constraint logic programming. Annals of Operational Research, 1997.