IDEAS home Printed from https://ideas.repec.org/a/spr/jglopt/v91y2025i2d10.1007_s10898-023-01345-1.html
   My bibliography  Save this article

Global optimization of mixed-integer nonlinear programs with SCIP 8

Author

Listed:
  • Ksenia Bestuzheva

    (Zuse Institute Berlin)

  • Antonia Chmiela

    (Zuse Institute Berlin)

  • Benjamin Müller

    (Zuse Institute Berlin)

  • Felipe Serrano

    (Zuse Institute Berlin)

  • Stefan Vigerske

    (c/o Zuse Institute Berlin)

  • Fabian Wegscheider

    (Zuse Institute Berlin)

Abstract

For over 10 years, the constraint integer programming framework SCIP has been extended by capabilities for the solution of convex and nonconvex mixed-integer nonlinear programs (MINLPs). With the recently published version 8.0, these capabilities have been largely reworked and extended. This paper discusses the motivations for recent changes and provides an overview of features that are particular to MINLP solving in SCIP. Further, difficulties in benchmarking global MINLP solvers are discussed and a comparison with several state-of-the-art global MINLP solvers is provided.

Suggested Citation

  • Ksenia Bestuzheva & Antonia Chmiela & Benjamin Müller & Felipe Serrano & Stefan Vigerske & Fabian Wegscheider, 2025. "Global optimization of mixed-integer nonlinear programs with SCIP 8," Journal of Global Optimization, Springer, vol. 91(2), pages 287-310, February.
    • Handle: RePEc:spr:jglopt:v:91:y:2025:i:2:d:10.1007_s10898-023-01345-1
    DOI: 10.1007/s10898-023-01345-1
    as

    Download full text from publisher

    File URL: http://link.springer.com/10.1007/s10898-023-01345-1
    File Function: Abstract
    Download Restriction: Access to the full text of the articles in this series is restricted.
    File URL: https://libkey.io/10.1007/s10898-023-01345-1?utm_source=ideas
    LibKey link: if access is restricted and if your library uses this service, LibKey will redirect you to where you can use your library subscription to access this item
    ---><---

    As the access to this document is restricted, you may want to search for a different version of it.

    References listed on IDEAS

    as
    1. Arthur F. Veinott, 1967. "The Supporting Hyperplane Method for Unimodal Programming," Operations Research, INFORMS, vol. 15(1), pages 147-152, February.
    2. Pierre Hansen & Brigitte Jaumard & MichèLe Ruiz & Junjie Xiong, 1993. "Global minimization of indefinite quadratic functions subject to box constraints," Naval Research Logistics (NRL), John Wiley & Sons, vol. 40(3), pages 373-392, April.
    3. Marco Locatelli, 2018. "Convex envelopes of bivariate functions through the solution of KKT systems," Journal of Global Optimization, Springer, vol. 72(2), pages 277-303, October.
    4. Ambros M. Gleixner & Timo Berthold & Benjamin Müller & Stefan Weltge, 2017. "Three enhancements for optimization-based bound tightening," Journal of Global Optimization, Springer, vol. 67(4), pages 731-757, April.
    5. Laurence Smith & John Chinneck & Victor Aitken, 2013. "Improved constraint consensus methods for seeking feasibility in nonlinear programs," Computational Optimization and Applications, Springer, vol. 54(3), pages 555-578, April.
    Full references (including those not matched with items on IDEAS)

    Most related items

    These are the items that most often cite the same works as this one and are cited by the same works as this one.
    1. Huiyi Cao & Kamil A. Khan, 2023. "General convex relaxations of implicit functions and inverse functions," Journal of Global Optimization, Springer, vol. 86(3), pages 545-572, July.
    2. Artur M. Schweidtmann & Alexander Mitsos, 2019. "Deterministic Global Optimization with Artificial Neural Networks Embedded," Journal of Optimization Theory and Applications, Springer, vol. 180(3), pages 925-948, March.
    3. Ville-Pekka Eronen & Jan Kronqvist & Tapio Westerlund & Marko M. Mäkelä & Napsu Karmitsa, 2017. "Method for solving generalized convex nonsmooth mixed-integer nonlinear programming problems," Journal of Global Optimization, Springer, vol. 69(2), pages 443-459, October.
    4. Samuel Burer & Dieter Vandenbussche, 2009. "Globally solving box-constrained nonconvex quadratic programs with semidefinite-based finite branch-and-bound," Computational Optimization and Applications, Springer, vol. 43(2), pages 181-195, June.
    5. Daniel Dörfler, 2022. "On the Approximation of Unbounded Convex Sets by Polyhedra," Journal of Optimization Theory and Applications, Springer, vol. 194(1), pages 265-287, July.
    6. Frederic H. Murphy, 1972. "Row Dropping Procedures for Cutting Plane Algorithms," Discussion Papers 16, Northwestern University, Center for Mathematical Studies in Economics and Management Science.
    7. Zhou, Yang & Ahn, Soyoung & Wang, Meng & Hoogendoorn, Serge, 2020. "Stabilizing mixed vehicular platoons with connected automated vehicles: An H-infinity approach," Transportation Research Part B: Methodological, Elsevier, vol. 132(C), pages 152-170.
    8. Wim Ackooij & Welington Oliveira, 2014. "Level bundle methods for constrained convex optimization with various oracles," Computational Optimization and Applications, Springer, vol. 57(3), pages 555-597, April.
    9. Daniel Dörfler & Andreas Löhne, 2024. "Polyhedral Approximation of Spectrahedral Shadows via Homogenization," Journal of Optimization Theory and Applications, Springer, vol. 200(2), pages 874-890, February.
    10. G. Liuzzi & M. Locatelli & V. Piccialli & S. Rass, 2021. "Computing mixed strategies equilibria in presence of switching costs by the solution of nonconvex QP problems," Computational Optimization and Applications, Springer, vol. 79(3), pages 561-599, July.
    11. Pey-Chun Chen & Pierre Hansen & Brigitte Jaumard & Hoang Tuy, 1998. "Solution of the Multisource Weber and Conditional Weber Problems by D.-C. Programming," Operations Research, INFORMS, vol. 46(4), pages 548-562, August.
    12. Wendel Melo & Marcia Fampa & Fernanda Raupp, 2020. "An overview of MINLP algorithms and their implementation in Muriqui Optimizer," Annals of Operations Research, Springer, vol. 286(1), pages 217-241, March.
    13. M. Locatelli, 2024. "A new technique to derive tight convex underestimators (sometimes envelopes)," Computational Optimization and Applications, Springer, vol. 87(2), pages 475-499, March.
    14. Wim Ackooij, 2014. "Decomposition approaches for block-structured chance-constrained programs with application to hydro-thermal unit commitment," Mathematical Methods of Operations Research, Springer;Gesellschaft für Operations Research (GOR);Nederlands Genootschap voor Besliskunde (NGB), vol. 80(3), pages 227-253, December.
    15. Pedro A. Castillo Castillo & Pedro M. Castro & Vladimir Mahalec, 2018. "Global optimization of MIQCPs with dynamic piecewise relaxations," Journal of Global Optimization, Springer, vol. 71(4), pages 691-716, August.
    16. Christian Füllner & Peter Kirst & Hendrik Otto & Steffen Rebennack, 2024. "Feasibility Verification and Upper Bound Computation in Global Minimization Using Approximate Active Index Sets," INFORMS Journal on Computing, INFORMS, vol. 36(6), pages 1737-1756, December.
    17. Dominic Yang & Prasanna Balaprakash & Sven Leyffer, 2022. "Modeling design and control problems involving neural network surrogates," Computational Optimization and Applications, Springer, vol. 83(3), pages 759-800, December.
    18. Thiago Serra, 2020. "Reformulating the disjunctive cut generating linear program," Annals of Operations Research, Springer, vol. 295(1), pages 363-384, December.
    19. Brais González-Rodríguez & Joaquín Ossorio-Castillo & Julio González-Díaz & Ángel M. González-Rueda & David R. Penas & Diego Rodríguez-Martínez, 2023. "Computational advances in polynomial optimization: RAPOSa, a freely available global solver," Journal of Global Optimization, Springer, vol. 85(3), pages 541-568, March.
    20. Wei Xia & Juan C. Vera & Luis F. Zuluaga, 2020. "Globally Solving Nonconvex Quadratic Programs via Linear Integer Programming Techniques," INFORMS Journal on Computing, INFORMS, vol. 32(1), pages 40-56, January.

    Corrections

    All material on this site has been provided by the respective publishers and authors. You can help correct errors and omissions. When requesting a correction, please mention this item's handle: RePEc:spr:jglopt:v:91:y:2025:i:2:d:10.1007_s10898-023-01345-1. See general information about how to correct material in RePEc.

    If you have authored this item and are not yet registered with RePEc, we encourage you to do it here. This allows to link your profile to this item. It also allows you to accept potential citations to this item that we are uncertain about.

    If CitEc recognized a bibliographic reference but did not link an item in RePEc to it, you can help with this form .

    If you know of missing items citing this one, you can help us creating those links by adding the relevant references in the same way as above, for each refering item. If you are a registered author of this item, you may also want to check the "citations" tab in your RePEc Author Service profile, as there may be some citations waiting for confirmation.

    For technical questions regarding this item, or to correct its authors, title, abstract, bibliographic or download information, contact: Sonal Shukla or Springer Nature Abstracting and Indexing (email available below). General contact details of provider: http://www.springer.com .

    Please note that corrections may take a couple of weeks to filter through the various RePEc services.

    IDEAS is a RePEc service. RePEc uses bibliographic data supplied by the respective publishers.