A Modeling Layer for Constraint-Programming Libraries

References

• Barth P., Bockmayr A. Modelling mixed-integer optimisation problems in constraint logic programming. (1995) . Technical report MPI-I-95-2-011, Max-Planck-Institut für Informatik, Saarbrücken, GermanyGoogle Scholar
• Bisschop J., Meeraus A. On the development of a general algebraic modeling system in a strategic planning environment. Math. Programming Stud. (1982) 20:1–29Crossref, Google Scholar
• Cheng B. M. W., Lee J. H. M., Leung H. F., Leung Y. W. Speeding up constraint propagation by redundant modeling. Proc. Second Internat. Conf. Principles Practice Constraint Programming (CP'96) (1996) (Springer-Verlag, Cambridge, MA) 104–118Crossref, Google Scholar
• Colmerauer A. An introduction to Prolog III. Commun. ACM (1990) 33(7):69–90Crossref, Google Scholar
• Colmerauer A. Spécification de Prolog IV. (1996) . Technical report, Laboratoire d'informatique de Marseille, Marseille, FranceGoogle Scholar
• de Givry S., Jeannin L. ToOLS: A library for partial and hybrid search methods. 5th Internat. Workshop Integration AI OR Techniques Constraint Program Combin. Optim. Problems (CPAIOR'03) (2003) Montreal, CanadaGoogle Scholar
• Dincbas M., Van Hentenryck P., Simonis H., Aggoun A., Graf T., Berthier F. The constraint logic programming language CHIP. Proc. Internat. Conf. Fifth Generation Comput. Systems (1988) Tokyo, JapanGoogle Scholar
• El Sakkout H., Wallace M. Probe backtrack search for minimal perturbation in dynamic scheduling. Constraints (2000) 5:359–388Crossref, Google Scholar
• Fourer R., Gay D., Kernighan B. W.AMPL: A Modeling Language for Mathematical Programming (1993) (The Scientific Press, San Francisco, CA) Google Scholar
• Gusfield D., Irving R. W.The Stable Marriage Problem: Structure and Algorithms (1989) (The MIT Press, Cambridge, MA) Google Scholar
• Ilog SA Ilog Solver 4.4, Reference Manual. (1998) . Ilog SA Gentilly, FranceGoogle Scholar
• Laburthe F., Caseau Y. SALSA: A language for search algorithms. Fourth Internat. Conf. Principles Practice Constraint Programming (CP'98) (1998) Pisa, Italy:310–324Crossref, Google Scholar
• McAloon K., Tretkoff C., Wetzel G. Sport league scheduling. Proc. Third Ilog Internat. Users Meeting (1997) Paris, FranceGoogle Scholar
• Michel L., Van Hentenryck P. Localizer++: An open library for local search. (2001) . Technical report CS-01-02, Department of Computer Science, Brown University, Providence, RIGoogle Scholar
• Puget J.-F., Leconte M. Beyond the glass box: Constraints as objects. Proc. Internat. Sympos. Logic Programming (ILPS-95) (1995) Portland, OR:513–527Google Scholar
• Régin J.-C. Sport league scheduling. INFORMS National Meeting (1998) (Montreal, Canada)Google Scholar
• Schulte C. Programming constraint inference engines. Proc. Third Internat. Conf. Principles Practice Constraint Programming (1997) 1330Linz, Austria(Springer-Verlag, Heidelberg, Germany) 519–533Crossref, Google Scholar
• Smolka G., van Leeuwen Jan. The Oz programming model. Computer Science Today (1995) (Springer-Verlag, Berlin, Germany) 324–343LNCS, No. 1000Crossref, Google Scholar
• Van Hentenryck P.The OPL Optimization Programming Language (1999) (MIT Press, Cambridge, MA) Google Scholar
• Van Hentenryck P., Deville Y. The cardinality operator: A new logical connective and its application to constraint logic programming. Eighth Internat. Conf. Logic Programming (ICLP-91) (1991) Paris, France:745–759Google Scholar
• Van Hentenryck P., Michel L., Paulin F., Puget J. F.Modeling Languages For Mathematical Optimization (2003) (Kluwer Academic Publishers, Boston, MA) . Ch. 9. The OPL Studio Modeling SystemGoogle Scholar
• Van Hentenryck P., Michel L., Laborie P., Nuijten W., Rogerie J. Combinatorial optimization in OPL studio. Proc. Ninth Portuguese Conf. Artificial Intelligence Internat. Conf. (EPIA'99) (1999a) Evora, Portugal:1–15Crossref, Google Scholar
• Van Hentenryck P., Michel L., Perron L., Regin J. C. Constraint programming in OPL. Proc. Internat. Conf. Principles Practice Declarative Programming (PPDP'99) (1999b) Paris, France:98–116Crossref, Google Scholar
• Van Hentenryck P., Perron L., Puget J.-F. Search and strategies in OPL. ACM Trans. Comput. Logic (2000) 1:1–36Crossref, Google Scholar