2023
|
Ksenia Bestuzheva, Ambros Gleixner, Stefan Vigerske |
A Computational Study of Perspective Cuts
|
Mathematical Programming Computation, 2023 (epub ahead of print, preprint available as ZIB-Report 21-07) |
PDF (ZIB-Report)
BibTeX
DOI
|
Ksenia Bestuzheva, Ambros Gleixner, Tobias Achterberg |
Efficient Separation of RLT Cuts for Implicit and Explicit Bilinear Products
|
Integer Programming and Combinatorial Optimization. IPCO 2023., pp. 14-28, Vol.13904, Lecture Notes in Computer Science, 2023 |
BibTeX
DOI
|
Ksenia Bestuzheva, Mathieu Besançon, Wei-Kun Chen, Antonia Chmiela, Tim Donkiewicz, Jasper van Doornmalen, Leon Eifler, Oliver Gaul, Gerald Gamrath, Ambros Gleixner, Leona Gottwald, Christoph Graczyk, Katrin Halbig, Alexander Hoen, Christopher Hojny, Rolf van der Hulst, Thorsten Koch, Marco Lübbecke, Stephen Maher, Frederic Matter, Erik Mühmer, Benjamin Müller, Marc Pfetsch, Daniel Rehfeldt, Steffan Schlein, Franziska Schlösser, Felipe Serrano, Yuji Shinano, Boro Sofranac, Mark Turner, Stefan Vigerske, Fabian Wegscheider, Philipp Wellner, Dieter Weninger, Jakob Witzig |
Enabling Research through the SCIP Optimization Suite 8.0
|
ACM Transactions on Mathematical Software, 49(2), 2023 |
BibTeX
DOI
|
Daniel Rehfeldt, Thorsten Koch, Yuji Shinano |
Faster exact solution of sparse MaxCut and QUBO problems
|
Mathematical Programming Computation, Vol.15, pp. 445-470, 2023 (preprint available as ZIB-Report 22-02) |
PDF (ZIB-Report)
BibTeX
DOI
|
Daniel Rehfeldt, Thorsten Koch |
Implications, Conflicts, and Reductions for Steiner Trees
|
Mathematical Programming, Vol.197, pp. 903-966, 2023 |
BibTeX
DOI
|
Gioni Mexi, Timo Berthold, Ambros Gleixner, Jakob Nordström |
Improving Conflict Analysis in MIP Solvers by Pseudo-Boolean Reasoning
|
Proceedings of 29th International Conference on Principles and Practice of Constraint Programming (CP 2023), 2023 (in press) |
BibTeX
|
Matthias Miltenberger
|
Linear Programming in MILP Solving - A Computational Perspective
|
Doctoral thesis, Technische Universität Berlin, Thorsten Koch, Julian Hall (Advisors), 2023, ISBN: 9783843953238 |
PDF
BibTeX
URN
|
Antonia Chmiela, Gonzalo Muñoz, Felipe Serrano |
Monoidal strengthening and unique lifting in MIQCPs
|
Integer Programming and Combinatorial Optimization. IPCO 2023., pp. 87-99, Vol.13904, Lecture Notes in Computer Science, 2023 (preprint available as ) |
BibTeX
DOI
|
Ambros Gleixner, Leona Gottwald, Alexander Hoen |
PaPILO: A Parallel Presolving Library for Integer and Linear Programming with Multiprecision Support
|
INFORMS Journal on Computing, 2023 (epub ahead of print) |
BibTeX
DOI
|
Leon Eifler, Ambros Gleixner |
Safe and Verified Gomory Mixed Integer Cuts in a Rational MIP Framework
|
SIAM Journal on Optimization, 2023 (under review, preprint available as ZIB-Report 23-09) |
PDF (ZIB-Report)
BibTeX
|
Ksenia Bestuzheva, Helena Völker, Ambros Gleixner |
Strengthening SONC Relaxations with Constraints Derived from Variable Bounds
|
|
PDF
BibTeX
URN
|
Timo Berthold, Gioni Mexi, Domenico Salvagnin |
Using Multiple Reference Vectors and Objective Scaling in the Feasibility Pump
|
EURO Journal on Computational Optimization, Vol.11, 2023 (preprint available as ZIB-Report 22-14) |
PDF (ZIB-Report)
BibTeX
URN
DOI
|
2022
|
Leon Eifler, Ambros Gleixner, Jonad Pulaj |
A Safe Computational Framework for Integer Programming applied to Chvátal's Conjecture
|
ACM Transactions on Mathematical Software, 48(2), 2022 (preprint available as ZIB-Report 21-35) |
PDF (ZIB-Report)
BibTeX
DOI
|
Leon Eifler, Ambros Gleixner |
A computational status update for exact rational mixed integer programming
|
Mathematical Programming, 2022 |
BibTeX
DOI
|
Daniel Rehfeldt, Hannes Hobbie, David Schönheit, Thorsten Koch, Dominik Möst, Ambros Gleixner |
A massively parallel interior-point solver for LPs with generalized arrowhead structure, and applications to energy system models
|
European Journal of Operational Research, 296(1), pp. 60-71, 2022 (preprint available as ZIB-Report 19-41) |
PDF (ZIB-Report)
BibTeX
DOI
|
Boro Šofranac, Ambros Gleixner, Sebastian Pokutta |
Accelerating domain propagation: An efficient GPU-parallel algorithm over sparse matrices
|
Parallel Computing, Vol.109, p. 102874, 2022 |
BibTeX
DOI
|
Boro Šofranac, Ambros Gleixner, Sebastian Pokutta |
An Algorithm-independent Measure of Progress for Linear Constraint Propagation
|
Constraints, Vol.27, pp. 432-455, 2022 |
BibTeX
DOI
|
|
Construction of Mathematical Basis for Realizing Data Rating Service
|
Vol.90, Katsuki Fujisawa, Shizuo Kaji, Toru Ishihara, Masaaki Kondo, Yuji Shinano, Takuji Tanigawa, Naoko Nakayama (Eds.), Institute of Mathematics for Industry, Kyushu University: Graduate School of Mathematics, Kyushu University Motooka 744, Nishi-ku, Fukuoka, 819-0395, JAPAN, 2022 |
BibTeX
|
Mark Turner, Timo Berthold, Mathieu Besançon, Thorsten Koch |
Cutting Plane Selection with Analytic Centers and Multiregression
|
ZIB-Report 22-28 |
PDF
BibTeX
URN
|
Ksenia Bestuzheva, Ambros Gleixner, Tobias Achterberg |
Efficient Separation of RLT Cuts for Implicit and Explicit Bilinear Products
|
2022 |
BibTeX
arXiv
|
Daniel Rehfeldt
|
Faster Algorithms for Steiner Tree and related Problems: From Theory to Practice
|
Operations Research Proceedings 2022, 2022 |
BibTeX
|
Besançon Mathieu, Alejandro Carderera, Sebastian Pokutta |
FrankWolfe.jl: a high-performance and flexible toolbox for Frank-Wolfe algorithms and Conditional Gradients
|
INFORMS Journal on Computing, 34(5), pp. 2383-2865, 2022 |
BibTeX
DOI
|
Ksenia Bestuzheva, Antonia Chmiela, Benjamin Müller, Felipe Serrano, Stefan Vigerske, Fabian Wegscheider |
Global Optimization of Mixed-Integer Nonlinear Programs with SCIP 8.0
|
Mathematical Programming, Series B, 2022 (under review, preprint available as ZIB-Report 23-01) |
PDF (ZIB-Report)
BibTeX
|
Junko Hosada, Stephen Maher, Yuji Shinano, Jonas Christoffer Villumsen |
Location, transshipment and routing: An adaptive transportation network integrating long-haul and local vehicle routing
|
EURO Journal on Transportation and Logistics, Vol.11, 2022 (preprint available as ZIB-Report 21-12) |
PDF (ZIB-Report)
BibTeX
DOI
|
Benjamin Müller, Gonzalo Muñoz, Maxime Gasse, Ambros Gleixner, Andrea Lodi, Felipe Serrano |
On generalized surrogate duality in mixed-integer nonlinear programming
|
Mathematical Programming, 192(1), pp. 89-118, 2022 |
BibTeX
DOI
|
Daniel Rehfeldt, Henriette Franz, Thorsten Koch |
Optimal Connected Subgraphs: Integer Programming Formulations and Polyhedra
|
Networks, 80(3), pp. 314-332, 2022 |
BibTeX
DOI
|
Ksenia Bestuzheva, Ambros Gleixner, Helena Völker |
Strengthening SONC Relaxations with Constraints Derived from Variable Bounds
|
Proceedings of the Hungarian Global Optimization Workshop HUGO 2022, pp. 41-44, 2022 (preprint available as ZIB-Report 22-23) |
PDF (ZIB-Report)
BibTeX
arXiv
|
|
データ格付けサービス実現のための数理基盤の構築
|
Vol.91, Katsuki Fujisawa, Shizuo Kaji, Toru Ishihara, Masaaki Kondo, Yuji Shinano, Takuji Tanigawa, Naoko Nakayama (Eds.), Institute of Mathematics for Industry, Kyushu University: Graduate School of Mathematics, Kyushu University Motooka 744, Nishi-ku, Fukuoka, 819-0395, JAPAN, 2022 |
BibTeX
|
2021
|
Leon Eifler, Ambros Gleixner |
A Computational Status Update for Exact Rational Mixed Integer Programming
|
Integer Programming and Combinatorial Optimization: 22th International Conference, IPCO 2021, 2021 (preprint available as ZIB-Report 21-04) |
PDF (ZIB-Report)
BibTeX
DOI
|
Boro Sofranac, Ambros Gleixner, Sebastian Pokutta |
An Algorithm-Independent Measure of Progress for Linear Constraint Propagation
|
27th International Conference on Principles and Practice of Constraint Programming (CP 2021), pp. 52:1-52:17, Vol.210, Leibniz International Proceedings in Informatics (LIPIcs), 2021 (epub ahead of print) |
BibTeX
DOI
|
Mathieu Besançon, Miguel F. Anjos, Luce Brotcorne |
Complexity of near-optimal robust versions of multilevel optimization problems
|
Optimization Letters, 15(8), pp. 2597-2610, 2021 |
BibTeX
DOI
|
Jakob Witzig, Timo Berthold |
Conflict Analysis for MINLP
|
INFORMS Journal on Computing, 33(2), pp. 421-435, 2021 (preprint available as ZIB-Report 20-20) |
PDF (ZIB-Report)
BibTeX
DOI
|
Christophe Roux, Sebastian Pokutta, Elias Wirth, Thomas Kerdreux |
Efficient Online-Bandit Strategies for Minimax Learning Problems
|
2021 |
BibTeX
|
Gregor Hendel, Daniel Anderson, Pierre Le Bodic, Marc Pfetsch |
Estimating the Size of Branch-And-Bound Trees
|
INFORMS Journal on Computing, 2021 (preprint available as ZIB-Report 20-02) |
PDF (ZIB-Report)
BibTeX
DOI
|
Daniel Rehfeldt, Thorsten Koch |
Implications, conflicts, and reductions for Steiner trees
|
Integer Programming and Combinatorial Optimization: 22th International Conference, IPCO 2021, pp. 473-487, 2021 (preprint available as ZIB-Report 20-28) |
PDF (ZIB-Report)
BibTeX
DOI
|
Elham Ramin, Ksenia Bestuzheva, Carina Gargalo, Danial Ramin, Carina Schneider, Pedram Ramin, Xavier Flores-Alsina, Maj M. Andersen, Krist V. Gernaey |
Incremental design of water symbiosis networks with prior knowledge: The case of an industrial park in Kenya
|
Science of the Total Environment, Vol.751, 2021 |
BibTeX
DOI
|
Jo Devriendt, Ambros Gleixner, Jakob Nordström |
Learn to Relax: Integrating 0-1 Integer Linear Programming with Pseudo-Boolean Conflict-Driven Search
|
Constraints, Vol.26, pp. 26-55, 2021 |
BibTeX
DOI
|
Antonia Chmiela, Elias B. Khalil, Ambros Gleixner, Andrea Lodi, Sebastian Pokutta |
Learning to Schedule Heuristics in Branch and Bound
|
Thirty-fifth Conference on Neural Information Processing Systems, NeurIPS 2021, 2021 |
BibTeX
arXiv
|
Matteo Francobaldi |
Learning to Use Local Cuts
|
Master's thesis, Freie Universität Berlin, Timo Berthold, Ralf Borndörfer, Tim Conrad (Advisors), 2021 |
PDF
BibTeX
|
Ambros Gleixner, Gregor Hendel, Gerald Gamrath, Tobias Achterberg, Michael Bastubbe, Timo Berthold, Philipp M. Christophel, Kati Jarck, Thorsten Koch, Jeff Linderoth, Marco Lübbecke, Hans Mittelmann, Derya Ozyurt, Ted Ralphs, Domenico Salvagnin, Yuji Shinano |
MIPLIB 2017: Data-Driven Compilation of the 6th Mixed-Integer Programming Library
|
Mathematical Programming Computation, 13(3), pp. 443-490, 2021 |
BibTeX
DOI
|
Daniel Rehfeldt, Thorsten Koch |
On the exact solution of prize-collecting Steiner tree problems
|
INFORMS Journal on Computing, 2021 (preprint available as ZIB-Report 20-11) |
PDF (ZIB-Report)
BibTeX
DOI
|
Antonia Chmiela, Gonzalo Muñoz, Felipe Serrano |
On the implementation and strengthening of intersection cuts for QCQPs
|
Integer Programming and Combinatorial Optimization: 22nd International Conference, IPCO 2021, pp. 134-147, Vol.22, 2021 (preprint available as ) |
PDF (ZIB-Report)
BibTeX
DOI
|
Daniel Rehfeldt, Yuji Shinano, Thorsten Koch |
SCIP-Jack: An exact high performance solver for Steiner tree problems in graphs and related problems
|
Modeling, Simulation and Optimization of Complex Processes HPSC 2018, LNCS, 2021 |
BibTeX
DOI
|
Alejandro Carderera, Sebastian Pokutta, Besançon Mathieu |
Simple steps are all you need: Frank-Wolfe and generalized self-concordant functions
|
Thirty-fifth Conference on Neural Information Processing Systems, NeurIPS 2021, 2021 |
BibTeX
|
Ksenia Bestuzheva, Mathieu Besançon, Wei-Kun Chen, Antonia Chmiela, Tim Donkiewicz, Jasper van Doornmalen, Leon Eifler, Oliver Gaul, Gerald Gamrath, Ambros Gleixner, Leona Gottwald, Christoph Graczyk, Katrin Halbig, Alexander Hoen, Christopher Hojny, Rolf van der Hulst, Thorsten Koch, Marco Lübbecke, Stephen J. Maher, Frederic Matter, Erik Mühmer, Benjamin Müller, Marc E. Pfetsch, Daniel Rehfeldt, Steffan Schlein, Franziska Schlösser, Felipe Serrano, Yuji Shinano, Boro Sofranac, Mark Turner, Stefan Vigerske, Fabian Wegscheider, Philipp Wellner, Dieter Weninger, Jakob Witzig |
The SCIP Optimization Suite 8.0
|
ZIB-Report 21-41 |
PDF
BibTeX
URN
|
Ralf Lenz, Felipe Serrano |
Tight Convex Relaxations for the Expansion Planning Problem
|
ZIB-Report 21-05 |
PDF
BibTeX
URN
|
Yuji Shinano
|
UG - Ubiquity Generator Framework v1.0.0beta
|
2021 |
BibTeX
DOI
|
2020
|
Ryohei Yokoyama, Hiroki Kamada, Yuji Shinano, Tetsuya Wakui |
A Hierarchical Optimization Approach to Robust Design of Energy Supply Systems Based on a Mixed-Integer Linear Model
|
Conference, pp. 601-613, International Conference on Efficiency, Cost, Optimization, Simulation and Environmental Impact of Energy Systems, 2020 (in press) |
BibTeX
|
Yahui Sun, Daniel Rehfeldt, Marcus Brazil, Doreen Thomas, Saman Halgamuge |
A Physarum-Inspired Algorithm for Minimum-Cost Relay Node Placement in Wireless Sensor Networks
|
IEEE/ACM Transactions on Networking, 2020 |
BibTeX
DOI
|
Boro Sofranac, Ambros Gleixner, Sebastian Pokutta |
Accelerating Domain Propagation: an Efficient GPU-Parallel Algorithm
over Sparse Matrices
|
2020 IEEE/ACM 10th Workshop on Irregular Applications: Architectures and Algorithms (IA3), pp. 1-11, 2020 |
BibTeX
arXiv
DOI
|
Gerald Gamrath, Timo Berthold, Domenico Salvagnin |
An exploratory computational analysis of dual degeneracy in mixed-integer programming
|
EURO Journal on Computational Optimization, pp. 241-246, 2020 |
BibTeX
DOI
|
Jakob Witzig, Ambros Gleixner |
Conflict-Driven Heuristics for Mixed Integer Programming
|
INFORMS Journal on Computing, 33(2), pp. 706-720, 2020 (preprint available as ZIB-Report 19-08) |
PDF (ZIB-Report)
PDF (ZIB-Report)
BibTeX
DOI
|
Jakob Witzig, Timo Berthold |
Conflict-Free Learning for Mixed Integer Programming
|
Integration of AI and OR Techniques in Constraint Programming. CPAIOR 2020, pp. 521-530, LNCS, 2020 (preprint available as ZIB-Report 19-59) |
PDF (ZIB-Report)
BibTeX
DOI
|
Sebastian Pokutta, Christoph Spiegel, Max Zimmer |
Deep Neural Network Training with Frank-Wolfe
|
2020 |
BibTeX
arXiv
|
Ryohei Yokoyama, Kotaro Takeuchi, Yuji Shinano, Tetsuya Wakui |
Effect of Model Reduction by Time Aggregation in Multiobjective Optimal Design of Energy Supply Systems by a Hierarchical MILP Method
|
Conference, pp. 627-639, International Conference on Efficiency, Cost, Optimization, Simulation and Environmental Impact of Energy Systems, 2020 (in press) |
BibTeX
|
Ambros Gleixner, Nils-Christian Kempke, Thorsten Koch, Daniel Rehfeldt, Svenja Uslu |
First Experiments with Structure-Aware Presolving for a Parallel Interior-Point Method
|
Operations Research Proceedings 2019, pp. 105-111, 2020 (preprint available as ZIB-Report 19-39) |
PDF (ZIB-Report)
BibTeX
DOI
|
Jo Devriendt, Ambros Gleixner, Jakob Nordström |
Learn to Relax: Integrating 0-1 Integer Linear Programming with Pseudo-Boolean Conflict-Driven Search
|
Integration of AI and OR Techniques in Constraint Programming. CPAIOR 2020, pp. xxiv-xxvi, Vol.12296, LNCS, 2020 |
BibTeX
|
Ambros Gleixner, Daniel Steffy |
Linear Programming using Limited-Precision Oracles
|
Mathematical Programming, 183(1-2), pp. 525-554, 2020 (preprint available as ZIB-Report 19-57) |
PDF (ZIB-Report)
BibTeX
DOI
|
勇治 品野 |
MIPLIB と Hans Mittelmann’s benchmarks
|
機関誌「オペレーションズ・リサーチ」, 65(1), pp. 49-56, 2020 (in press) |
BibTeX
|
Yuji Shinano, N. Tateiwa, S. Nakamura, A. Yoshida, M. Yasuda, S. Kaji, K. Fujisawa |
Massive Parallelization for Finding Shortest Lattice Vectors Based on Ubiquity Generator Framework
|
2020 SC20: International Conference for High Performance Computing, Networking, Storage and Analysis (SC), pp. 834-848, 2020 |
BibTeX
DOI
|
Felipe Serrano, Gonzalo Muñoz |
Maximal Quadratic-Free Sets
|
Integer Programming and Combinatorial Optimization: 21th International Conference, IPCO 2020, pp. 307-321, 2020 (preprint available as ZIB-Report 19-56) |
PDF (ZIB-Report)
BibTeX
DOI
|
Benjamin Müller, Gonzalo Muñoz, Maxime Gasse, Ambros Gleixner, Andrea Lodi, Felipe Serrano |
On Generalized Surrogate Duality in Mixed-Integer Nonlinear Programming
|
Integer Programming and Combinatorial Optimization: 21th International Conference, IPCO 2020, pp. 322-337, 2020 (preprint available as ZIB-Report 19-55) |
PDF (ZIB-Report)
BibTeX
DOI
|
Felipe Serrano, Robert Schwarz, Ambros Gleixner |
On the relation between the extended supporting hyperplane algorithm and Kelley’s cutting plane algorithm
|
Journal of Global Optimization, Vol.78, pp. 161-179, 2020 (preprint available as ZIB-Report 19-18) |
PDF (ZIB-Report)
BibTeX
DOI
|
Daniel Rehfeldt, Henriette Franz, Thorsten Koch |
Optimal Connected Subgraphs: Formulations and Algorithms
|
ZIB-Report 20-23 |
PDF
BibTeX
URN
|
Ambros Gleixner, Stephen Maher, Benjamin Müller, João Pedro Pedroso |
Price-and-verify: a new algorithm for recursive circle packing using Dantzig–Wolfe decomposition
|
Annals of Operations Research, 284(2), pp. 527-555, 2020 (preprint available as ZIB-Report 17-07) |
PDF (ZIB-Report)
BibTeX
DOI
|
Combettes Cryille W., Christoph Spiegel, Sebastian Pokutta |
Projection-Free Adaptive Gradients for Large-Scale Optimization
|
2020 |
BibTeX
arXiv
|
Yuji Shinano, Tobias Achterberg, Timo Berthold, Stefan Heinz, Thorsten Koch, Michael Winkler |
Solving Previously Unsolved MIP Instances with ParaSCIP on Supercomputers by using up to 80,000 Cores
|
ZIB-Report 20-16 |
PDF
BibTeX
URN
|
Gerald Gamrath, Daniel Anderson, Ksenia Bestuzheva, Wei-Kun Chen, Leon Eifler, Maxime Gasse, Patrick Gemander, Ambros Gleixner, Leona Gottwald, Katrin Halbig, Gregor Hendel, Christopher Hojny, Thorsten Koch, Pierre Le Bodic, Stephen J. Maher, Frederic Matter, Matthias Miltenberger, Erik Mühmer, Benjamin Müller, Marc Pfetsch, Franziska Schlösser, Felipe Serrano, Yuji Shinano, Christine Tawfik, Stefan Vigerske, Fabian Wegscheider, Dieter Weninger, Jakob Witzig |
The SCIP Optimization Suite 7.0
|
ZIB-Report 20-10 |
PDF
BibTeX
URN
|
Patrick Gemander, Wei-Kun Chen, Dieter Weninger, Leona Gottwald, Ambros Gleixner |
Two-row and two-column mixed-integer presolve using hashing-based pairing methods
|
EURO Journal on Computational Optimization, 8(3-4), pp. 205-240, 2020 |
BibTeX
DOI
|
Yuji Shinano
|
UG - Ubiquity Generator Framework v0.9.1
|
2020 |
BibTeX
DOI
|
Benjamin Müller, Felipe Serrano, Ambros Gleixner |
Using two-dimensional Projections for Stronger Separation and Propagation of Bilinear Terms
|
SIAM Journal on Optimization, 30(2), pp. 1339-1365, 2020 (preprint available as ZIB-Report 19-15) |
PDF
PDF (ZIB-Report)
BibTeX
URN
DOI
|
Hassan Mortagy, Swati Gupta, Sebastian Pokutta |
Walking in the Shadow: A New Perspective on Descent Directions for
Constrained Minimization
|
Proceedings of NeurIPS, 2020 |
BibTeX
arXiv
|
2019
|
Christine Tawfik, Sabine Limbourg |
A Bilevel Model for Network Design and Pricing Based on a Level-of-Service Assessment
|
Transportation Science, 53(6), pp. 1609-1626, 2019 |
BibTeX
DOI
|
Jakob Witzig, Timo Berthold, Stefan Heinz |
A Status Report on Conflict Analysis in Mixed Integer Nonlinear Programming
|
Integration of AI and OR Techniques in Constraint Programming. CPAIOR 2019, pp. 84-94, Vol.11494, LNCS, 2019 (preprint available as ZIB-Report 18-57) |
PDF (ZIB-Report)
BibTeX
DOI
|
Yuji Shinano, Daniel Rehfeldt, Tristan Gally |
An Easy Way to Build Parallel State-of-the-art Combinatorial Optimization Problem Solvers: A Computational Study on Solving Steiner Tree Problems and Mixed Integer Semidefinite Programs by using ug[SCIP-*,*]-libraries
|
Proceedings of the 9th IEEE Workshop Parallel / Distributed Combinatorics and Optimization, pp. 530-541, 2019 (preprint available as ZIB-Report 19-14) |
PDF (ZIB-Report)
BibTeX
DOI
|
Stephen J. Maher, Ted Ralphs, Yuji Shinano |
Assessing the Effectiveness of (Parallel) Branch-and-bound Algorithms
|
ZIB-Report 19-03 |
PDF
BibTeX
URN
|
Thomas Breuer, Michael Bussieck, Frederik Fiand, Karl-Kiên Cao, Hans Christian Gils, Manuel Wetzel, Ambros Gleixner, Thorsten Koch, Daniel Rehfeldt, Dmitry Khabi |
BEAM-ME: Ein interdisziplinärer Beitrag zur Erreichung der Klimaziele
|
OR-News : das Magazin der GOR, pp. 6-8, 2019 |
BibTeX
|
Yuji Shinano, Daniel Rehfeldt, Thorsten Koch |
Building Optimal Steiner Trees on Supercomputers by Using up to 43,000 Cores
|
Integration of Constraint Programming, Artificial Intelligence, and Operations Research. CPAIOR 2019, pp. 529-539, Vol.11494, LNCS, 2019 (preprint available as ZIB-Report 18-58) |
PDF (ZIB-Report)
PDF (ZIB-Report)
BibTeX
DOI
|
Daniel Rehfeldt, Thorsten Koch |
Combining NP-Hard Reduction Techniques and Strong Heuristics in an Exact Algorithm for the Maximum-Weight Connected Subgraph Problem
|
SIAM Journal on Optimization, 29(1), pp. 369-398, 2019 (preprint available as ZIB-Report 17-45) |
PDF (ZIB-Report)
BibTeX
DOI
|
Jakob Witzig, Timo Berthold, Stefan Heinz |
Computational Aspects of Infeasibility Analysis in Mixed Integer Programming
|
ZIB-Report 19-54 |
PDF
PDF
BibTeX
URN
|
Ksenia Bestuzheva, Hassan Hijazi, Carleton Coffrin |
Convex Relaxations for Quadratic On/Off Constraints and Applications to Optimal Transmission Switching
|
INFORMS Journal on Computing, 32(3), pp. 682-696, 2019 |
BibTeX
DOI
|
Jonad Pulaj
|
Cutting planes for families implying Frankl's conjecture
|
Mathematics of Computation, 2019 (epub ahead of print) |
BibTeX
DOI
|
Timo Berthold, Gerald Gamrath, Domenico Salvagnin |
Exploiting Dual Degeneracy in Branching
|
ZIB-Report 19-17 |
PDF
BibTeX
URN
|
Fabian Wegscheider
|
Exploiting Symmetry in Mixed-Integer Nonlinear Programming
|
Master's thesis, Technische Universität Berlin, Benjamin Müller (Advisor), 2019 |
PDF
BibTeX
URN
|
Felipe Serrano
|
Intersection cuts for factorable MINLP
|
A. Lodi, V. Nagarajan (eds), Integer Programming and Combinatorial Optimization: 20th International Conference, IPCO 2019, pp. 385-398, Vol.11480, LNCS, 2019 (preprint available as ZIB-Report 18-59) |
PDF (ZIB-Report)
BibTeX
DOI
|
Ambros Gleixner, Daniel Steffy |
Linear Programming using Limited-Precision Oracles
|
A. Lodi, V. Nagarajan (eds), Integer Programming and Combinatorial Optimization: 20th International Conference, IPCO 2019, pp. 399-412, 2019 |
BibTeX
DOI
|
Timo Berthold, Peter Stuckey, Jakob Witzig |
Local Rapid Learning for Integer Programs
|
Integration of AI and OR Techniques in Constraint Programming. CPAIOR 2019, pp. 67-83, Vol.11494, LNCS, 2019 (preprint available as ZIB-Report 18-56) |
PDF (ZIB-Report)
BibTeX
DOI
|
Ryohei Yokoyama, Yuji Shinano, Yuki Wakayama, Tetsuya Wakui |
Model reduction by time aggregation for optimal design of energy supply systems by an MILP hierarchical branch and bound method
|
Energy, Vol.181, pp. 782-792, 2019 |
BibTeX
DOI
|
Lluis-Miquel Munguia, Geoffrey Oxberry, Deepak Rajan, Yuji Shinano |
Parallel PIPS-SBB: Multi-Level Parallelism For Stochastic Mixed-Integer Programs
|
Computational Optimization and Applications, 2019 (epub ahead of print, preprint available as ZIB-Report 17-58) |
PDF (ZIB-Report)
BibTeX
DOI
|
Tobias Achterberg, Robert E. Bixby, Zonghao Gu, Edward Rothberg, Dieter Weninger |
Presolve Reductions in Mixed Integer Programming
|
INFORMS Journal on Computing, 2019 (epub ahead of print, preprint available as ZIB-Report 16-44) |
PDF (ZIB-Report)
BibTeX
|
Fabio Furini, Emiliano Traversi, Pietro Belotti, Antonio Frangioni, Ambros Gleixner, Nick Gould, Leo Liberti, Andrea Lodi, Ruth Misener, Hans Mittelmann, Nikolaos V. Sahinidis, Stefan Vigerske, Angelika Wiegele |
QPLIB: A Library of Quadratic Programming Instances
|
Mathematical Programming Computation, 11(2), pp. 237-265, 2019 |
BibTeX
DOI
|
Daniel Rehfeldt, Thorsten Koch, Stephen J. Maher |
Reduction Techniques for the Prize-Collecting Steiner Tree Problem and the Maximum-Weight Connected Subgraph Problem
|
Networks, Vol.73, pp. 206-233, 2019 (preprint available as ZIB-Report 16-47) |
PDF (ZIB-Report)
BibTeX
DOI
|
Tobias Weber, Sebastian Sager, Ambros Gleixner |
Solving Quadratic Programs to High Precision using Scaled Iterative Refinement
|
Mathematical Programming Computation, Vol.11, pp. 421-455, 2019 (preprint available as ZIB-Report 18-04) |
PDF (ZIB-Report)
BibTeX
DOI
|
Timo Berthold, Boris Grimm, Markus Reuther, Stanley Schade, Thomas Schlechte |
Strategic Planning of Rolling Stock Rotations for Public Tenders
|
Proceedings of the 8th International Conference on Railway Operations Modelling and Analysis - RailNorrköping 2019, pp. 148-159, Linköping Electronic Conference Proceedings(069), 2019, ISBN: 978-91-7929-992-7 |
PDF
BibTeX
|
Gerald Gamrath, Timo Berthold, Stefan Heinz, Michael Winkler |
Structure-driven fix-and-propagate heuristics for mixed integer programming
|
Mathematical Programming Computation, 11(4), pp. 675-702, 2019 (preprint available as ZIB-Report 17-56) |
PDF (ZIB-Report)
PDF (ZIB-Report)
BibTeX
DOI
|
Gerald Gamrath, Ambros Gleixner, Thorsten Koch, Matthias Miltenberger, Dimitri Kniasew, Dominik Schlögel, Alexander Martin, Dieter Weninger |
Tackling Industrial-Scale Supply Chain Problems by Mixed-Integer Programming
|
Journal of Computational Mathematics, Vol.37, pp. 866-888, 2019 (preprint available as ZIB-Report 16-45) |
PDF (ZIB-Report)
PDF (ZIB-Report)
BibTeX
DOI
|
Felipe Serrano
|
Visible points, the separation problem, and applications to MINLP
|
ZIB-Report 19-38 |
PDF
BibTeX
URN
|
|
alsoMATH - A Database for Mathematical Algorithms and Software
|
Vol.2019, Wolfgang Dalitz (Ed.), Cezary Kaliszyk, 2019 (epub ahead of print) |
BibTeX
DOI
|
勇治 品野, 浩一 藤井 |
使ってみよう線形計画ソルバ
|
機関誌「オペレーションズ・リサーチ」, 64(4), pp. 238-245, 2019 (in press) |
BibTeX
|
2018
|
Jenia Scheizel |
A fast Flow based Heuristic for MIP modelled SCM Problems
|
Master's thesis, Technische Universität Berlin, Thorsten Koch (Advisor), 2018 |
BibTeX
|
Gregor Hendel, Matthias Miltenberger, Jakob Witzig |
Adaptive Algorithmic Behavior for Solving Mixed Integer Programs Using Bandit Algorithms
|
OR 2018: International Conference on Operations Research, Operations Research 2018 Proceedings, 2018 (accepted for publication, preprint available as ZIB-Report 18-36) |
PDF (ZIB-Report)
BibTeX
|
Gregor Hendel
|
Adaptive Large Neighborhood Search for Mixed Integer Programming
|
Mathematical Programming Computation, 2018 (under review, preprint available as ZIB-Report 18-60) |
PDF (ZIB-Report)
BibTeX
|
Satoshi Ito, Yuji Shinano |
Calculation of clinch and elimination numbers for sports leagues with multiple tiebreaking criteria
|
ZIB-Report 18-51 |
PDF
BibTeX
URN
|
Leon Eifler, Ambros Gleixner, Jonad Pulaj |
Chvátal’s Conjecture Holds for Ground Sets of Seven Elements
|
ZIB-Report 18-49 |
PDF
BibTeX
URN
|
Daniel Anderson, Gregor Hendel, Pierre Le Bodic, Jan Merlin Viernickel |
Clairvoyant Restarts in Branch-and-Bound Search Using Online Tree-Size Estimation
|
AAAI-19: Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2018 (accepted for publication, preprint available as ZIB-Report 19-11) |
PDF (ZIB-Report)
BibTeX
|
Pierre Bonami, Ambros Gleixner, Jeff Linderoth, Ruth Misener |
Designing and Implementing Algorithms for Mixed-Integer Nonlinear Optimization (Dagstuhl Seminar 18081)
|
Dagstuhl Reports, 8(2), pp. 64-87, 2018 |
BibTeX
DOI
|
Matthias Miltenberger, Ted Ralphs, Daniel Steffy |
Exploring the Numerics of Branch-and-Cut for Mixed Integer Linear Optimization
|
Operations Research Proceedings 2017, pp. 151-157, 2018 (preprint available as ZIB-Report 17-43) |
PDF (ZIB-Report)
BibTeX
DOI
|
Alexander Georges, Ambros Gleixner, Gorana Gojic, Robert Lion Gottwald, David Haley, Gregor Hendel, Bartlomiej Matejczyk |
Feature-Based Algorithm Selection for Mixed Integer Programming
|
ZIB-Report 18-17 |
PDF
BibTeX
URN
|
Yuji Shinano, Stefan Heinz, Stefan Vigerske, Michael Winkler |
FiberSCIP - A shared memory parallelization of SCIP
|
INFORMS Journal on Computing, 30(1), pp. 11-30, 2018 (preprint available as ZIB-Report 13-55) |
PDF (ZIB-Report)
PDF (ZIB-Report)
PDF (ZIB-Report)
BibTeX
DOI
|
Timo Berthold, Michael Perregaard, Csaba Mészáros |
Four Good Reasons to Use an Interior Point Solver Within a MIP Solver
|
Kliewer N., Ehmke J., Borndörfer R. (eds) Operations Research Proceedings 2017, pp. 159-164, 2018 (preprint available as ZIB-Report 17-42) |
PDF (ZIB-Report)
BibTeX
DOI
|
Gerald Gamrath, Christoph Schubert |
Measuring the impact of branching rules for mixed-integer programming
|
Operations Research Proceedings 2017, pp. 165-170, 2018 (preprint available as ZIB-Report 17-34) |
PDF (ZIB-Report)
BibTeX
DOI
|
Jakob Witzig, Isabel Beckenbach, Leon Eifler, Konstantin Fackeldey, Ambros Gleixner, Andreas Grever, Marcus Weber |
Mixed-Integer Programming for Cycle Detection in Non-reversible Markov Processes
|
Multiscale Modeling and Simulation, 16(1), pp. 248-265, 2018 (preprint available as ZIB-Report 16-39) |
PDF (ZIB-Report)
BibTeX
DOI
|
Ryohei Yokoyama, Yuji Shinano, Yuki Wakayama, Tetsuya Wakui |
Model Reduction by Time Aggregation for Optimal Design of Energy Supply Systems by an MILP Hierarchical Branch and Bound Method
|
Proceedings of the 31st International Conference on Efficiency, Cost, Optimization, Simulation and Environmental Impact of Energy Systems (ECOS 2018), 2018 |
BibTeX
|
Benjamin Müller, Renke Kuhlmann, Stefan Vigerske |
On the performance of NLP solvers within global MINLP solvers
|
Operations Research Proceedings 2017, pp. 633-639, 2018 (preprint available as ZIB-Report 17-35) |
PDF (ZIB-Report)
BibTeX
DOI
|
Ryohei Yokoyama, Yuji Shinano, Yuji Wakayamaa, Tetsuya Wakui |
Optimal Design of a Gas Turbine Cogeneration Plant by a Hierarchical Optimization Method With Parallel Computing
|
ASME Turbo Expo 2018: Turbomachinery Technical Conference and Exposition, Vol.3, 2018 |
BibTeX
|
Christopher Wyczik |
Optimierung von Deployment- und Umgebungs-Integrität durch ein dezentrales Konfigurationsrepository auf Basis einer Blockchain
|
Master's thesis, Technische Universität Berlin, Thorsten Koch, Ralf Borndörfer (Advisors), 2018 |
BibTeX
|
Thomas Breuer, Michael Bussieck, Karl-Kien Cao, Felix Cebulla, Frederik Fiand, Hans Christian Gils, Ambros Gleixner, Dmitry Khabi, Thorsten Koch, Daniel Rehfeldt, Manuel Wetzel |
Optimizing Large-Scale Linear Energy System Problems with Block Diagonal Structure by Using Parallel Interior-Point Methods
|
Operations Research Proceedings 2017, pp. 641-647, 2018 (preprint available as ZIB-Report 17-75) |
PDF (ZIB-Report)
BibTeX
DOI
|
Yuji Shinano, Timo Berthold, Stefan Heinz |
ParaXpress: An Experimental Extension of the FICO Xpress-Optimizer to Solve Hard MIPs on Supercomputers
|
Optimization Methods & Software, 33(3), pp. 530-539, 2018 |
BibTeX
DOI
|
Ted Ralphs, Yuji Shinano, Timo Berthold, Thorsten Koch |
Parallel Solvers for Mixed Integer Linear Optimization
|
Handbook of Parallel Constraint Reasoning, pp. 283-336, Youssef Hamadi (Ed.), Springer Nature, 2018 (preprint available as ZIB-Report 16-74) |
PDF (ZIB-Report)
BibTeX
DOI
|
Timo Berthold, James Farmer, Stefan Heinz, Michael Perregaard |
Parallelization of the FICO Xpress Optimizer
|
Optimization Methods and Software, 33(3), pp. 518-529, 2018 |
BibTeX
DOI
|
Daniel Rehfeldt, Thorsten Koch |
Reduction-based exact solution of prize-collecting Steiner tree problems
|
ZIB-Report 18-55 |
PDF
BibTeX
URN
|
Daniel Rehfeldt, Thorsten Koch |
SCIP-Jack—a solver for STP and variants with parallelization extensions: An update
|
Operations Research Proceedings 2017, pp. 191-196, 2018 (preprint available as ZIB-Report 18-05) |
PDF (ZIB-Report)
BibTeX
|
Stefan Vigerske, Ambros Gleixner |
SCIP: Global Optimization of Mixed-Integer Nonlinear Programs in a Branch-and-Cut Framework
|
Optimization Methods & Software, 33(3), pp. 563-593, 2018 (preprint available as ZIB-Report 16-24) |
PDF (ZIB-Report)
PDF (ZIB-Report)
BibTeX
DOI
|
Wolfgang Dalitz, Hagen Chrapary, Wolfram Sperber |
Software Knowledge Management and swMATH
|
Fachgruppe Didaktik der Mathematik der Universität Paderborn, pp. 401-404, 2018 |
BibTeX
DOI
|
Wolfgang Dalitz, Hagen Chrapary |
Software Products, Software Versions, Archiving of Software, and swMATH
|
Mathematical Software – ICMS 2018, pp. 123-127, 2018 |
BibTeX
DOI
|
Stanley Schade, Thomas Schlechte, Jakob Witzig |
Structure-based Decomposition for Pattern-Detection for Railway Timetables
|
Operations Research Proceedings 2017, pp. 715-721, 2018 (preprint available as ZIB-Report 17-40) |
PDF (ZIB-Report)
BibTeX
DOI
|
Ambros Gleixner, Michael Bastubbe, Leon Eifler, Tristan Gally, Gerald Gamrath, Robert Lion Gottwald, Gregor Hendel, Christopher Hojny, Thorsten Koch, Marco Lübbecke, Stephen J. Maher, Matthias Miltenberger, Benjamin Müller, Marc Pfetsch, Christian Puchert, Daniel Rehfeldt, Franziska Schlösser, Christoph Schubert, Felipe Serrano, Yuji Shinano, Jan Merlin Viernickel, Matthias Walter, Fabian Wegscheider, Jonas T. Witt, Jakob Witzig |
The SCIP Optimization Suite 6.0
|
ZIB-Report 18-26 |
PDF
BibTeX
URN
|
Yuji Shinano
|
The Ubiquity Generator Framework: 7 Years of Progress in Parallelizing Branch-and-Bound
|
Operations Research Proceedings 2017, pp. 143-149, 2018 (preprint available as ZIB-Report 17-60) |
PDF (ZIB-Report)
BibTeX
DOI
|
Stephen J. Maher, Guy Desaulniers, Francois Soumis |
The daily tail assignment problem under operational uncertainty using look-ahead maintenance constraints
|
European Journal of Operational Research, 264(2), pp. 534-547, 2018 (preprint available as ZIB-Report 15-56) |
PDF (ZIB-Report)
BibTeX
DOI
|
Daniel Rehfeldt, Thorsten Koch |
Transformations for the Prize-Collecting Steiner Tree Problem and the Maximum-Weight Connected Subgraph Problem to SAP
|
Journal of Computational Mathematics, 36(3), pp. 459-468, 2018 (preprint available as ZIB-Report 16-36) |
PDF (ZIB-Report)
BibTeX
DOI
|
2017
|
Cheng-Lung Wu, Stephen J. Maher |
Airline scheduling and disruption management
|
L. Budd, S. Ison, eds., Air transportation management: an international perspective, Routledge: New York, pp. 151-167, 2017, ISBN: 9781472451064 |
BibTeX
|
Jakob Witzig
|
Conflict Driven Diving for Mixed Integer Programming
|
ZIB-Report 17-69 |
PDF
BibTeX
URN
|
Jonad Pulaj
|
Cutting Planes for Union-Closed Families
|
Doctoral thesis, Technische Universität Berlin, Martin Grötschel, Ralf Borndörfer (Advisors), 2017 |
BibTeX
|
Andreas Teuchert |
Degeneriertheit im Simplexverfahren
|
Master's thesis, Technische Universität Berlin, Thorsten Koch (Advisor), 2017 |
BibTeX
|
Hagen Chrapary, Wolfgang Dalitz, Winfried Neun, Wolfram Sperber |
Design, Concepts, and State of the Art of the swMATH Service
|
Mathematics in Computer Science, 11(3-4), pp. 469-481, 2017 (preprint available as ZIB-Report 17-11) |
PDF (ZIB-Report)
BibTeX
DOI
|
Robert Lion Gottwald, Stephen J. Maher, Yuji Shinano |
Distributed Domain Propagation
|
16th International Symposium on Experimental Algorithms (SEA 2017), pp. 6:1-6:11, Vol.75, Leibniz International Proceedings in Informatics (LIPIcs), 2017 (preprint available as ZIB-Report 16-71) |
PDF (ZIB-Report)
BibTeX
DOI
|
Jakob Witzig, Timo Berthold, Stefan Heinz |
Experiments with Conflict Analysis in Mixed Integer Programming
|
Integration of AI and OR Techniques in Constraint Programming. CPAIOR 2017, pp. 211-222, Vol.10335, LNCS, 2017 (preprint available as ZIB-Report 16-63) |
PDF (ZIB-Report)
PDF (ZIB-Report)
BibTeX
DOI
|
William Wischlinsky |
Feasibility-based bound tightening via linear programming
|
Bachelor's thesis, Technische Universität Berlin, Thorsten Koch (Advisor), 2017 |
BibTeX
|
Timo Berthold, Gregor Hendel, Thorsten Koch |
From feasibility to improvement to proof: three phases of solving mixed-integer programs
|
Optimization Methods and Software, 33(3), pp. 499-517, 2017 (preprint available as ZIB-Report 16-78) |
PDF (ZIB-Report)
BibTeX
DOI
|
Daniel Rehfeldt, Thorsten Koch |
Generalized preprocessing techniques for Steiner tree and maximum-weight connected subgraph problems
|
ZIB-Report 17-57 |
PDF
BibTeX
URN
|
David E. Bernal, Stefan Vigerske, Francisco Trespalacios, Ignacio E. Grossmann |
Improving the performance of DICOPT in convex MINLP problems using a feasibility pump
|
Optimization Methods and Software, 2017 (revision under review) |
BibTeX
|
Fabio D'Andreagiovanni, Fabian Mett, Antonella Nardin, Jonad Pulaj |
Integrating LP-guided variable fixing with MIP heuristics in the robust design of hybrid wired-wireless FTTx access networks
|
Applied Soft Computing, Vol.61, pp. 1074-1087, 2017 |
BibTeX
DOI
|
Christoph Schubert |
Multi-Level Lookahead Branching
|
Master's thesis, Technische Universität Berlin, Thorsten Koch (Advisor), 2017 |
BibTeX
|
Ryohei Yokoyama, Yuji Shinano, Yuki Wakayama, Tetsuya Wakui |
Multiobjective Optimal Design of a Gas Turbine Cogeneration Plant by a Revised Hierarchical Optimization Method
|
ASME Turbo Expo 2017: Turbomachinery Technical Conference and Exposition, pp. 1-14, Vol.3, 2017 |
BibTeX
DOI
|
Sebastian Schenker, Ingmar Vierhaus, Ralf Borndörfer, Armin Fügenschuh, Martin Skutella |
Optimisation Methods in Sustainable Manufacturing
|
Sustainable Manufacturing, Rainer Stark, Günther Seliger, Jérémy Bonvoisin (Eds.), Springer International Publishing, pp. 239-253, 2017, ISBN: 978-3-319-48514-0 |
BibTeX
DOI
|
Gerald Gamrath, Thorsten Koch, Stephen J. Maher, Daniel Rehfeldt, Yuji Shinano |
SCIP-Jack – A solver for STP and variants with parallelization extensions
|
Mathematical Programming Computation, 9(2), pp. 231-296, 2017 (preprint available as ZIB-Report 16-41) |
PDF (ZIB-Report)
BibTeX
DOI
|
Jesco Humpola, Felipe Serrano |
Sufficient pruning conditions for MINLP in gas network design
|
EURO Journal on Computational Optimization, 5(1-2), pp. 239-261, 2017 (preprint available as ZIB-Report 15-04) |
PDF (ZIB-Report)
BibTeX
DOI
|
Stephen J. Maher, Tobias Fischer, Tristan Gally, Gerald Gamrath, Ambros Gleixner, Robert Lion Gottwald, Gregor Hendel, Thorsten Koch, Marco Lübbecke, Matthias Miltenberger, Benjamin Müller, Marc Pfetsch, Christian Puchert, Daniel Rehfeldt, Sebastian Schenker, Robert Schwarz, Felipe Serrano, Yuji Shinano, Dieter Weninger, Jonas T. Witt, Jakob Witzig |
The SCIP Optimization Suite 4.0
|
ZIB-Report 17-12 |
PDF
PDF
BibTeX
URN
|
Ambros Gleixner, Leon Eifler, Tristan Gally, Gerald Gamrath, Patrick Gemander, Robert Lion Gottwald, Gregor Hendel, Christopher Hojny, Thorsten Koch, Matthias Miltenberger, Benjamin Müller, Marc Pfetsch, Christian Puchert, Daniel Rehfeldt, Franziska Schlösser, Felipe Serrano, Yuji Shinano, Jan Merlin Viernickel, Stefan Vigerske, Dieter Weninger, Jonas T. Witt, Jakob Witzig |
The SCIP Optimization Suite 5.0
|
ZIB-Report 17-61 |
PDF
BibTeX
URN
|
Thorsten Koch
|
The ZIMPL modeling language
|
Optima, Vol.103, pp. 8-9, 2017 |
BibTeX
|
Ambros Gleixner, Timo Berthold, Benjamin Müller, Stefan Weltge |
Three Enhancements for Optimization-Based Bound Tightening
|
Journal of Global Optimization, 67(4), pp. 731-757, 2017 (preprint available as ZIB-Report 15-16) |
PDF (ZIB-Report)
BibTeX
DOI
|
Ingmar Vierhaus, Armin Fügenschuh, Robert Lion Gottwald, Stefan Grösser |
Using white-box nonlinear optimization methods in system dynamics policy improvement
|
System Dynamics Review, 33(2), pp. 138-168, 2017 |
BibTeX
DOI
|
Kevin K. H. Cheung, Ambros Gleixner, Daniel Steffy |
Verifying Integer Programming Results
|
F. Eisenbrand and J. Koenemann, eds., Integer Programming and Combinatorial Optimization: 19th International Conference, IPCO 2017, pp. 148-160, Vol.10328, LNCS, 2017 (preprint available as ZIB-Report 16-58) |
PDF (ZIB-Report)
PDF (ZIB-Report)
BibTeX
DOI
|
Hagen Chrapary, Wolfgang Dalitz, Wolfram Sperber |
swMATH - Challenges, Next Steps, and Outlook
|
CICM-WS-WIP 2016, Workshop and Work in Progress Papers at CICM 2016, Vol.Vol-1785, pp. 107-116, 2017 |
PDF
BibTeX
URN
|
2016
|
Yuji Shinano, Timo Berthold, Stefan Heinz |
A First Implementation of ParaXpress: Combining Internal and External Parallelization to Solve MIPs on Supercomputers
|
Mathematical Software - ICMS 2016, 5th International Conference Berlin, Germany, July 11-14, 2016 Proceedings, pp. 308-316, 2016 |
BibTeX
DOI
|
Sebastian Schenker, Ralf Borndörfer, Martin Skutella |
A novel partitioning of the set of non-dominated points
|
ZIB-Report 16-55 |
PDF
BibTeX
URN
|
Jan Merlin Viernickel |
Abschätzung der Suchbaumgröße und Laufzeit für Branch-and-Bound Algorithmen
|
Bachelor's thesis, Technische Universität Berlin, Thorsten Koch (Advisor), 2016 |
BibTeX
|
Jonad Pulaj
|
Cutting Planes for Families Implying Frankl's Conjecture
|
ZIB-Report 16-51 |
PDF
PDF
BibTeX
URN
|
Ryohei Yokoyama, Ryo Nakamura, Tetsuya Wakui, Yuji Shinano |
Evaluation of Performance Robustness of a Gas Turbine Cogeneration Plant Based on a Mixed-Integer Linear Model
|
ASME Turbo Expo 2016: Turbomachinery Technical Conference and Exposition, pp. 1-9, Vol.3, ASME Turbo Expo 2016: Turbomachinery Technical Conference and Exposition, 2016 |
BibTeX
DOI
|
Robert Lion Gottwald |
Experiments with Concurrency and Heuristics in SCIP
|
Master's thesis, Freie Universität Berlin, Thorsten Koch (Advisor), 2016 |
BibTeX
|
Gregor Hendel
|
Exploiting Solving Phases for Mixed-Integer Programs
|
Operations Research Proceedings 2015, pp. 3-9, 2016 (preprint available as ZIB-Report 15-64) |
PDF (ZIB-Report)
BibTeX
DOI
|
Ansgar Roessig |
Formulations and algorithms for the USCCSP
|
Bachelor's thesis, Technische Universität Berlin, Thorsten Koch (Advisor), 2016 |
BibTeX
|
Ambros Gleixner, Daniel Steffy, Kati Wolter |
Iterative Refinement for Linear Programming
|
INFORMS Journal on Computing, 28(3), pp. 449-464, 2016 (preprint available as ZIB-Report 15-15) |
PDF (ZIB-Report)
BibTeX
DOI
|
Martin Greuel, Thorsten Koch, Peter Paule, Andrew Sommese |
Mathematical Software - ICMS 2016, 5th Int. Conf. Berlin, Germany, July 11-14, 2016, Proceedings
|
Lecture Notes in Computer Science (LNCS), Vol.9725, Springer, 2016, ISBN: 978-3-319-42431-6 |
BibTeX
DOI
|
Karl-Kiên Cao, Ambros Gleixner, Matthias Miltenberger |
Methoden zur Reduktion der Rechenzeit linearer Optimierungsmodelle in der Energiewirtschaft - Eine Performance-Analyse
|
EnInnov 2016: 14. Symposium Energieinnovation 2016, 2016 |
PDF
BibTeX
|
Timo Berthold, James Farmer, Stefan Heinz, Michael Perregaard |
Parallelization of the FICO Xpress-Optimizer
|
Mathematical Software - ICMS 2016, 5th International Conference Berlin, Germany, July 11-14, 2016 Proceedings, pp. 251-258, 2016 |
BibTeX
DOI
|
Ralf Borndörfer, Sebastian Schenker, Martin Skutella, Timo Strunk |
PolySCIP
|
Mathematical Software – ICMS 2016, 5th International Conference, Berlin, Germany, July 11-14, 2016, Proceedings, G.-M. Greuel, Thorsten Koch, Peter Paule, Andrew Sommese (Eds.), pp. 259-264, Vol.9725, Lecture Notes in Computer Science, 2016, ISBN: 978-3-319-42431-6 |
BibTeX
DOI
|
Stephen J. Maher, Matthias Miltenberger, João Pedro Pedroso, Daniel Rehfeldt, Robert Schwarz, Felipe Serrano |
PySCIPOpt: Mathematical Programming in Python with the SCIP Optimization Suite
|
Mathematical Software – ICMS 2016, pp. 301-307, Vol.9725, Lecture Notes in Computer Science, 2016 (preprint available as ZIB-Report 16-64) |
PDF (ZIB-Report)
BibTeX
DOI
|
Yuji Shinano, Tobias Achterberg, Timo Berthold, Stefan Heinz, Thorsten Koch, Michael Winkler |
Solving Open MIP Instances with ParaSCIP on Supercomputers using up to 80,000 Cores
|
Proc. of 30th IEEE International Parallel & Distributed Processing Symposium, 2016 (preprint available as ZIB-Report 15-53) |
PDF (ZIB-Report)
PDF (ZIB-Report)
BibTeX
DOI
|
Stephen J. Maher
|
Solving the integrated airline recovery problem using column-and-row generation
|
Transportation Science, 50(1), pp. 216-239, 2016 |
BibTeX
DOI
|
Gerald Gamrath, Tobias Fischer, Tristan Gally, Ambros Gleixner, Gregor Hendel, Thorsten Koch, Stephen J. Maher, Matthias Miltenberger, Benjamin Müller, Marc Pfetsch, Christian Puchert, Daniel Rehfeldt, Sebastian Schenker, Robert Schwarz, Felipe Serrano, Yuji Shinano, Stefan Vigerske, Dieter Weninger, Michael Winkler, Jonas T. Witt, Jakob Witzig |
The SCIP Optimization Suite 3.2
|
ZIB-Report 15-60 |
PDF
BibTeX
URN
|
Hagen Chrapary, Yue Ren |
The Software Portal swMATH: A State of the Art Report and Next Steps
|
Mathematical Software - ICMS 2016, 5th International Conference Berlin, Germany, July 11-14, 2016 Proceedings, pp. 397-402, 2016 |
BibTeX
DOI
|
Stephen J. Maher, John M. Murray |
The unrooted set covering connected subgraph problem differentiating between HIV envelope sequences
|
European Journal of Operational Research, 248(2), pp. 668-680, 2016 |
BibTeX
DOI
|
Fabio D'Andreagiovanni, Ambros Gleixner |
Towards an accurate solution of wireless network design problems
|
Cerulli R., Fujishige S., Mahjoub A. (eds) Combinatorial Optimization. ISCO 2016, pp. 135-147, 2016 (preprint available as ZIB-Report 16-12) |
PDF (ZIB-Report)
BibTeX
DOI
|
2015
|
Daniel Rehfeldt
|
A Generic Approach to Solving the Steiner Tree Problem and Variants
|
Master's thesis, Technische Universität Berlin, Thorsten Koch (Advisor), 2015 |
PDF
BibTeX
URN
|
Stephen J. Maher
|
A novel passenger recovery approach for the integrated airline recovery problem
|
Computers & Operations Research, Vol.57, pp. 123-137, 2015 |
BibTeX
DOI
|
Gerald Gamrath, Anna Melchiori, Timo Berthold, Ambros Gleixner, Domenico Salvagnin |
Branching on Multi-aggregated Variables
|
Integration of AI and OR Techniques in Constraint Programming. CPAIOR 2015, pp. 141-156, Vol.9075, Lecture Notes in Computer Science, 2015 (preprint available as ZIB-Report 15-10) |
PDF (ZIB-Report)
BibTeX
DOI
|
Gregor Hendel
|
Enhancing MIP Branching Decisions by Using the Sample Variance of Pseudo Costs
|
Integration of AI and OR Techniques in Constraint Programming, pp. 199-214, Vol.9075, Lecture Notes in Computer Science, 2015 (preprint available as ZIB-Report 15-28) |
PDF (ZIB-Report)
BibTeX
DOI
|
Ambros Gleixner
|
Exact and Fast Algorithms for Mixed-Integer Nonlinear Programming
|
Doctoral thesis, Technische Universität Berlin, Martin Grötschel, Thorsten Koch, Andrea Lodi (Advisors), 2015, ISBN: 978-3-8325-4190-3 |
BibTeX
|
Ryohei Yokoyama, Yuji Shinano, Syusuke Taniguchi, Masashi Ohkura, Tetsuya Wakui |
Generation of multiple best solutions in multiobjective optimal design of energy supply systems
|
Proceedings of the 15th International Conference on Power Engineering. ICOPE 2015, 2015 |
BibTeX
DOI
|
Ryohei Yokoyama, Yuji Shinano |
MILP Approaches to Optimal Design and Operation of Distributed Energy Systems
|
Optimization in the Real World, Springer, pp. 157-176, 2015, ISBN: 978-4-431-55419-6 |
BibTeX
DOI
|
Katsuki Fujisawa, Yuji Shinano, Hayato Waki |
Optimization in the Real World
|
Mathematics for Industry (MFI), Vol.13, Springer Tokyo Heidelberg New York Dordrecht London, 2015, ISBN: 978-4-431-55419-6 |
BibTeX
DOI
|
Ryohei Yokoyama, Yuji Shinano, Syusuke Taniguchi, Masashi Ohkura, Tetsuya Wakui |
Optimization of energy supply systems by MILP branch and bound method in consideration of hierarchical relationship between design and operation
|
Energy Conversion and Management, Vol.92, pp. 92-104, 2015 (preprint available as ZIB-Report 14-09) |
PDF (ZIB-Report)
BibTeX
DOI
|
Gerald Gamrath, Thorsten Koch, Alexander Martin, Matthias Miltenberger, Dieter Weninger |
Progress in presolving for mixed integer programming
|
Mathematical Programming Computation, 7(4), pp. 367-398, 2015 (preprint available as ZIB-Report 13-48) |
PDF (ZIB-Report)
BibTeX
DOI
|
Gerald Gamrath, Benjamin Hiller, Jakob Witzig |
Reoptimization Techniques in MIP Solvers
|
pp. 181-192, Vol.9125, Experimental Algorithms, Lecture Notes in Computer Science, 2015, ISBN: 978-3-319-20086-6 (preprint available as ZIB-Report 15-24) |
PDF (ZIB-Report)
BibTeX
DOI
|
Gerald Gamrath, Timo Berthold, Stefan Heinz, Michael Winkler |
Structure-Based Primal Heuristics for Mixed Integer Programming
|
Optimization in the Real World, Springer Japan, pp. 37-53, 2015, ISBN: 978-4-431-55419-6 (preprint available as ZIB-Report 15-26) |
PDF (ZIB-Report)
BibTeX
DOI
|
2014
|
Gregor Hendel
|
Empirical Analysis of Solving Phases in Mixed Integer Programming
|
Master's thesis, Technische Universität Berlin, Thorsten Koch, Timo Berthold (Advisors), 2014 |
PDF
BibTeX
URN
|
Timo Berthold
|
Heuristic algorithms in global MINLP solvers
|
Doctoral thesis, Technische Universität Berlin, Martin Grötschel, Thorsten Koch, Andrea Lodi (Advisors), 2014, ISBN: 978-3-8439-1931-9 |
BibTeX
|
Gerald Gamrath
|
Improving strong branching by domain propagation
|
EURO Journal on Computational Optimization, 2(3), pp. 99-122, 2014 (preprint available as ) |
BibTeX
DOI
|
Jakob Witzig
|
Reoptimization Techniques in MIP Solvers
|
Master's thesis, Technische Universität Berlin, Martin Grötschel, Benjamin Hiller (Advisors), 2014 |
PDF
BibTeX
URN
|
Gerald Gamrath, Thorsten Koch, Daniel Rehfeldt, Yuji Shinano |
SCIP-Jack - A massively parallel STP solver
|
ZIB-Report 14-35 |
PDF
BibTeX
URN
|
Timo Berthold, Gregor Hendel |
Shift-and-Propagate
|
Journal of Heuristics, 21(1), pp. 73-106, 2014 (preprint available as ZIB-Report 13-03) |
PDF (ZIB-Report)
BibTeX
DOI
|
克樹 藤澤, 勇治 品野 |
最適化と計算の今後 ―大規模問題をどこまで解決できるのか?―
|
機関誌「オペレーションズ・リサーチ」, 59(1), pp. 11-19, 2014 (in press) |
BibTeX
|
勇治 品野 |
最適化研究における数値実験を中心とした アプリケーション駆動研究サイクル
|
機関誌「オペレーションズ・リサーチ」, 59(5), pp. 247-253, 2014 (in press) |
BibTeX
|
2013
|
Martin Ballerstein, Dennis Michaels, Stefan Vigerske |
Linear Underestimators for bivariate functions with a fixed convexity behavior
|
ZIB-Report 13-02 |
PDF
PDF
BibTeX
URN
|
Yuji Shinano, Tobias Achterberg, Timo Berthold, Stefan Heinz, Thorsten Koch, Stefan Vigerske, Michael Winkler |
制約整数計画ソルバ SCIP の並列化
|
統計数理, 61(1), pp. 47-78, 2013 (in press) |
BibTeX
|