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 条

[21] Enabling Service Function Chaining through Routing Optimization in Software Defined Networks
Gushchin, Andrey
Walid, Anwar
Tang, Ao
2015 53RD ANNUAL ALLERTON CONFERENCE ON COMMUNICATION, CONTROL, AND COMPUTING (ALLERTON), 2015, : 573 - 581
[22] Dividing strategies for the optimization of a test suite
Univ of Melbourne, Parkville
Inf Process Lett, 3 (135-141):
[23] Dividing strategies for the optimization of a test suite
Chen, TY
Lau, MF
INFORMATION PROCESSING LETTERS, 1996, 60 (03) : 135 - 141
[24] On the Fly Test Suite Optimization with FuzzyOptimizer
Haider, Aftab Ali
Nadeem, Aamer
Rafiq, Shahzad
2013 11TH INTERNATIONAL CONFERENCE ON FRONTIERS OF INFORMATION TECHNOLOGY (FIT), 2013, : 101 - 106
[25] An augmented reality software suite enabling seamless human robot interaction
Aivaliotis, Sotiris
Lotsaris, Konstantinos
Gkournelos, Christos
Fourtakas, Nikolaos
Koukas, Spyridon
Kousi, Niki
Makris, Sotiris
INTERNATIONAL JOURNAL OF COMPUTER INTEGRATED MANUFACTURING, 2023, 36 (01) : 3 - 29
[26] Virtual Issue on Research in the Center for Enabling New Technologies Through Catalysis (CENTC)
Gruhn, Nadine E.
Goldberg, Karen I.
Brookhart, Maurice
ACS CATALYSIS, 2014, 4 (05): : 1318 - 1319
[27] Enabling interdisciplinary research
不详
NATURE HUMAN BEHAVIOUR, 2017, 1 (12): : 845 - 845
[28] ENABLING RESEARCH EXPERIENCES
Davenport, Matt
CHEMICAL & ENGINEERING NEWS, 2014, 92 (35) : 60 - 61
[29] Enabling interdisciplinary research
Nature Human Behaviour, 2017, 1 : 845 - 845
[30] Enabling large-scale multidisciplinary design optimization through adjoint sensitivity analysis
Martins, Joaquim R. R. A.
Kennedy, Graeme J.
STRUCTURAL AND MULTIDISCIPLINARY OPTIMIZATION, 2021, 64 (05) : 2959 - 2974

← 1 2 3 4 5 →