A Declarative Modeling Framework that Integrates Solution Methods

Annals of Operations Research

Volumn 104, Issue 1-4, 2001, Pages 141-161

  Hooker, J N ^a   Kim, Hak Jin ^a   Ottosson, G ^b  

^a CARNEGIE MELLON UNIVERSITY   (United States)

^b UPPSALA UNIVERSITY   (Sweden)

Author keywords

Constraint programming; Constraint propagation; Linear programming; Mathematical programming; Modeling language; Nonlinear programming; Optimization method

Indexed keywords

EID: 0035566131     PISSN: 02545330     EISSN: 15729338     Source Type: Journal    
DOI: 10.1023/A:1013195004424     Document Type: Article

References (21)

1. A. Aggoun and N. Beldiceanu, Extending CHIP in order to solve complex scheduling and placement problems, Math. Comput. Modelling 17(7) (1993) 57-73.
2. N. Beldiceanu and E. Contejean, Introducing global constraints in CHIP, Math. Comput. Modelling 20(12) (1994) 97-123.
3. A. Bockmayr and T. Kasper, A unifying framework for integer and finite domain constraint programming, INFORMS Journal on Computing 10, 287-300.
4. A. Brooke, D. Kendrick and A. Meeraus, GAMS-A User's Guide (Scientific Press, San Francisco, 1992).
5. A. Brooke and A. Meeraus, On the development of a general algebraic modeling system in a strategic planning environment, Mathematical Programming Study 20 (1982) 1-29.
6. Y. Caseau and F. Laburthe, Improved CLP scheduling with task intervals, in: Logic Programming - Proceedings of the 11th International Conference on Logic Programming, ed. P. Van Hentenryck, Massachusetts Institute of Technology (MIT Press, 1994) pp. 369-383.
7. Y. Caseau and F. Laburthe, Solving small TSPs with constraints, in: Proceedings of the 14th International Conference on Logic Programming, Cambridge (July 8-11, 1997), ed. L. Naish (MIT Press, 1997) pp. 316-330.
8. R. Fourer, Extending a general-purpose algebraic modeling language to combinatorial optimization: A logic programming approach, in: Advances in Computational and Stochastic Optimization, Logic Programming, and Heuristic Search (Kluwer Academic, Dordrecht, 1994).
9. R. Fourer, D.M. Gay and B.W. Kernighan, A modeling language for mathematical programming, Management Science 36 (1990) 519-554.
10. R. Fourer, D.M. Gay and B.W. Kernighan, AMPL: A Modeling Language for Mathematical Programming (Duxbury Press, Wadsworth, Belmont, CA, 1992).
11. H.-J. Kim and J.N. Hooker, Solving fixed-charge network flow problems with a hybrid optimization and constraint programming approach, to appear in Annals of Operations Research.
12. J.N. Hooker and M.A. Osorio, Mixed logical/linear programming, Discrete Applied Mathematics 96-97(1-3) (1999) 395-442.
13. K. Marriott and P.J. Stuckey, Programming with Constraints: An Introduction (MIT Press, 1998).
14. L. Michel and P. Van Hentenryck, Helios: A modeling language for global optimization and its implementation in Newton, Theoretical Computer Science 173(1) (1997) 3-48.
15. P.M. Pardalos and J.B. Rosen, Constrained Global Optimization: Algorithms and Applications, Lecture Notes in Computer Science 268 (Springer, 1987).
16. J.-C. Régin, A filtering algorithm for constraints of difference in CSPs, in: Proceedings of 12th National Conference on Artificial Intelligence (AAAI-94) (1994) pp. 362-367.
17. R. Rodošek, M. Wallace and M. Hajian, A new approach to integrating mixed integer programming and constraint logic programming, Baltzer Journals (1997).
18. P. Van Hentenryck, Constraint Satisfaction in Logic Programming, Logic Programming Series (MIT Press, Cambridge, MA, 1989).
19. P. Van Hentenryck, The OPL Optimization Programming Language (MIT Press, 1999).
20. P. Van Hentenryck and L. Michel, Newton: Constraint programming over nonlinear real constraints, Science of Computer Programming 30(1-2) (1998) 83-118.
21. P. Van Hentenryck, V. Saraswat and Y. Deville, Design, implementation, and evaluation of the constraint language cc(FD), in: Constraint Programming: Basics and Trends, ed. A. Podelski, Lecture Notes in Computer Science 910 (Springer, 1995).