Extending an Algebraic Modeling Language to Support Constraint Programming

References

• Beale E. M. L., Tomlin J. A., Lawrence J. Special facilities in a general mathematical programming system for non-convex problems using ordered sets of variables. OR 69: Proceedings of the Fifth International Conference on Operational Research (1970) (Tavistock Publications, London, UK) 447–454Google Scholar
• Bisschop J. J., Fourer R. New constructs for the description of combinatorial optimization problems in algebraic modeling languages. Computational Optimization and Applications (1996) 6:83–116Crossref, Google Scholar
• Corne D., Dorigo M., Glover F.New Ideas in Optimization (1999) (McGraw-Hill, London, UK) Google Scholar
• Coullard C., Fourer R. Algebraic, logical and network representations in the design of software for combinatorial optimization. Proceedings of the 29th Hawaii International Conference on System Sciences (1996) (IEEE Computer Society Press)407–417Volume II: Decision Support and Knowledge-Based SystemsCrossref, Google Scholar
• Dolan E. D., Fourer R., Goux J.-P., Munson T. S. (2002) . The NEOS Server's Kestrel interface. Mathematics and Computer Science Division, Argonne National Laboratory, Argonne, ILGoogle Scholar
• Fourer R., Woodruff D. L. Extending a general-purpose algebraic modeling language to combinatorial optimization: a logic programming approach. Advances in Computational and Stochastic Optimization, Logic Programming, and Heuristic Search: Interfaces in Computer Science and Operations Research (1998) (Kluwer Academic Publishers, Dordrecht, The Netherlands) 31–74Crossref, Google Scholar
• Fourer R., Gay D. M., Kernighan B. W. A modeling language for mathematical programming. Management Science (1990) 36:519–554Link, Google Scholar
• Fourer R., Gay D. M., Kernighan B. W.AMPL: A Modeling Language for Mathematical Programming (1993) (Duxbury Press, Pacific Grove, CA) Google Scholar
• Gay D. M., Griewank A., Corliss G. Automatic differentiation of nonlinear AMPL models. Automatic Differentiation of Algorithms: Theory, Implementation, and Application (1991) (SIAM, Philadelphia) 61–73Google Scholar
• Gay D. M. Hooking your solver to AMPL. (1993) . Technical report, Bell Laboratories, Murray Hill, NJ (revised 1994, 1997)Google Scholar
• Gay D. M., Berz M., Bischof C., Corliss G., Griewank A. More AD of nonlinear AMPL models: Computing Hessian information and exploiting partial separability. Computational Differentiation: Techniques, Applications, and Tools (1996) (SIAM, Philadelphia, PA) 173–184Google Scholar
• Griewank A., Iri M., Tanabe K. On automatic differentiation. Mathematical Programming: Recent Developments and Applications (1989) (Kluwer Academic Publishers, Dordrecht, The Netherlands) 83–108Google Scholar
• Griewank A.Evaluating Derivatives: Principles and Techniques of Algorithmic Differentiation (2000) (SIAM, Philadelphia, PA) Google Scholar
• Hooker J. N. Logic, optimization, and constraint programming. INFORMS Journal on Computing (2002) 14:295–321Link, Google Scholar
• Hürlimann T.Mathematical Modeling and Optimization: An Essay for the Design of Computer-Based Modeling Tools (1999) (Kluwer Academic Publishers, Dordrecht, The Netherlands) Crossref, Google Scholar
• ILOG, Inc.ILOG Concert Technology 1.1 User's Manual and ILOG Concert Technology 1.1 Reference Manual (2001a) (ILOG, Gentilly, France) Google Scholar
• ILOG, Inc.ILOG CPLEX 7.5 User's Manual and ILOG CPLEX 7.5 Reference Manual (2001b) (ILOG, Gentilly, France) Google Scholar
• ILOG, Inc.ILOG Hybrid Optimizers 1.1 User's Guide and Reference (2001c) (ILOG, Gentilly, France) Google Scholar
• ILOG, Inc.ILOG OPL Studio 3.5 User's Manual and OPL Studio 3.5 Language Manual (2001d) (ILOG, Gentilly, France) Google Scholar
• ILOG, Inc.ILOG Solver 5.1 User's Manual and ILOG Solver 5.1 Reference Manual (2001e) (ILOG, Gentilly, France) Google Scholar
• Kuip C. A. C. Algebraic languages for mathematical programming. European Journal of Operational Research (1993) 67:25–51Crossref, Google Scholar
• Laurière J.-L. A language and a program for stating and solving combinatorial problems. Artificial Intelligence (1978) 10:29–127Crossref, Google Scholar
• Marriott K., Stuckey P. J.Programming with Constraints: An Introduction (1998) (MIT Press, Cambridge, MA) Crossref, Google Scholar
• Michel L., Van Hentenryck P. Helios: a modeling language for global optimization and its implementation in Newton. Theoretical Computer Science (1997) 173:3–48Crossref, Google Scholar
• Pintér J. D.Global Optimization in Action (1996) (Kluwer Academic Publishers, Dordrecht, The Netherlands) Crossref, Google Scholar
• Reeves C. R.Modern Heuristic Techniques for Combinatorial Problems (1995) (McGraw-Hill, New York) Google Scholar
• Refalo P., Jaffar Joxan. Tight cooperation and its application in piecewise linear optimization. Principles and Practice of Constraint Programming—CP'99 (1999) (Springer Verlag, Berlin, Germany) 373–389Crossref, Google Scholar
• Sahinidis N. V. BARON: a general purpose global optimization software package. Journal of Global Optimization (1996) 8:201–205Crossref, Google Scholar
• Sterling L., Shapiro E.The Art of Prolog (1994) 2nd edition(MIT Press, Cambridge, MA) Google Scholar
• Van Hentenryck P.Constraint Satisfaction in Logic Programming (1989) (MIT Press, Cambridge, MA) Google Scholar
• Van Hentenryck P.The OPL Optimization Programming Language (1999) (MIT Press, Cambridge, MA) Google Scholar
• Woodruff D. L., Spearman M. L. Sequencing and batching for two classes of jobs with deadlines and setup times. Production and Operations Management (1992) 1:87–102Crossref, Google Scholar