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 条

[31] Demonstrating the Benefits of Source-Mask Optimization and Enabling Technologies through Experiment and Simulations
Melville, David
Rosenbluth, Alan E.
Tian, Kehan
Lai, Kafai
Bagheri, Saeed
Tirapu-Azpiroz, Jaione
Meiring, Jason
Halle, Scott
McIntyre, Greg
Faure, Tom
Corliss, Daniel
Krasnoperova, Azalia
Zhuang, Lei
Strenski, Phil
Waechter, Andreas
Ladanyi, Laszlo
Barahona, Francisco
Scarpazza, Daniele
Lee, Jon
Inoue, Tadanobu
Sakamoto, Masaharu
Muta, Hidemasa
Wagner, Alfred
Burr, Geoffrey
Kim, Young
Gallagher, Emily
Hibbs, Mike
Tritchkov, Alexander
Granik, Yuri
Fakhry, Moutaz
Adam, Kostas
Berger, Gabriel
Lam, Michael
Dave, Aasutosh
Cobb, Nick
OPTICAL MICROLITHOGRAPHY XXIII, 2010, 7640
[32] Enabling Online Optimization and Control of Complex Models through Smart Surrogates based on ANNs
Miriyala, Srinivas Soumitri
Pantula, Priyanka Devi
Majumdar, Saptarshi
Mitra, Kishalay
2016 INDIAN CONTROL CONFERENCE (ICC), 2016, : 214 - 221
[33] Enabling large-scale multidisciplinary design optimization through adjoint sensitivity analysis
Joaquim R. R. A. Martins
Graeme J. Kennedy
Structural and Multidisciplinary Optimization, 2021, 64 : 2959 - 2974
[34] Research Ethical Standards in the Context of Optimization Educational Practice Through Research
Lattner, Katrin
Rupprecht, Beatrice
FRUHE BILDUNG, 2021, 10 (03): : 142 - 150
[35] A magnetic-structure research suite
Gorkunov, ÉS
Makhov, VN
Povolotskaya, AM
Tuzankin, SV
Subbotin, YS
Lapidus, BM
RUSSIAN JOURNAL OF NONDESTRUCTIVE TESTING, 1999, 35 (03) : 237 - 241
[36] Enabling student co-curation of digital media through teachers' pedagogical research
Cloonan, Anne
AUSTRALIAN JOURNAL OF LANGUAGE AND LITERACY, 2020, 43 (03): : 214 - 223
[37] Enabling IoT through Gen2 RFID: PHY/MAC Research Opportunities
Solic, Petar
Blazevic, Zoran
Skiljo, Maja
Perkovic, Toni
2018 6TH INTERNATIONAL EURASIP WORKSHOP ON RFID TECHNOLOGY (EURFID), 2018,
[38] Developing practice and staff: Enabling improvement in care delivery through participatory action research
Beringer, Antonia J.
Fletcher, Margaret E.
JOURNAL OF CHILD HEALTH CARE, 2011, 15 (01) : 59 - 70
[39] Enabling student co-curation of digital media through teachers’ pedagogical research
Anne Cloonan
The Australian Journal of Language and Literacy, 2020, 43 (3): : 214 - 223
[40] ENABLING CRISPR-CAS ASSOCIATED RESEARCH THROUGH GUIDE RNA MANUFACTURING SOLUTIONS
Vargas, J. A. Gomez
Sturgeon, M.
Brommel, C.
Kurgan, G.
Schmaljohn, E.
Zhang, H.
Rettig, G.
Jacobi, A.
CYTOTHERAPY, 2024, 26 (06) : S210 - S210

← 1 2 3 4 5 →