Enabling Research through the SCIP Optimization Suite 8.0

被引：24

作者：

Bestuzheva, Ksenia ^{[1
]}

Besancon, Mathieu ^{[1
]}

Chen, Wei-Kun ^{[2
]}

Chmiela, Antonia ^{[1
]}

Donkiewicz, Tim ^{[3
]}

Van Doornmalen, Jasper ^{[4
]}

Eifler, Leon ^{[1
]}

Gaul, Oliver ^{[3
]}

Gamrath, Gerald ^{[5
]}

Gleixner, Ambros ^{[1
]}

Gottwald, Leona ^{[1
]}

Graczyk, Christoph ^{[1
]}

Halbig, Katrin ^{[6
]}

Hoen, Alexander ^{[1
]}

Hojny, Christopher ^{[4
]}

Van Der Hulst, Rolf ^{[7
]}

Koch, Thorsten ^{[8
,9
]}

Luebbecke, Marco ^{[3
]}

Maher, Stephen J. ^{[10
]}

Matter, Frederic ^{[11
]}

Muehmer, Erik ^{[3
]}

Mueller, Benjamin ^{[1
]}

Pfetsch, Marc E. ^{[11
]}

Rehfeldt, Daniel ^{[12
]}

Schlein, Steffan ^{[3
]}

Schloesser, Franziska ^{[1
]}

Serrano, Felipe ^{[1
]}

Shinano, Yuji ^{[12
]}

Sofranac, Boro ^{[1
,13
]}

Turner, Mark ^{[8
,9
]}

Vigerske, Stefan ^{[14
]}

Wegscheider, Fabian ^{[1
]}

Wellner, Philipp ^{[1
]}

Weninger, Dieter ^{[6
]}

Witzig, Jakob ^{[1
]}

机构：

[1] Zuse Inst Berlin, Dept AIS2T, Takustr 7, D-14195 Berlin, Germany

[2] Beijing Inst Technol, Sch Math & Stat, 5 Zhongguancun South St, Beijing 100081, Peoples R China

[3] Rhein Westfal TH Aachen, Lehrstuhl Operat Res, Kackertstr 7, D-52072 Aachen, Germany

[4] Eindhoven Univ Technol, Dept Math & Comp Sci, POB 513, NL-5600 MB Eindhoven, Netherlands

[5] Zuse Inst Berlin, Dept ZIB AIS2T & I2DAMO GmbH, Englerallee 19, D-14195 Berlin, Germany

[6] Friedrich Alexander Univ Erlangen Nurnberg, Dept Data Sci, Cauerstr 11, D-91058 Erlangen, Germany

[7] Univ Twente, Dept Discrete Math & Math Programming, POB 217, NL-7500 AE Enschede, Netherlands

[8] Tech Univ Berlin, Chair Software & Algorithms Discrete Optimizat, Str 17 Juni 135, D-10623 Berlin, Germany

[9] ZIB, Dept A2IM, Takustr 7, D-14195 Berlin, Germany

[10] Univ Exeter, Coll Engn Math & Phys Sci, Harrison Bldg,Streatham Campus,N Pk Rd, Exeter EX4 4QF, England

[11] Tech Univ Darmstadt, Fachbereich Math, Dolivostr 15, D-64293 Darmstadt, Germany

[12] Zuse Inst Berlin, Dept A2IM, Takustr 7, D-14195 Berlin, Germany

[13] Tech Univ Berlin, Berlin, Germany

[14] Zuse Inst Berlin, GAMS Software GmbH, Dept AIS2T, Takustr 7, D-14195 Berlin, Germany

来源：

ACM TRANSACTIONS ON MATHEMATICAL SOFTWARE | 2023年 / 49卷 / 02期

关键词：

Constraint integer programming; linear programming; mixed-integer linear programming; mixed-integer nonlinear programming; optimization solver; branch-and-cut; branch-and-price; column generation; parallelization; mixed-integer semidefinite programming; INTEGER; PARALLELIZATION; DECOMPOSITION; LINEARIZATION; FRAMEWORK; ALGORITHM;

D O I：

10.1145/3585516

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

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.

引用

页数：21

共 50 条

[41] Open Source Netphony Suite: Enabling Multi-layer Network Programmability
Lopez, V.
Jimenez, R.
Gonzalez de Dios, O.
Contreras, L. M.
Fernandez Palacios, J. P.
2017 INTERNATIONAL CONFERENCE ON OPTICAL NETWORK DESIGN AND MODELING (ONDM), 2017,
[42] Enabling New Flexibility in the SUNDIALS Suite of Nonlinear and Differential/Algebraic Equation Solvers
Gardner, David J.
Reynolds, Daniel R.
Woodward, Carol S.
Balos, Cody J.
ACM TRANSACTIONS ON MATHEMATICAL SOFTWARE, 2022, 48 (03):
[43] Research on sewage discharge effect simulation in Cao Fei-dian SCIP
Yu, Hang
Bai, Jing-feng
Wang, Xin-hai
ENVIRONMENTAL ENGINEERING, PTS 1-4, 2014, 864-867 : 1411 - 1414
[44] Expert EAF suite for process control optimization
Pavlicevic, M
Guastini, F
Goiak, M
Drius, F
85TH STEELMAKING CONFERENCE PROCEEDINGS, 2002, 85 : 541 - 552
[45] Optimization of peritoneal dialysis services through research activities
Tan, Si-Yen
PERITONEAL DIALYSIS INTERNATIONAL, 2008, 28 : S49 - S52
[46] Resource-Aware Test Suite Optimization
Zhang, Xiaofang
Shan, Huamao
Qian, Ju
2009 NINTH INTERNATIONAL CONFERENCE ON QUALITY SOFTWARE (QSIC 2009), 2009, : 341 - +
[47] Energy-Directed Test Suite Optimization
Li, Ding
Sahin, Cagri
Clause, James
Halfond, William G. J.
2013 2ND INTERNATIONAL WORKSHOP ON GREEN AND SUSTAINABLE SOFTWARE (GREENS), 2013, : 62 - 69
[48] Safe Regression Test Suite Optimization: A Review
Haider, Aftab Ali
Nadeem, Aamer
Akram, Shamaila
2016 INTERNATIONAL CONFERENCE ON OPEN SOURCE SYSTEMS AND TECHNOLOGIES (ICOSST), 2016, : 7 - 12
[49] A Generic Test Suite for Evolutionary Multifidelity Optimization
Wang, Handing
Jin, Yaochu
Doherty, John
IEEE TRANSACTIONS ON EVOLUTIONARY COMPUTATION, 2018, 22 (06) : 836 - 850
[50] Enabling Simulation-Based Optimization Through Machine Learning: A Case Study on Antenna Design
Testolina, Paolo
Lecci, Mattia
Rebato, Mattia
Testolin, Alberto
Gambini, Jonathan
Flamini, Roberto
Mazzucco, Christian
Zorzi, Michele
2019 IEEE GLOBAL COMMUNICATIONS CONFERENCE (GLOBECOM), 2019,

← 1 2 3 4 5 →