Eplex: Harnessing Mathematical Programming Solvers for Constraint Logic Programming

  • Kish Shen
  • Joachim Schimpf
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3709)

Abstract

The eplex library of the ECLiPSe Constraint Logic Programming platform allows the integration of Mathematical Programming techniques with its native Constraint Logic Programming techniques within the same unified framework. It provides an interface to state-of-the-art Mathematical Programming solvers, and a set of programming primitives that allow ‘hybrid’ techniques to be easily expressed. This paper presents these facilities, and discusses some associated implementation issues.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Aggoun, A., Beldiceanu, N.: Time Stamps Techniques for the Trailed Data in Constraint Logic Programming Systems. In: Actes du Séminaire 1990 - Programmation en Logique (1990)Google Scholar
  2. 2.
    Ajili, F., El Sakkout, H.: A Probe-based Algorithm for Piecewise Linear Optimization in Scheduling. Annuals of Operations Research 118 (2003)Google Scholar
  3. 3.
    Beldiceanu, N., Simonis, H., Kay, P., Chan, P.: The CHIP System. White Paper COSY/WHITE/002, COSYTEC SA (1997)Google Scholar
  4. 4.
    Bixby, R.E., Ceria, C.M.M.S., Savelsbergh, M.W.P.: An Updated Mixed Integer Programing Library: MIPLIB 3.0. Technical Report TR98-03, The Department of Computational and Applied Mathematics, Rice University (1998)Google Scholar
  5. 5.
    Brooke, A., Kendrick, D., Meeraix, A., Raman, R.: GAMS A User’s Guide (1998)Google Scholar
  6. 6.
    COIN-OR Foundation. COIN-OR Website, http://www.coin-or.org
  7. 7.
    Cronholm, W., Ajili, F.: Strong Cost-Based Filtering for Lagrange Decomposition Applied to Network Design. In: Wallace, M. (ed.) CP 2004. LNCS, vol. 3258, pp. 726–730. Springer, Heidelberg (2004)CrossRefGoogle Scholar
  8. 8.
    Dash Optimization. Xpress-Mosel User Guide (2004)Google Scholar
  9. 9.
    El Sakkout, H., Wallace, M.G.: Probe Backtrack Search for Minimal Perturbation in Dynamic Scheduling. Constraints 5(4), 359–388 (2000)MATHCrossRefMathSciNetGoogle Scholar
  10. 10.
    Eremin, A.: Using Dual Values to Integrate Row and Column Generation into Constraint Logic Programming. PhD thesis, IC-Parc, Imperial College London (2003)Google Scholar
  11. 11.
    Eremin, A., Wallace, M.: Hybrid Benders Decomposition Algorithms in Constraint Logic Programming. In: Walsh, T. (ed.) CP 2001. LNCS, vol. 2239, p. 1. Springer, Heidelberg (2001)CrossRefGoogle Scholar
  12. 12.
    Focacci, F., Lodi, A., Milano, M.: Cost-based Domain Filtering. In: Jaffar, J. (ed.) CP 1999. LNCS, vol. 1713, pp. 189–203. Springer, Heidelberg (1999)Google Scholar
  13. 13.
    Fourer, R., Gay, D.M., Kernighan, B.W.: A Modeling Language for Mathematical Programming. Management Science 36 (1990)Google Scholar
  14. 14.
    Hajian, M.T., El-Sakkout, H., Wallace, M., Lever, J.M., Richards, E.B.: Towards a closer integration of finite domain propagation and simplex-based algorithms. In: Annals of Operations Research (1998)Google Scholar
  15. 15.
    Heipcke, S.: Applications of Optimization with XpressMP. DASH Optimization Ltd. (2002); Translated and revised from the French LanguageGoogle Scholar
  16. 16.
    Holzbaur, C.: Ofai clpq(q,r) manual, edition 1.3.3. Technical Report TR-95-09, Austrian Research Institute for Arificial Intelligence, Vienna (1995)Google Scholar
  17. 17.
    ILOG, Inc. ILOG Products Web Page, http://www.ilog.com/products/
  18. 18.
    Jaffar, J., Michaylov, S., Stucky, P., Yap, R.: The CLP(R) Language and System. ACM Transaction on Programming Language Systems 14(3) (1992)Google Scholar
  19. 19.
    Milano, M. (ed.): Constraint and Integer Programming: Toward a Unified Methodology. Kluwer Academic Publishers, Dordrecht (2004)MATHGoogle Scholar
  20. 20.
    Ouaja Ajili, W.: Integrating Lagrangian Relaxation and Constraint Programming for Multicommodity Network Routing. PhD thesis, IC-Parc, Imperial College London (2004)Google Scholar
  21. 21.
    Ralphs, T.: COIN-OR: Software Tools for Optimization. Tutorial at CORS/INFORMS Joint International Meeting (May 2004)Google Scholar
  22. 22.
    Van Hentenryck, P.: The OPL Optimization Programming Language. MIT Press, Cambridge (1999)Google Scholar
  23. 23.
    Van Hentenryck, P., Michel, L.: OPL Script: Composing and Controlling Methods. In: New Trends in Constraints (2000)Google Scholar
  24. 24.
    Winterer, T.J.: Requested Resource Reallocation with Retiming: An Algorithm for Finding Non-Dominated Solutions with Minimal Changes. PhD thesis, IC-Parc, Imperial College London (2004)Google Scholar
  25. 25.
    Xia, Q.: Traffic Diversion Problem: Reformulation and New Solutions. In: Proceedings of the Second International Network Optimization Conference (2005)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2005

Authors and Affiliations

  • Kish Shen
    • 1
  • Joachim Schimpf
    • 1
  1. 1.IC-ParcImperial College LondonLondonUnited Kingdom

Personalised recommendations