Modeling with Metaconstraints and Semantic Typing of Variables

References

• Ajili F, Wallace M (2003) Hybrid problem solving in ECLiPSe. Milano M, ed. Constraint and Integer Programming: Toward a Unified Methodology (Springer, New York), 169–201.Google Scholar
• Beale EML, Tomlin JA (1970) Special facilities in a general mathematical programming system for nonconvex problems using ordered sets of variables. Lawrence J, ed. Proc. 5th Internat. Conf. Oper. Res. (Tavistock Publications, London), 447–454.Google Scholar
• Beldiceanu N, Carlsson M, Rampon J-X (2011) Global constraint catalog. Working version of SICS Technical Report 2010-07. Accessed June 9, 2015, http://www.emn.fr/z-info/sdemasse/gccat/.Google Scholar
• Bhargava HK, Kimbrough SO (1993) Model management: An embedded languages approach. Decision Support Systems 10(3):277–299.Crossref, Google Scholar
• Bhargava HK, Kimbrough SO, Krishnan R (1991) Unique names violations, a problem for model integration or you say tomato, I say tomahto. ORSA J. Comput. 3(2):107–120.Link, Google Scholar
• Bhargava HK, Krishnan R, Piela P (1998) On formal semantics and analysis of typed modeling languages: An analysis of ascend. INFORMS J. Comput. 10(2):189–208.Link, Google Scholar
• Bisschop J, Entriken R (1993) AIMMS: The Modeling System (Paragon Decision Technology, Haarlem, Netherlands).Google Scholar
• Bradley GH, Clemence RD (1988) Model integration with a typed executable modeling language. Proc. 21st Hawaii Internat. Conf. System Sci., Vol. III (IEEE Computer Society, Washington, DC), 403–410.Crossref, Google Scholar
• Bray T, Paoli J, Sperberg-McQueen C, Maler E, Yergeau F, eds. (2004) Extensible Markup Language (XML) 1.0 (W3C, Boston). Accessed November 2, 2013, http://www.w3.org/TR/REC-xml/.Google Scholar
• Carlier J, Pinson E (1990) A practical use of Jackson’s preemptive schedule for solving the job-shop problem. Ann. Oper. Res. 26(1–4):269–287.Crossref, Google Scholar
• Dantzig GB (1951) Application of the simplex method to a transportation problem. Koopmans TC, ed. Activity Analysis of Production and Allocation (Wiley, New York), 359–373.Google Scholar
• Euler L (1849) Recherches sur une espèce de carrés magiques, Vol. II. Fuss PH, Fuss N, eds. Commentationes Arithmeticae, Collectae (Academiae Scientiarum Imperialis Petropolitanae, St. Petersburg, Russia), 302–361.Google Scholar
• Fair Isaac Corporation (2009) Xpress Optimizer Reference Manual (FICO, San Jose, CA).Google Scholar
• Fourer R, Gay DM, Kernighan BW (2002) AMPL: A Modeling Language for Mathematical Programming, 2nd ed. (Duxbury Press, Pacific Grove, CA).Google Scholar
• Gecode Team (2006) Gecode: Generic constraint development environment. Accessed November 2, 2013, http://www.gecode.org.Google Scholar
• Genç-Kaya L, Hooker JN (2014) The Hamiltonian circuit polytope. Technical report, Carnegie Mellon University, Pittsburgh.Google Scholar
• Geoffrion AM (1992a) The SML language for structured modeling: Levels 1 and 2. Oper. Res. 40(1):38–57.Link, Google Scholar
• Geoffrion AM (1992b) The SML language for structured modeling: Levels 3 and 4. Oper. Res. 40(1):58–75.Link, Google Scholar
• Heerink K (2012) AIMMS: Tutorial for Professionals (Paragon Decision Technology). Accessed November 2, 2013, http://www.aimms.com/aimms/download/manuals/aimms_tutorial_professional.pdf.Google Scholar
• Heipcke S (2009) Hybrid MIP/CP solving with Xpress-Optimizer and Xpress-Kalis. White paper, FICO Xpress Optimization Suite, Fair Isaac Corporation, San Jose, CA.Google Scholar
• Hooker JN (2005) A search-infer-and-relax framework for integrating solution methods. Barták R, Milano M, eds. Proc. Conf. Integration AI OR Techniques Constraint Programming Combinatorial Optim. Problems (CP-AI-OR), Lecture Notes in Computer Science, Vol. 3709 (Springer-Verlag, Berlin), 314–327.Crossref, Google Scholar
• Hooker JN (2011) Hybrid modeling. Milano M, Van Hentenryck P, eds. Hybrid Optimization—The Ten Years of CPAIOR, Vol. 45. Springer Optimization and Its Applications (Springer, New York), 11–62.Crossref, Google Scholar
• Hooker JN (2012) Integrated Methods for Optimization, 2nd ed. (Springer, New York).Crossref, Google Scholar
• IBM (2009a) IBM ILOG CP Optimizer V2.3 User’s Manual (IBM Corp., New York).Google Scholar
• IBM (2009b) IBM ILOG CPLEX Optimizer User’s Manual (IBM Corp., New York).Google Scholar
• Kennedy A (2010) Types for units-of-measure: Theory and practice. Horváth Z, Plasmeijer R, Zsók V, eds. Third Central Euro. Functional Programming School, Vol. 6299. Lecture Notes in Computer Science (Springer-Verlag, Berlin), 268–305.Crossref, Google Scholar
• Laurière J-L (1978) A language and a program for stating and solving combinatorial problems. Artificial Intelligence 1(10):29–127.Crossref, Google Scholar
• Lopes L, Fourer R (2009) Object oriented modeling of multistage stochastic linear programs. Chinneck JW, Kristjansson B, Saltzman MJ, eds. Operations Research and Cyber-Infrastructure, Operations Research/Computer Science Interfaces Series, Vol. 47.6 (Springer, New York), 21–41.Crossref, Google Scholar
• Marriott KG, Nethercote N, Rafeh R, Stuckey PJ, Garcia De La Banda MJ, Wallace M (2008) The design of the Zinc modelling language. Constraints 13(3):229–267.Crossref, Google Scholar
• McCormick GP (1983) Nonlinear Programming: Theory, Algorithms, and Applications (Wiley Interscience, New York).Google Scholar
• Object Management Group, Inc. (2010) OMG Unified Modeling Language (UML) Superstructure Specification, version 2.3. Accessed November 2, 2013, http://www.uml.org.Google Scholar
• Ruland KS, Rodin EY (1998) Survey of facial results for the traveling salesman polytope. Math. Comput. Modelling 27(8):11–27.Crossref, Google Scholar
• Sabharwal A (2005) SymChaff: A structure-aware satisfiability solver. Proc. 20th National Conf. Artificial Intelligence (AAAI) (AAAI Press, Palo Alto, CA), 467–474.Google Scholar
• Sabharwal A (2009) SymChaff: Exploiting symmetry in a structure-aware satisfiability solver. Constraints 14(4):478–505.Crossref, Google Scholar
• Van Hentenryck P, Carillon J-P (1988) Generality versus specificity: An experience with AI and OR techniques. Proc. 7th National Conf. Artificial Intelligence (AAAI) (AAAI Press, Palo Alto, CA), 660–664.Google Scholar
• Van Hentenryck P, Michel L (2005) Constraint-Based Local Search (MIT Press, Cambridge, MA).Google Scholar
• Van Hentenryck P, Lustig I, Michel L, Puget JF (1999) The OPL Optimization Programming Language (MIT Press, Cambridge, MA).Google Scholar
• Yunes T, Aron ID, Hooker JN (2010) An integrated solver for optimization problems. Oper. Res. 58(2):342–356.Link, Google Scholar