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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
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)
Ajili, F., El Sakkout, H.: A Probe-based Algorithm for Piecewise Linear Optimization in Scheduling. Annuals of Operations Research 118 (2003)
Beldiceanu, N., Simonis, H., Kay, P., Chan, P.: The CHIP System. White Paper COSY/WHITE/002, COSYTEC SA (1997)
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)
Brooke, A., Kendrick, D., Meeraix, A., Raman, R.: GAMS A User’s Guide (1998)
COIN-OR Foundation. COIN-OR Website, http://www.coin-or.org
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)
Dash Optimization. Xpress-Mosel User Guide (2004)
El Sakkout, H., Wallace, M.G.: Probe Backtrack Search for Minimal Perturbation in Dynamic Scheduling. Constraints 5(4), 359–388 (2000)
Eremin, A.: Using Dual Values to Integrate Row and Column Generation into Constraint Logic Programming. PhD thesis, IC-Parc, Imperial College London (2003)
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)
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)
Fourer, R., Gay, D.M., Kernighan, B.W.: A Modeling Language for Mathematical Programming. Management Science 36 (1990)
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)
Heipcke, S.: Applications of Optimization with XpressMP. DASH Optimization Ltd. (2002); Translated and revised from the French Language
Holzbaur, C.: Ofai clpq(q,r) manual, edition 1.3.3. Technical Report TR-95-09, Austrian Research Institute for Arificial Intelligence, Vienna (1995)
ILOG, Inc. ILOG Products Web Page, http://www.ilog.com/products/
Jaffar, J., Michaylov, S., Stucky, P., Yap, R.: The CLP(R) Language and System. ACM Transaction on Programming Language Systems 14(3) (1992)
Milano, M. (ed.): Constraint and Integer Programming: Toward a Unified Methodology. Kluwer Academic Publishers, Dordrecht (2004)
Ouaja Ajili, W.: Integrating Lagrangian Relaxation and Constraint Programming for Multicommodity Network Routing. PhD thesis, IC-Parc, Imperial College London (2004)
Ralphs, T.: COIN-OR: Software Tools for Optimization. Tutorial at CORS/INFORMS Joint International Meeting (May 2004)
Van Hentenryck, P.: The OPL Optimization Programming Language. MIT Press, Cambridge (1999)
Van Hentenryck, P., Michel, L.: OPL Script: Composing and Controlling Methods. In: New Trends in Constraints (2000)
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)
Xia, Q.: Traffic Diversion Problem: Reformulation and New Solutions. In: Proceedings of the Second International Network Optimization Conference (2005)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Shen, K., Schimpf, J. (2005). Eplex: Harnessing Mathematical Programming Solvers for Constraint Logic Programming. In: van Beek, P. (eds) Principles and Practice of Constraint Programming - CP 2005. CP 2005. Lecture Notes in Computer Science, vol 3709. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11564751_46
Download citation
DOI: https://doi.org/10.1007/11564751_46
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-29238-8
Online ISBN: 978-3-540-32050-0
eBook Packages: Computer ScienceComputer Science (R0)