MathOptInterface: A Data Structure for Mathematical Optimization Problems

References

• Agrawal A, Diamond S, Boyd S (2019) Disciplined geometric programming. Optim. Lett. 13(5):961–976.Crossref, Google Scholar
• Agrawal A, Verschueren R, Diamond S, Boyd S (2018) A rewriting system for convex optimization problems. J. Control Decision 5(1):42–60.Crossref, Google Scholar
• Beale EML, Tomlin JA (1970) Special facilities in a general mathematical programming system for non-convex problems using ordered sets of variables. Lawrence J, ed. Proc. 5th Internat. Conf. Oper. Res. (Tavistock Publications, London), 447–454.Google Scholar
• Belov G, Stuckey PJ, Tack G, Wallace M (2016) Improved linearization of constraint programming models. Rueher M, ed. Internat. Conf. Principles Practice Constraint Programming (Springer International Publishing, Cham, Switzerland), 49–65.Google Scholar
• Bezanson J, Edelman A, Karpinski S, Shah VB (2017) Julia: A fresh approach to numerical computing. SIAM Rev. 59(1):65–98.Crossref, Google Scholar
• Borchers B (1999) CSDP, A C library for semidefinite programming. Optim. Methods Software 11(1–4):613–623.Crossref, Google Scholar
• Brand S, Duck GJ, Puchinger J, Stuckey PJ (2008) Flexible, rule-based constraint model linearisation. Hudak P, Warren D, eds. Proc. 10th Internat. Sympos. Practical Aspects Declarative Languages (Springer-Verlag, Berlin), 68–83.Google Scholar
• Brook A, Kendrick D, Meeraus A (1988) GAMS, a user’s guide. ACM Signum Newslett. 23(3–4):10–11.Crossref, Google Scholar
• Bussieck MR, Drud AS, Meeraus A (2003) MINLPLib—A collection of test models for mixed-integer nonlinear programming. INFORMS J. Comput. 15(1):114–119.Link, Google Scholar
• Coey C, Kapelevich L, Vielma JP (2020) Toward practical generic conic optimization. Preprint, submitted May 3, https://arxiv.org/abs/2005.01136.Google Scholar
• Diamond S, Boyd S (2016) CVXPY: A Python-embedded modeling language for convex optimization. J. Machine Learn. Res. 17(1):2909–2913.Google Scholar
• Dirkse SP, Ferris MC (1995) The PATH solver: A nommonotone stabilization scheme for mixed complementarity problems. Optim. Methods Software 5(2):123–156.Crossref, Google Scholar
• Dowson O (2020) MathOptFormat v0.5.0. Accessed August 13, 2021, http://dx.doi.org/10.5281/zenodo.4009743.Google Scholar
• Dunning I, Huchette J, Lubin M (2017) JuMP: A modeling language for mathematical optimization. SIAM Rev. 59(2):295–320.Crossref, Google Scholar
• ECMA International (2017) The JSON Data Interchange Syntax. Technical Report 404, ECMA, Geneva.Google Scholar
• Forrest J, Vigerske S, Ralphs T, Hafer L, jpfasano, Santos HG, Saltzman M, Gassmann H, Kristjansson B, King A (2019) coin-or/Clp: Version 1.17.3. (Software). Accessed August 13, 2021, http://dx.doi.org/10.5281/zenodo.3246629.Google Scholar
• Fourer R (1983) Modeling languages vs. matrix generators for linear programming. ACM Trans. Math. Software 9(2):143–183.Crossref, Google Scholar
• Fourer R, Gay DM, Kernighan BW (1990) A modeling language for mathematical programming. Management Sci. 36(5):519–554.Link, Google Scholar
• Fourer R, Ma J, Martin K (2010) OSiL: An instance language for optimization. Comput. Optim. Appl. 45(1):181–203.Crossref, Google Scholar
• Friberg HA (2016) CBLIB 2014: A benchmark library for conic mixed-integer and continuous optimization. Math. Programming Comput. 8(2):191–214.Crossref, Google Scholar
• Fujisawa K, Kojima M, Nakata K (2002) SDPA (Semidefinite Programming Algorithm) User’s Manual—Version 6.2.0. (Department of Mathematical and Computing Sciences, Tokyo Institute of Technology, Tokyo).Google Scholar
• Gallo G, Longo G, Pallottino S, Nguyen S (1993) Directed hypergraphs and applications. Discrete Appl. Math. 42(2–3):177–201.Crossref, Google Scholar
• Gay D (1997) Hooking your solver to AMPL. Technical Report 93-10, AT&T Bell Laboratories, Murray Hill, NJ.Google Scholar
• Gay D (2005) Writing. nl files. Technical Report SAND2005-7907P, Sandia National Laboratories, Albuquerque, NM.Google Scholar
• Google (2019) Protocol buffers. Accessed August 13, 2021, https://developers.google.com/protocol-buffers.Google Scholar
• Grant M, Boyd S (2014) CVX: MATLAB software for disciplined convex programming, version 2.1. Accessed August 13, 2021, http://cvxr.com/cvx.Google Scholar
• Grant M, Boyd S, Ye Y (2006) Disciplined convex programming. Liberti L, Maculan N, eds. Global Optimization: From Theory to Implementation (Springer, New York), 155–210.Crossref, Google Scholar
• Gurobi Optimization (2019) Gurobi Optimizer Reference Manual 9.0. Accessed August 13, 2021, https://www.gurobi.com/documentation/9.0/refman/index.html.Google Scholar
• Hart WE, Watson JP, Woodruff DL (2011) Pyomo: Modeling and solving mathematical Programs in Python. Math. Programming Comput. 3(3):Article 219.Crossref, Google Scholar
• Hart WE, Laird CD, Watson JP, Woodruff DL, Hackebeil GA, Nicholson BL, Siirola JD (2017) Pyomo—Optimization Modeling in Python, Springer Optimization and Its Applications, Vol. 67 (Springer International Publishing, Cham, Switzerland).Crossref, Google Scholar
• IBM (2019) IBM ILOG CPLEX Optimization Studio V12.10.0 documentation. Accessed August 13, 2021, https://www.ibm.com/support/knowledgecenter/en/SSSA5P_12.10.0/COS_KC_home.html.Google Scholar
• IBM World Trade Corporation (1976) IBM Mathematical Programming System Extended/370 (MPS/370) program reference manual. Technical Report SH19-1095-1, IBM, New York.Google Scholar
• Italiano GF, Nanni U (1989) Online maintenance of minimal directed hypergraphs. Technical Report CUCS-435-89, Department of Computer Science, Columbia University, New York.Google Scholar
• JSON Schema (2019) JSON Schema 2019-09. Accessed August 13, 2021, https://json-schema.org.Google Scholar
• Kröger O (2020) ConstraintSolver.jl. Accessed August 13, 2021, https://github.com/Wikunia/ConstraintSolver.jl.Google Scholar
• Löfberg J (2004) YALMIP: A toolbox for modeling and optimization in MATLAB. IEEE Internat. Conf. Robotics Automation (IEEE Cat. No. 04CH37508) (IEEE, New York).Google Scholar
• Löfberg J (2009) Dualize it: Software for automatic primal and dual conversions of conic programs. Optim. Methods Software 24(3):313–325.Crossref, Google Scholar
• Löhne A (2011) Vector Optimization with Infimum and Supremum (Springer Science & Business Media, New York).Crossref, Google Scholar
• Lubin M, Dunning I (2015) Computing in operations research using Julia. INFORMS J. Comput. 27(2):238–248.Link, Google Scholar
• Makhorin A (2017) GLPK (GNU Linear Programming Kit), version 4.64. Accessed August 13, 2021, http://www.gnu.org/software/glpk/glpk.html.Google Scholar
• Marriott K, Nethercote N, Rafeh R, Stuckey PJ, De La Banda MG, Wallace M (2008) The design of the Zinc modelling language. Constraints 13(3):229–267.Crossref, Google Scholar
• MOSEK ApS (2019) MOSEK Optimization Suite 9.1.9. Accessed August 13, 2021, https://docs.mosek.com/9.1/intro/index.html.Google Scholar
• Nethercote N, Stuckey PJ, Becket R, Brand S, Duck GJ, Tack G (2007) MiniZinc: Toward a standard CP modelling language. Bessière C, ed. Internat. Conf. Principles Practice Constraint Programming (Springer, Berlin), 529–543.Google Scholar
• O’Donoghue B, Chu E, Parikh N, Boyd S (2016) Conic optimization via operator splitting and homogeneous self-dual embedding. J. Optim. Theory Appl. 169(3):1042–1068.Crossref, Google Scholar
• Orchard-Hays W (1984) History of mathematical programming systems. Ann. Hist. Comput. 6(3):296–312.Crossref, Google Scholar
• Preston-Werner T (2020) Semantic versioning 2.0.0. Accessed August 13, 2021, https://semver.org.Google Scholar
• SourceForge (2016) LP file format. Accessed August 13, 2021, http://lpsolve.sourceforge.net/5.5/lp-format.htm.Google Scholar
• Sun D, Toh K-C, Yuan Y, Zhao X-Y (2020) SDPNAL+: A MATLAB software for semidefinite programming with bound constraints (version 1.0). Optim. Methods Software 35(1):87–115.Crossref, Google Scholar
• Udell M, Mohan K, Zeng D, Hong J, Diamond S, Boyd S (2014) Convex optimization in Julia. SC14 Workshop High Performance Tech. Comput. Dynam. Languages (ACM, New York), 18–28.Google Scholar
• Vigerske S (2020) MINLPLib. Accessed August 13, 2021, http://www.minlplib.org.Google Scholar
• Wächter A, Biegler LT (2006) On the implementation of an interior-point filter line-search algorithm for large-scale nonlinear programming. Math. Programming 106(1):25–57.Crossref, Google Scholar
• Zuse Institute Berlin (2018) MIPLIB 2017. Accessed August 13, 2021, http://miplib.zib.de.Google Scholar