Enabling Research through the SCIP Optimization Suite 8.0-Reference-Cited by-同舟云学术

Enabling Research through the SCIP Optimization Suite 8.0

Published:2023-06-15 Issue:2 Volume:49 Page:1-21
ISSN:0098-3500
Container-title:ACM Transactions on Mathematical Software
language:en
Short-container-title:ACM Trans. Math. Softw.

Author:

Bestuzheva Ksenia¹^ORCID,Besançon Mathieu¹^ORCID,Chen Wei-Kun²^ORCID,Chmiela Antonia¹^ORCID,Donkiewicz Tim³^ORCID,van Doornmalen Jasper⁴^ORCID,Eifler Leon¹^ORCID,Gaul Oliver³^ORCID,Gamrath Gerald⁵^ORCID,Gleixner Ambros⁶^ORCID,Gottwald Leona¹^ORCID,Graczyk Christoph¹^ORCID,Halbig Katrin⁷^ORCID,Hoen Alexander¹^ORCID,Hojny Christopher⁴^ORCID,van der Hulst Rolf⁸^ORCID,Koch Thorsten⁹^ORCID,Lübbecke Marco³^ORCID,Maher Stephen J.¹⁰^ORCID,Matter Frederic¹¹^ORCID,Mühmer Erik³^ORCID,Müller Benjamin¹^ORCID,Pfetsch Marc E.¹¹^ORCID,Rehfeldt Daniel¹²^ORCID,Schlein Steffan³^ORCID,Schlösser Franziska¹^ORCID,Serrano Felipe¹^ORCID,Shinano Yuji¹²^ORCID,Sofranac Boro¹³^ORCID,Turner Mark¹⁴^ORCID,Vigerske Stefan¹⁵^ORCID,Wegscheider Fabian¹^ORCID,Wellner Philipp¹^ORCID,Weninger Dieter⁷^ORCID,Witzig Jakob¹^ORCID

Affiliation:

1. Zuse Institute Berlin, Department AIS2T

2. Beijing Institute of Technology, School of Mathematics and Statistics

3. RWTH Aachen University, Lehrstuhl für Operations Research

4. Eindhoven University of Technology, Department of Mathematics and Computer Science

5. Zuse Institute Berlin, Department AIS2T and I2DAMO GmbH

6. Zuse Institute Berlin, Department AIS2T and HTW Berlin

7. Friedrich-Alexander Universität Erlangen-Nürnberg, Department of Data Science

8. University of Twente, Department of Discrete Mathematics and Mathematical Programming

9. Technische Universität Berlin and Zuse Institute Berlin, Department A2IM

10. University of Exeter, College of Engineering, Mathematics and Physical Sciences

11. Technische Universität Darmstadt, Fachbereich Mathematik

12. Zuse Institute Berlin, Department A2IM

13. Zuse Institute Berlin, Department AIS2T and Technische Universität Berlin

14. Zuse Institute Berlin, Department A2IM and Technische Universität Berlin

15. GAMS Software GmbH, c/o Zuse Institute Berlin, Department AIS2T

Abstract

The SCIP Optimization Suite provides a collection of software packages for mathematical optimization centered around the constraint integer programming framework SCIP . The focus of this article is on the role of the SCIP Optimization Suite in supporting research. SCIP ’s main design principles are discussed, followed by a presentation of the latest performance improvements and developments in version 8.0, which serve both as examples of SCIP ’s application as a research tool and as a platform for further developments. Furthermore, this article gives an overview of interfaces to other programming and modeling languages, new features that expand the possibilities for user interaction with the framework, and the latest developments in several extensions built upon SCIP .

Funder

German Federal Ministry of Education and Research

European Union’s Horizon 2020 research and innovation programme

German Research Foundation (DFG) within the Collaborative Research Center

EXPRESS project of the priority program CoSIP

German Research Foundation (DFG) within the project HPO-NAVI

Publisher

Association for Computing Machinery (ACM)

Subject

Applied Mathematics,Software

Link

https://dl.acm.org/doi/pdf/10.1145/3585516

Reference73 articles.

1. T. Achterberg. 2007. Constraint Integer Programming. Dissertation. Technische Universität Berlin.

2. SCIP: solving constraint integer programs

3. Presolve Reductions in Mixed Integer Programming

4. A Tight Linearization and an Algorithm for Zero-One Quadratic Programming Problems

5. Linearization Strategies for a Class of Zero-One Mixed Integer Programming Problems

Cited by 8 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Cutting Plane Approaches for the Robust Kidney Exchange Problem;Computers & Operations Research;2024-02

2. Optimal Power Flow Management for a Solar PV-Powered Soldier-Level Pico-Grid;Energies;2024-01-17

3. A Decision Support System for off-gas and steam optimal management in integrated steelworks;2023 12th International Conference on Control, Automation and Information Sciences (ICCAIS);2023-11-27

4. The Branch-and-Bound Algorithm in Optimizing Mathematical Programming Models to Achieve Power Grid Observability;Axioms;2023-11-08

5. A computational study of perspective cuts;Mathematical Programming Computation;2023-08-21