Enabling Research through the SCIP Optimization Suite 8.0

被引：33

作者：

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

共 72 条

[1]

Achterberg T, 2007, DISSERTATION

[2] Presolve Reductions in Mixed Integer Programming [J].

Achterberg, Tobias ;

Bixby, Robert E. ;

Gu, Zonghao ;

Rothberg, Edward ;

Weninger, Dieter .

INFORMS JOURNAL ON COMPUTING, 2020, 32 (02) :473-506

[3] SCIP: solving constraint integer programs [J].

Achterberg, Tobias .

MATHEMATICAL PROGRAMMING COMPUTATION, 2009, 1 (01) :1-41

[4] MIXED-INTEGER BILINEAR-PROGRAMMING PROBLEMS [J].

ADAMS, WP ;

SHERALI, HD .

MATHEMATICAL PROGRAMMING, 1993, 59 (03) :279-305

[5] A TIGHT LINEARIZATION AND AN ALGORITHM FOR ZERO-ONE QUADRATIC-PROGRAMMING PROBLEMS [J].

ADAMS, WP ;

SHERALI, HD .

MANAGEMENT SCIENCE, 1986, 32 (10) :1274-1290

[6] LINEARIZATION STRATEGIES FOR A CLASS OF ZERO-ONE MIXED INTEGER PROGRAMMING-PROBLEMS [J].

ADAMS, WP ;

SHERALI, HD .

OPERATIONS RESEARCH, 1990, 38 (02) :217-226

[7] Further results on an abstract model for branching and its application to mixed integer programming [J].

Anderson, Daniel ;

Le Bodic, Pierre ;

Morgan, Kerri .

MATHEMATICAL PROGRAMMING, 2021, 190 (1-2) :811-841

[8]

Bestuzheva K., 2021, Tech. rep.

[9] On the multisource hyperplanes location problem to fitting set of points [J].

Blanco, Victor ;

Japon, Alberto ;

Ponce, Diego ;

Puerto, Justo .

COMPUTERS & OPERATIONS RESEARCH, 2021, 128

[10]

Bonnet Edouard, 2018, LIPICS, V115, DOI [DOI 10.4230/LIPICS.IPEC.2018.26, 10.4230/LIPIcs.IPEC.2018.26]

← 1 2 3 4 5 6 7 8 →