Solving mixed integer linear and nonlinear problems using the SCIP Optimization Suite

This paper introduces the SCIP Optimization Suite and discusses the capabilities of its three components: the modeling language Zimpl, the linear programming solver SoPlex, and the constraint integer programming framework SCIP. We explain how these can be used in concert to model and solve challenging mixed integer linear and nonlinear optimization problems. SCIP is currently one of the fastest non-commercial MIP and MINLP solvers. We demonstrate the usage of Zimpl, SCIP, and SoPlex by selected examples, we give an overview of available interfaces, and outline plans for future development.

[1]  Timo Berthold,et al.  Extending a CIP framework to solve MIQCPs , 2012 .

[2]  Tallys H. Yunes,et al.  SIMPL: A System for Integrating Optimization Techniques , 2004, CPAIOR.

[3]  Barry O'Sullivan,et al.  Constraint Programming and Combinatorial Optimisation in Numberjack , 2010, CPAIOR.

[4]  im Fach Mathematik , .

[5]  M. Jünger,et al.  50 Years of Integer Programming 1958-2008 - From the Early Years to the State-of-the-Art , 2010 .

[6]  Michael Jünger,et al.  SCIL - Symbolic Constraints in Integer Linear Programming , 2002, ESA.

[7]  Alexander Bockmayr,et al.  Solving Assembly Line Balancing Problems by Combining IP and CP , 2001, ArXiv.

[8]  Andrea Lodi,et al.  MIPLIB 2010 , 2011, Math. Program. Comput..

[9]  Ralph E. Gomory,et al.  Outline of an Algorithm for Integer Solutions to Linear Programs and An Algorithm for the Mixed Integer Problem , 2010, 50 Years of Integer Programming.

[10]  J. Meeraus A. Bisschop,et al.  ON THE DEVELOPMENT OF A GENERAL ALGEBRAIC MODELING SYSTEM IN A STRATEGIC PLANNING ENVIRONMENT , 1982 .

[11]  William J. Cook,et al.  Combinatorial optimization , 1997 .

[12]  Alexander Bockmayr,et al.  Branch and Infer: A Unifying Framework for Integer and Finite Domain Constraint Programming , 1998, INFORMS J. Comput..

[13]  William J. Cook,et al.  An Exact Rational Mixed-Integer Programming Solver , 2011, IPCO.

[14]  Roland Wunderling,et al.  Paralleler und objektorientierter Simplex-Algorithmus , 1996 .

[15]  Mark Wallace,et al.  A new approach to integrating mixed integer programming and constraint logicprogramming , 1999, Ann. Oper. Res..

[16]  Brian W. Kernighan,et al.  AMPL: A Modeling Language for Mathematical Programming , 1993 .

[17]  Uwe H. Suhl,et al.  A fast LU update for linear programming , 1993, Ann. Oper. Res..

[18]  George B. Dantzig,et al.  Linear programming and extensions , 1965 .

[19]  Vipul Jain,et al.  Algorithms for Hybrid MILP/CP Models for a Class of Optimization Problems , 2001, INFORMS J. Comput..

[20]  Thorsten Koch,et al.  On the Effects of Minor Changes in Model Formulations , 2008 .

[21]  John A. Tomlin,et al.  Updated triangular factors of the basis to maintain sparsity in the product form simplex method , 1972, Math. Program..

[22]  Pascal Van Hentenryck,et al.  The Comet Programming Language and System , 2005, CP.

[23]  Thorsten Koch,et al.  Could we use a million cores to solve an integer program? , 2012, Mathematical Methods of Operations Research.

[24]  Endre Boros,et al.  Pseudo-Boolean optimization , 2002, Discret. Appl. Math..

[25]  Thorsten Koch,et al.  ParaSCIP: A Parallel Extension of SCIP , 2010, CHPC.

[26]  Philippe Refalo.  Tight Cooperation and Its Application in Piecewise Linear Optimization , 1999, CP.

[27]  Christian Timpe,et al.  Solving planning and scheduling problems with combined integer and constraint programming , 2002, OR Spectr..

[28]  Daniel E. Steffy,et al.  Konrad-zuse-zentrum F ¨ Ur Informationstechnik Berlin Improving the Accuracy of Linear Programming Solvers with Iterative Refinement Improving the Accuracy of Linear Programming Solvers with Iterative Refinement * , 2022 .

[29]  A. Schrijver.  A Course in Combinatorial Optimization , 1990 .

[30]  A. Land,et al.  An Automatic Method for Solving Discrete Programming Problems , 1960, 50 Years of Integer Programming.

[31]  Tobias Achterberg,et al.  Constraint integer programming , 2007 .

[32]  Michael R. Bussieck,et al.  General Algebraic Modeling System (GAMS) , 2004 .

[33]  María Auxilio Osorio Lama,et al.  Mixed Logical-linear Programming , 1999, Discret. Appl. Math..