Search and Strategies in OPL

ACM Transactions on Computational Logic

Volumn 1, Issue 2, 2000, Pages 285-320

  Hentenryck, Pascal Van ^a   Perron, Laurent ^b   Puget, Jean Francois ^b  

^a Brown Univerity   (United States)

^b IBM   (United States)

Author keywords

Combinatorial; Constraint Programming; Design; Languages; Modeling Languages; Optimization; Search

Indexed keywords

EID: 84976509455     PISSN: 15293785     EISSN: 1557945X     Source Type: Journal    
DOI: 10.1145/359496.359529     Document Type: Article

References (34)

1. Apt, K., Brunekreef, J., Partington, V., and Schaerf, A. 1998. Alma-O: An Imperative Language that Supports Declarative Programming. ACM Transactions on Programming Languages and Systems 20, 5 (September), 1014-1066.
2. APT, K. and SCHAERF, A. 1997. Search and Imperative Programming. In Proc. 24th Annual SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL97) (January 1997), pp. 67-79. ACM Press.
3. Bisschop, J. and Meeraus, A. 1982. On the Development of a General Algebraic Modeling System in a Strategic Planning Environment. Mathematical Programming Study 20, 1-29.
4. Borovansky, P., Kirchner, C., Kirchner, H., Moreau, P., and Ringeissen, C. 1998. An Overview of Elan. In Proceedings of the 2nd International Workshop on Rewriting Logic and its Applications (Pont-A-Mousson, France, September 1998).
5. Carlier, J. and Pinson, E. 1990. A Practical Use of Jackson's Preemptive Schedule for Solving the Job-Shop Problem. Annals of Operations Research 26, 269-287.
6. Cheng, B., Lee, J., Leung, H., and Leung, Y. 1996. Speeding up Constraint Propagation by Redundant Modeling. In Proceedings of the Second International Conference on Principles and Practice of Constraint Programming (CP'96) (Cambridge, MA, August 1996). Springer Verlag.
7. Colmerauer, A. 1990. An Introduction to Prolog III. Commun. ACM28, 4, 412-418.
8. COLMERAUER, A. 1996. Specification de Prolog IV. Technical report, Laboratoire d'informatique de Marseille.
9. Demeulesmeester, E. and Herroelen, W. 1992. A Branch and Bound Procedure for the Multiple Resource-Constrained Project Scheduling Problem. Management Science 38, 1803-1818.
10. Dincbas, M., Simonis, H., and Van Hentenryck, P. 1988. Solving a Cutting-Stock Problem in Constraint Logic Programming. In Fifth International Conference on Logic Programming (Seattle, WA, August 1988).
11. Dincbas, M., Van Hentenryck, P., Simonis, H., Aggoun, A., Graf, T., and Berthier, F. 1988. The Constraint Logic Programming Language CHIP. In Proceedings of the International Conference on Fifth Generation Computer Systems (Tokyo, Japan, December 1988).
12. Fourer, R., Gay, D., and Kernighan, B. 1993. AMPL: A Modeling Language for Mathematical Programming. The Scientific Press, San Francisco, CA.
13. Harvey, W. and Ginsberg, M. 1995. Limited Discrepancy Search. In Proceedings of the 14th International Joint Conference on Artificial Intelligence (Montreal, Canada, August 1995).
14. ILOG OPL STUDIO 3.0. 2000. Reference Manual. Ilog SA, Gentilly, France.
15. ILOG SOLVER 4.4. 1998. Reference Manual. Ilog SA, Gentilly, France.
16. Jaffar, J., Michaylov, S., Stuckey, P., and Yap, R. 1992. The CLP(ℜ) Language and System. ACM Trans. on Programming Languages and Systems 14, 3, 339-395.
17. Laburthe, F. and Caseau, Y. 1998. SALSA: A Language for Search Algorithms. In Fourth International Conference on the Principles and Practice of Constraint Programming (CP'98) (Pisa, Italy, October 1998).
18. Maher, M. 1987. Logic Semantics for a Class of Committed-Choice Programs. In Fourth International Conference on Logic Programming (Melbourne, Australia, May 1987), pp. 858-876.
19. Martin, D. and Shmoys, P. 1996. A Time-based Approach to the Job-Shop Problem. In Proc. of 5th International Conference on Integer Programming and Combinatorial Optimization (IPCO'96) (Vancouver, Canada, 1996). Springer Verlag.
20. Mcaloon, K. and Tretkoff, C. 1995. 2LP: Linear Programming and Logic Programming. In V. Saraswat and P. V. Hentenryck Eds., Principles and Practice of Constraint Programming. Cambridge, Ma: The MIT Press.
21. Perron, L. 1999. Search Procedures and Parallelism in Constraint Programming. In Fifth International Conference on the Principles and Practice of Constraint Programming (CP'99) (Alexandra, VA, October 1999).
22. Puget, J.-F. 1994. A C++ Implementation of CLP. In Proceedings of SPICIS'94 (Singapore, November 1994).
23. Roseaux. 1985. Programmation linéaire et extensions; problèmes classiques, Volume 3 of Exercices et problèmes rtisolus de Recherche Operationnelle. Masson, Paris.
24. Saraswat, V. 1993. Concurrent Constraint Programming. ACM Doctoral Dissertation Awards: Logic Programming. The MIT Press, Cambridge, MA.
25. Savelbergh, M. 1994. Preprocessing and Probing for Mixed Integer Programming Problems. ORSA Journal of Computing 6, 445-454.
26. Schulte, C. 1997. Programming Constraint Inference Engines. In Proceedings of the Third International Conference on Principles and Practice of Constraint Programming, Volume 1330 (Schloss Hagenberg, Linz, Austria, October 1997), pp. 519-533. Springer-Verlag.
27. Schulte, C. 2000. Programming Deep Concurrent Constraint Combinators. In Proceedings of the Second International Workshop on Practical Aspects of Declarative Languages (PADL'00), Volume 1753 (Boston, MA, January 2000). Springer-Verlag.
28. Smolka, G. 1995. The Oz Programming Model. In J. VAN LEEUWEN Ed., Computer Science Today. LNCS, No. 1000, Springer Verlag.
29. Van Hentenryck, P. 1989. Constraint Satisfaction in Logic Programming. Logic Programming Series, The MIT Press, Cambridge, MA.
30. Van Hentenryck, P. 1997. Visual Solver: A Modeling Language for Constraint Programming. In Third International Conference on the Principles and Practice of Constraint Programming (CP'97) (Lintz, Austria, October 1997). (Invited Talk).
31. Van Hentenryck, P. 1999. The OPL Optimization Programming Language. The MIT Press, Cambridge, Mass.
32. Van Hentenryck, P. and Deville, Y. 1991. The Cardinality Operator: A New Logical Connective and its Application to Constraint Logic Programming. In Eighth International Conference on Logic Programming (ICLP-91) (Paris (France), June 1991).
33. Van Hentenryck, P., Michel, L., Laborie, P., Nuijten, W., and Rogerie, J. 1999. Combinatorial Optimization in OPL Studio. In Proceedings of the 9th Portuguese Conference on Artificial Intelligence International Conference (EPIA99) (Evora, Portugal, September 1999). (Invited Paper).
34. Van Hentenryck, P., Michel, L., Perron, L., and Regin, J. 1999. Constraint Programming in OPL. In Proceedings of the International Conference on the Principles and Practice of Declarative Programming (PPDP'99) (Paris, France, September 1999). (Invited Paper).