A major aim of the Research Campus MODAL is the development and use of mathematical synergies between the individual labs of the network. In this context, the fields of discrete, continuous and stochastic optimization are to be cross-linked to a larger extent. This corresponds to the requirements of everyday practice, where these aspects usually occur simultaneously. The research campus explores relevant application cases and offers the opportunity to jointly develop and transfer approaches, standards, data pools, methods, and software. Industrial partners from various sectors can cooperate more easily than with their direct competitors. A starting point for an integration of this type is the development of methods for the solution of a general class of discrete-stochastic optimization problems. In a first step, we plan to develop methods of general, integer, discrete-stochastic Constraint Programming (CIP) and their linkage to commonly used CIP solvers, in this case the SCIP framework developed at ZIB, in order create a powerful standard tool.

Publications

2024
Certifying MIP-based presolve reductions for 0-1 integer linear programs Proceedings of International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2024 Alexander Hoen, Andy Oertel, Ambros Gleixner, Jakob Nordström BibTeX
MODAL-SynLab
How Many Clues To Give? A Bilevel Formulation For The Minimum Sudoku Clue Problem Operations Research Letters, Vol.54, p. 107105, 2024 (preprint available as ) Gennesaret Tjusila, Mathieu Besançon, Mark Turner, Thorsten Koch BibTeX
DOI
MODAL-SynLab
Probabilistic Lookahead Strong Branching via a Stochastic Abstract Branching Model Proceedings of International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2024 Gioni Mexi, Somayeh Shamsi, Mathieu Besançon, Pierre Bodic BibTeX
MODAL-SynLab
Safe and verified Gomory mixed integer cuts in a rational MIP framework SIAM Journal on Optimization, 2024 Leon Eifler, Ambros Gleixner BibTeX
MODAL-SynLab
The SCIP Optimization Suite 9.0 ZIB-Report 24-02-29 Suresh Bolusani, Mathieu Besançon, Ksenia Bestuzheva, Antonia Chmiela, João Dionísio, Tim Donkiewicz, Jasper van Doornmalen, Leon Eifler, Mohammed Ghannam, Ambros Gleixner, Christoph Graczyk, Katrin Halbig, Ivo Hedtke, Alexander Hoen, Christopher Hojny, Rolf van der Hulst, Dominik Kamp, Thorsten Koch, Kevin Kofler, Jurgen Lentz, Julian Manns, Gioni Mexi, Erik Mühmer, Marc E. Pfetsch, Franziska Schlösser, Felipe Serrano, Yuji Shinano, Mark Turner, Stefan Vigerske, Dieter Weninger, Liding Xu PDF
BibTeX
URN
MODAL-SynLab
2023
A Computational Study of Perspective Cuts Mathematical Programming Computation, Vol.15, pp. 703-731, 2023 (preprint available as ZIB-Report 21-07) Ksenia Bestuzheva, Ambros Gleixner, Stefan Vigerske PDF (ZIB-Report)
BibTeX
DOI
MODAL-SynLab
A computational status update for exact rational mixed integer programming Mathematical Programming, Vol.197, pp. 793-812, 2023 Leon Eifler, Ambros Gleixner BibTeX
DOI
MODAL-SynLab
Combining Precision Boosting with LP Iterative Refinement for Exact Linear Optimization 2023 (under review, preprint available as ZIB-Report 23-26) Leon Eifler, Jules Nicolas-Thouvenin, Ambros Gleixner PDF (ZIB-Report)
BibTeX
MODAL-SynLab
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 Ksenia Bestuzheva, Ambros Gleixner, Tobias Achterberg BibTeX
DOI
MODAL-SynLab
Enabling research through the SCIP optimization suite 8.0 ACM Transactions on Mathematical Software, 49(2), pp. 1-21, 2023 Ksenia Bestuzheva, Mathieu Besançon, Wei-Kun Chen, Antonia Chmiela, Tim Donkiewicz, Jasper Doornmalen, Leon Eifler, Oliver Gaul, Gerald Gamrath, Ambros Gleixner, Leona Gottwald, Christoph Graczyk, Katrin Halbig, Alexander Hoen, Christopher Hojny, Rolf Hulst, Thorsten Koch, Marco Lübbecke, Stephen J. 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 BibTeX
DOI
MODAL-SynLab
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) Daniel Rehfeldt, Thorsten Koch, Yuji Shinano PDF (ZIB-Report)
BibTeX
DOI
MODAL-SynLab
Flexible Differentiable Optimization via Model Transformations INFORMS Journal on Computing, 2023 Mathieu Besançon, Joaquim Dias Garcia, Benoît Legat, Akshay Sharma BibTeX
DOI
MODAL-SynLab
Global Optimization of Mixed-Integer Nonlinear Programs with SCIP 8.0 Journal of Global Optimization, 2023 (epub ahead of print, preprint available as ZIB-Report 23-01) Ksenia Bestuzheva, Antonia Chmiela, Benjamin Müller, Felipe Serrano, Stefan Vigerske, Fabian Wegscheider PDF (ZIB-Report)
BibTeX
DOI
MODAL-SynLab
Hybrid genetic search for dynamic vehicle routing with time windows Proceedings of Conference of the Society for Operations Research in Germany, 2023 Mohammed Ghannam, Ambros Gleixner BibTeX
MODAL-SynLab
Implications, Conflicts, and Reductions for Steiner Trees Mathematical Programming, Vol.197, pp. 903-966, 2023 Daniel Rehfeldt, Thorsten Koch BibTeX
DOI
MODAL-SynLab
Improving Conflict Analysis in MIP Solvers by Pseudo-Boolean Reasoning 29th International Conference on Principles and Practice of Constraint Programming (CP 2023), pp. 27:1-27:19, Vol.280, Leibniz International Proceedings in Informatics (LIPIcs), 2023 Gioni Mexi, Timo Berthold, Ambros Gleixner, Jakob Nordström BibTeX
DOI
MODAL-SynLab
Linear Programming in MILP Solving - A Computational Perspective Doctoral thesis, Technische Universität Berlin, Thorsten Koch, Julian Hall (Advisors), 2023, ISBN: 9783843953238 Matthias Miltenberger PDF
BibTeX
URN
MODAL-SynLab
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 ) Antonia Chmiela, Gonzalo Muñoz, Felipe Serrano BibTeX
DOI
MODAL-SynLab
On the implementation and strengthening of intersection cuts for QCQPs Mathematical Programming B, Vol.197, pp. 549-586, 2023 Antonia Chmiela, Gonzalo Muñoz, Felipe Serrano BibTeX
DOI
MODAL-SynLab
On the state of QUBO solving Operations Research Proceedings 2023, 2023 (accepted for publication) Thorsten Koch, Daniel Rehfeldt, Yuji Shinano BibTeX
MODAL-SynLab
PaPILO: A Parallel Presolving Library for Integer and Linear Programming with Multiprecision Support INFORMS Journal on Computing, 35(6), pp. 1329-1341, 2023 (epub ahead of print) Ambros Gleixner, Leona Gottwald, Alexander Hoen BibTeX
DOI
MODAL-SynLab
PySCIPOpt-ML: Embedding Trained Machine Learning Models into Mixed-Integer Programs Lecture Notes in Computer Science, 2023 (under review, preprint available as ZIB-Report 23-28) Mark Turner, Antonia Chmiela, Thorsten Koch, Michael Winkler PDF (ZIB-Report)
BibTeX
MODAL-SynLab
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) Leon Eifler, Ambros Gleixner PDF (ZIB-Report)
BibTeX
MODAL-SynLab
Scylla: a matrix-free fix-propagate-and-project heuristic for mixed-integer optimization Proceedings of Conference of the Society for Operations Research in Germany, 2023 Gioni Mexi, Mathieu Besançon, Suresh Bolusani, Antonia Chmiela, Alexander Hoen, Ambros Gleixner BibTeX
MODAL-SynLab
Strengthening SONC Relaxations with Constraints Derived from Variable Bounds Ksenia Bestuzheva, Helena Völker, Ambros Gleixner PDF
BibTeX
URN
MODAL-SynLab
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) Timo Berthold, Gioni Mexi, Domenico Salvagnin PDF (ZIB-Report)
BibTeX
URN
DOI
MODAL-SynLab
2022
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) Leon Eifler, Ambros Gleixner, Jonad Pulaj PDF (ZIB-Report)
BibTeX
DOI
MODAL-SynLab
A computational status update for exact rational mixed integer programming Mathematical Programming, 2022 Leon Eifler, Ambros Gleixner BibTeX
DOI
MODAL-SynLab
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) Daniel Rehfeldt, Hannes Hobbie, David Schönheit, Thorsten Koch, Dominik Möst, Ambros Gleixner PDF (ZIB-Report)
BibTeX
DOI
MODAL-SynLab
Accelerating domain propagation: An efficient GPU-parallel algorithm over sparse matrices Parallel Computing, Vol.109, p. 102874, 2022 Boro Šofranac, Ambros Gleixner, Sebastian Pokutta BibTeX
DOI
MODAL-SynLab
An Algorithm-independent Measure of Progress for Linear Constraint Propagation Constraints, Vol.27, pp. 432-455, 2022 Boro Šofranac, Ambros Gleixner, Sebastian Pokutta BibTeX
DOI
MODAL-SynLab
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
MODAL-SynLab
Cutting Plane Selection with Analytic Centers and Multiregression ZIB-Report 22-28 Mark Turner, Timo Berthold, Mathieu Besançon, Thorsten Koch PDF
BibTeX
URN
MODAL-SynLab
Faster Algorithms for Steiner Tree and related Problems: From Theory to Practice Operations Research Proceedings 2022, 2022 Daniel Rehfeldt BibTeX
MODAL-SynLab
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 Besançon Mathieu, Alejandro Carderera, Sebastian Pokutta BibTeX
DOI
MODAL-SynLab
Interrogating the effect of enzyme kinetics on metabolism using differentiable constraint-based models Metabolic Engineering, 2022 St. Elmo Wilken, Mathieu Besançon, Miroslav Kratochvíl, Chilperic Armel Foko Kuate, Christophe Trefois, Wei Gu, Oliver Ebenhöh BibTeX
MODAL-SynLab
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) Junko Hosada, Stephen Maher, Yuji Shinano, Jonas Christoffer Villumsen PDF (ZIB-Report)
BibTeX
DOI
MODAL-SynLab
On generalized surrogate duality in mixed-integer nonlinear programming Mathematical Programming, 192(1), pp. 89-118, 2022 Benjamin Müller, Gonzalo Muñoz, Maxime Gasse, Ambros Gleixner, Andrea Lodi, Felipe Serrano BibTeX
DOI
MODAL-SynLab
Optimal Connected Subgraphs: Integer Programming Formulations and Polyhedra Networks, 80(3), pp. 314-332, 2022 Daniel Rehfeldt, Henriette Franz, Thorsten Koch BibTeX
DOI
MODAL-SynLab
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) Ksenia Bestuzheva, Ambros Gleixner, Helena Völker PDF (ZIB-Report)
BibTeX
arXiv
MODAL-SynLab
The Machine Learning for Combinatorial Optimization Competition (ML4CO): results and insights Proceedings of Conference on Neural Information Processing Systems, 2022 Maxime Gasse, Simon Bowly, Quentin Cappart, Jonas Charfreitag, Laurent Charlin, Didier Chételat, Antonia Chmiela, Justin Dumouchelle, Ambros Gleixner, Aleksandr M. Kazachkov, Elias Khalil, Pawel Lichocki, Andrea Lodi, Miles Lubin, Chris J. Maddison, Morris Christopher, Dimitri J. Papageorgiou, Augustin Parjadis, Sebastian Pokutta, Antoine Prouvost, Lara Scavuzzo, Giulia Zarpellon, Linxin Yang, Sha Lai, Akang Wang, Xiaodong Luo, Xiang Zhou, Haohan Huang, Shengcheng Shao, Yuanming Zhu, Dong Zhang, Tao Quan, Zixuan Cao, Yang Xu, Zhewei Huang, Shuchang Zhou, Chen Binbin, He Minggui, Hao Hao, Zhang Zhiyu, An Zhiwu, Mao Kun BibTeX
MODAL-SynLab
データ格付けサービス実現のための数理基盤の構築 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
MODAL-SynLab
2021
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) Leon Eifler, Ambros Gleixner PDF (ZIB-Report)
BibTeX
DOI
MODAL-SynLab
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) Boro Sofranac, Ambros Gleixner, Sebastian Pokutta BibTeX
DOI
MODAL-SynLab
Complexity of near-optimal robust versions of multilevel optimization problems Optimization Letters, 15(8), pp. 2597-2610, 2021 Mathieu Besançon, Miguel F. Anjos, Luce Brotcorne BibTeX
DOI
MODAL-SynLab
Conflict Analysis for MINLP INFORMS Journal on Computing, 33(2), pp. 421-435, 2021 (preprint available as ZIB-Report 20-20) Jakob Witzig, Timo Berthold PDF (ZIB-Report)
BibTeX
DOI
MODAL-SynLab
Efficient Online-Bandit Strategies for Minimax Learning Problems 2021 Christophe Roux, Sebastian Pokutta, Elias Wirth, Thomas Kerdreux BibTeX
MODAL-SynLab
Estimating the Size of Branch-And-Bound Trees INFORMS Journal on Computing, 2021 (preprint available as ZIB-Report 20-02) Gregor Hendel, Daniel Anderson, Pierre Le Bodic, Marc Pfetsch PDF (ZIB-Report)
BibTeX
DOI
MODAL-SynLab
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) Daniel Rehfeldt, Thorsten Koch PDF (ZIB-Report)
BibTeX
DOI
MODAL-SynLab
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 Elham Ramin, Ksenia Bestuzheva, Carina Gargalo, Danial Ramin, Carina Schneider, Pedram Ramin, Xavier Flores-Alsina, Maj M. Andersen, Krist V. Gernaey BibTeX
DOI
MODAL-SynLab
Learn to Relax: Integrating 0-1 Integer Linear Programming with Pseudo-Boolean Conflict-Driven Search Constraints, Vol.26, pp. 26-55, 2021 Jo Devriendt, Ambros Gleixner, Jakob Nordström BibTeX
DOI
MODAL-SynLab
Learning to Schedule Heuristics in Branch and Bound Thirty-fifth Conference on Neural Information Processing Systems, NeurIPS 2021, 2021 Antonia Chmiela, Elias B. Khalil, Ambros Gleixner, Andrea Lodi, Sebastian Pokutta BibTeX
arXiv
MODAL-SynLab
Learning to Use Local Cuts Master's thesis, Freie Universität Berlin, Timo Berthold, Ralf Borndörfer, Tim Conrad (Advisors), 2021 Matteo Francobaldi PDF
BibTeX
MODAL-SynLab
MIPLIB 2017: Data-Driven Compilation of the 6th Mixed-Integer Programming Library Mathematical Programming Computation, 13(3), pp. 443-490, 2021 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 BibTeX
DOI
MODAL-SynLab
On the exact solution of prize-collecting Steiner tree problems INFORMS Journal on Computing, 2021 (preprint available as ZIB-Report 20-11) Daniel Rehfeldt, Thorsten Koch PDF (ZIB-Report)
BibTeX
DOI
MODAL-SynLab
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 ) Antonia Chmiela, Gonzalo Muñoz, Felipe Serrano PDF (ZIB-Report)
BibTeX
DOI
MODAL-SynLab
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 Daniel Rehfeldt, Yuji Shinano, Thorsten Koch BibTeX
DOI
MODAL-SynLab
Simple steps are all you need: Frank-Wolfe and generalized self-concordant functions Thirty-fifth Conference on Neural Information Processing Systems, NeurIPS 2021, 2021 Alejandro Carderera, Sebastian Pokutta, Besançon Mathieu BibTeX
MODAL-SynLab
The SCIP Optimization Suite 8.0 ZIB-Report 21-41 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 PDF
BibTeX
URN
MODAL-SynLab
Tight Convex Relaxations for the Expansion Planning Problem ZIB-Report 21-05 Ralf Lenz, Felipe Serrano PDF
BibTeX
URN
MODAL-SynLab
UG - Ubiquity Generator Framework v1.0.0beta 2021 Yuji Shinano BibTeX
DOI
MODAL-SynLab
2020
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) Ryohei Yokoyama, Hiroki Kamada, Yuji Shinano, Tetsuya Wakui BibTeX
MODAL-SynLab
A Physarum-Inspired Algorithm for Minimum-Cost Relay Node Placement in Wireless Sensor Networks IEEE/ACM Transactions on Networking, 2020 Yahui Sun, Daniel Rehfeldt, Marcus Brazil, Doreen Thomas, Saman Halgamuge BibTeX
DOI
MODAL-SynLab
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 Boro Sofranac, Ambros Gleixner, Sebastian Pokutta BibTeX
arXiv
DOI
MODAL-SynLab
An exploratory computational analysis of dual degeneracy in mixed-integer programming EURO Journal on Computational Optimization, pp. 241-246, 2020 Gerald Gamrath, Timo Berthold, Domenico Salvagnin BibTeX
DOI
MODAL-SynLab
Conflict-Driven Heuristics for Mixed Integer Programming INFORMS Journal on Computing, 33(2), pp. 706-720, 2020 (preprint available as ZIB-Report 19-08) Jakob Witzig, Ambros Gleixner PDF (ZIB-Report)
PDF (ZIB-Report)
BibTeX
DOI
MODAL-SynLab
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) Jakob Witzig, Timo Berthold PDF (ZIB-Report)
BibTeX
DOI
MODAL-SynLab
Deep Neural Network Training with Frank-Wolfe 2020 Sebastian Pokutta, Christoph Spiegel, Max Zimmer BibTeX
arXiv
MODAL-SynLab
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) Ryohei Yokoyama, Kotaro Takeuchi, Yuji Shinano, Tetsuya Wakui BibTeX
MODAL-SynLab
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) Ambros Gleixner, Nils-Christian Kempke, Thorsten Koch, Daniel Rehfeldt, Svenja Uslu PDF (ZIB-Report)
BibTeX
DOI
MODAL-SynLab
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 Jo Devriendt, Ambros Gleixner, Jakob Nordström BibTeX
MODAL-SynLab
Linear Programming using Limited-Precision Oracles Mathematical Programming, 183(1-2), pp. 525-554, 2020 (preprint available as ZIB-Report 19-57) Ambros Gleixner, Daniel Steffy PDF (ZIB-Report)
BibTeX
DOI
MODAL-SynLab
MIPLIB と Hans Mittelmann’s benchmarks 機関誌「オペレーションズ・リサーチ」, 65(1), pp. 49-56, 2020 (in press) 勇治 品野 BibTeX
MODAL-SynLab
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 Yuji Shinano, N. Tateiwa, S. Nakamura, A. Yoshida, M. Yasuda, S. Kaji, K. Fujisawa BibTeX
DOI
MODAL-SynLab
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) Felipe Serrano, Gonzalo Muñoz PDF (ZIB-Report)
BibTeX
DOI
MODAL-SynLab
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) Benjamin Müller, Gonzalo Muñoz, Maxime Gasse, Ambros Gleixner, Andrea Lodi, Felipe Serrano PDF (ZIB-Report)
BibTeX
DOI
MODAL-SynLab
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) Felipe Serrano, Robert Schwarz, Ambros Gleixner PDF (ZIB-Report)
BibTeX
DOI
MODAL-SynLab
Optimal Connected Subgraphs: Formulations and Algorithms ZIB-Report 20-23 Daniel Rehfeldt, Henriette Franz, Thorsten Koch PDF
BibTeX
URN
MODAL-SynLab
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) Ambros Gleixner, Stephen Maher, Benjamin Müller, João Pedro Pedroso PDF (ZIB-Report)
BibTeX
DOI
MODAL-SynLab
Projection-Free Adaptive Gradients for Large-Scale Optimization 2020 Combettes Cryille W., Christoph Spiegel, Sebastian Pokutta BibTeX
arXiv
MODAL-SynLab
Solving Previously Unsolved MIP Instances with ParaSCIP on Supercomputers by using up to 80,000 Cores ZIB-Report 20-16 Yuji Shinano, Tobias Achterberg, Timo Berthold, Stefan Heinz, Thorsten Koch, Michael Winkler PDF
BibTeX
URN
MODAL-SynLab
The SCIP Optimization Suite 7.0 ZIB-Report 20-10 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 PDF
BibTeX
URN
MODAL-SynLab
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 Patrick Gemander, Wei-Kun Chen, Dieter Weninger, Leona Gottwald, Ambros Gleixner BibTeX
DOI
MODAL-SynLab
UG - Ubiquity Generator Framework v0.9.1 2020 Yuji Shinano BibTeX
DOI
MODAL-SynLab
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) Benjamin Müller, Felipe Serrano, Ambros Gleixner PDF
PDF (ZIB-Report)
BibTeX
URN
DOI
MODAL-SynLab
Walking in the Shadow: A New Perspective on Descent Directions for Constrained Minimization Proceedings of NeurIPS, 2020 Hassan Mortagy, Swati Gupta, Sebastian Pokutta BibTeX
arXiv
MODAL-SynLab
2019
A Bilevel Model for Network Design and Pricing Based on a Level-of-Service Assessment Transportation Science, 53(6), pp. 1609-1626, 2019 Christine Tawfik, Sabine Limbourg BibTeX
DOI
MODAL-SynLab
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) Jakob Witzig, Timo Berthold, Stefan Heinz PDF (ZIB-Report)
BibTeX
DOI
MODAL-SynLab
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) Yuji Shinano, Daniel Rehfeldt, Tristan Gally PDF (ZIB-Report)
BibTeX
DOI
MODAL-SynLab
Assessing the Effectiveness of (Parallel) Branch-and-bound Algorithms ZIB-Report 19-03 Stephen J. Maher, Ted Ralphs, Yuji Shinano PDF
BibTeX
URN
MODAL-SynLab
BEAM-ME: Ein interdisziplinärer Beitrag zur Erreichung der Klimaziele OR-News : das Magazin der GOR, pp. 6-8, 2019 Thomas Breuer, Michael Bussieck, Frederik Fiand, Karl-Kiên Cao, Hans Christian Gils, Manuel Wetzel, Ambros Gleixner, Thorsten Koch, Daniel Rehfeldt, Dmitry Khabi BibTeX
MODAL-SynLab
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) Yuji Shinano, Daniel Rehfeldt, Thorsten Koch PDF (ZIB-Report)
PDF (ZIB-Report)
BibTeX
DOI
MODAL-SynLab
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) Daniel Rehfeldt, Thorsten Koch PDF (ZIB-Report)
BibTeX
DOI
MODAL-SynLab
Computational Aspects of Infeasibility Analysis in Mixed Integer Programming ZIB-Report 19-54 Jakob Witzig, Timo Berthold, Stefan Heinz PDF
PDF
BibTeX
URN
MODAL-SynLab
Convex Relaxations for Quadratic On/Off Constraints and Applications to Optimal Transmission Switching INFORMS Journal on Computing, 32(3), pp. 682-696, 2019 Ksenia Bestuzheva, Hassan Hijazi, Carleton Coffrin BibTeX
DOI
MODAL-SynLab
Cutting planes for families implying Frankl's conjecture Mathematics of Computation, 2019 (epub ahead of print) Jonad Pulaj BibTeX
DOI
MODAL-SynLab
Exploiting Dual Degeneracy in Branching ZIB-Report 19-17 Timo Berthold, Gerald Gamrath, Domenico Salvagnin PDF
BibTeX
URN
MODAL-SynLab
Exploiting Symmetry in Mixed-Integer Nonlinear Programming Master's thesis, Technische Universität Berlin, Benjamin Müller (Advisor), 2019 Fabian Wegscheider PDF
BibTeX
URN
MODAL-SynLab
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) Felipe Serrano PDF (ZIB-Report)
BibTeX
DOI
MODAL-SynLab
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 Ambros Gleixner, Daniel Steffy BibTeX
DOI
MODAL-SynLab
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) Timo Berthold, Peter Stuckey, Jakob Witzig PDF (ZIB-Report)
BibTeX
DOI
MODAL-SynLab
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 Ryohei Yokoyama, Yuji Shinano, Yuki Wakayama, Tetsuya Wakui BibTeX
DOI
MODAL-SynLab
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) Lluis-Miquel Munguia, Geoffrey Oxberry, Deepak Rajan, Yuji Shinano PDF (ZIB-Report)
BibTeX
DOI
MODAL-SynLab
Presolve Reductions in Mixed Integer Programming INFORMS Journal on Computing, 2019 (epub ahead of print, preprint available as ZIB-Report 16-44) Tobias Achterberg, Robert E. Bixby, Zonghao Gu, Edward Rothberg, Dieter Weninger PDF (ZIB-Report)
BibTeX
MODAL-SynLab
QPLIB: A Library of Quadratic Programming Instances Mathematical Programming Computation, 11(2), pp. 237-265, 2019 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 BibTeX
DOI
MODAL-SynLab
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) Daniel Rehfeldt, Thorsten Koch, Stephen J. Maher PDF (ZIB-Report)
BibTeX
DOI
MODAL-SynLab
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) Tobias Weber, Sebastian Sager, Ambros Gleixner PDF (ZIB-Report)
BibTeX
DOI
MODAL-SynLab
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 Timo Berthold, Boris Grimm, Markus Reuther, Stanley Schade, Thomas Schlechte PDF
BibTeX
MODAL-SynLab
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) Gerald Gamrath, Timo Berthold, Stefan Heinz, Michael Winkler PDF (ZIB-Report)
PDF (ZIB-Report)
BibTeX
DOI
MODAL-SynLab
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) Gerald Gamrath, Ambros Gleixner, Thorsten Koch, Matthias Miltenberger, Dimitri Kniasew, Dominik Schlögel, Alexander Martin, Dieter Weninger PDF (ZIB-Report)
PDF (ZIB-Report)
BibTeX
DOI
MODAL-SynLab
Visible points, the separation problem, and applications to MINLP ZIB-Report 19-38 Felipe Serrano PDF
BibTeX
URN
MODAL-SynLab
alsoMATH - A Database for Mathematical Algorithms and Software Vol.2019, Wolfgang Dalitz (Ed.), Cezary Kaliszyk, 2019 (epub ahead of print) BibTeX
DOI
MODAL-SynLab
使ってみよう線形計画ソルバ 機関誌「オペレーションズ・リサーチ」, 64(4), pp. 238-245, 2019 (in press) 勇治 品野, 浩一 藤井 BibTeX
MODAL-SynLab
2018
A fast Flow based Heuristic for MIP modelled SCM Problems Master's thesis, Technische Universität Berlin, Thorsten Koch (Advisor), 2018 Jenia Scheizel BibTeX
MODAL-SynLab
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) Gregor Hendel, Matthias Miltenberger, Jakob Witzig PDF (ZIB-Report)
BibTeX
MODAL-SynLab
Adaptive Large Neighborhood Search for Mixed Integer Programming Mathematical Programming Computation, 2018 (under review, preprint available as ZIB-Report 18-60) Gregor Hendel PDF (ZIB-Report)
BibTeX
MODAL-SynLab
Calculation of clinch and elimination numbers for sports leagues with multiple tiebreaking criteria ZIB-Report 18-51 Satoshi Ito, Yuji Shinano PDF
BibTeX
URN
MODAL-SynLab
Chvátal’s Conjecture Holds for Ground Sets of Seven Elements ZIB-Report 18-49 Leon Eifler, Ambros Gleixner, Jonad Pulaj PDF
BibTeX
URN
MODAL-SynLab
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) Daniel Anderson, Gregor Hendel, Pierre Le Bodic, Jan Merlin Viernickel PDF (ZIB-Report)
BibTeX
MODAL-SynLab
Designing and Implementing Algorithms for Mixed-Integer Nonlinear Optimization (Dagstuhl Seminar 18081) Dagstuhl Reports, 8(2), pp. 64-87, 2018 Pierre Bonami, Ambros Gleixner, Jeff Linderoth, Ruth Misener BibTeX
DOI
MODAL-SynLab
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) Matthias Miltenberger, Ted Ralphs, Daniel Steffy PDF (ZIB-Report)
BibTeX
DOI
MODAL-SynLab
Feature-Based Algorithm Selection for Mixed Integer Programming ZIB-Report 18-17 Alexander Georges, Ambros Gleixner, Gorana Gojic, Robert Lion Gottwald, David Haley, Gregor Hendel, Bartlomiej Matejczyk PDF
BibTeX
URN
MODAL-SynLab
FiberSCIP - A shared memory parallelization of SCIP INFORMS Journal on Computing, 30(1), pp. 11-30, 2018 (preprint available as ZIB-Report 13-55) Yuji Shinano, Stefan Heinz, Stefan Vigerske, Michael Winkler PDF (ZIB-Report)
PDF (ZIB-Report)
PDF (ZIB-Report)
BibTeX
DOI
MODAL-SynLab
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) Timo Berthold, Michael Perregaard, Csaba Mészáros PDF (ZIB-Report)
BibTeX
DOI
MODAL-SynLab
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) Gerald Gamrath, Christoph Schubert PDF (ZIB-Report)
BibTeX
DOI
MODAL-SynLab
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) Jakob Witzig, Isabel Beckenbach, Leon Eifler, Konstantin Fackeldey, Ambros Gleixner, Andreas Grever, Marcus Weber PDF (ZIB-Report)
BibTeX
DOI
MODAL-SynLab
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 Ryohei Yokoyama, Yuji Shinano, Yuki Wakayama, Tetsuya Wakui BibTeX
MODAL-SynLab
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) Benjamin Müller, Renke Kuhlmann, Stefan Vigerske PDF (ZIB-Report)
BibTeX
DOI
MODAL-SynLab
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 Ryohei Yokoyama, Yuji Shinano, Yuji Wakayamaa, Tetsuya Wakui BibTeX
MODAL-SynLab
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 Christopher Wyczik BibTeX
MODAL-SynLab
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) Thomas Breuer, Michael Bussieck, Karl-Kien Cao, Felix Cebulla, Frederik Fiand, Hans Christian Gils, Ambros Gleixner, Dmitry Khabi, Thorsten Koch, Daniel Rehfeldt, Manuel Wetzel PDF (ZIB-Report)
BibTeX
DOI
MODAL-SynLab
ParaXpress: An Experimental Extension of the FICO Xpress-Optimizer to Solve Hard MIPs on Supercomputers Optimization Methods & Software, 33(3), pp. 530-539, 2018 Yuji Shinano, Timo Berthold, Stefan Heinz BibTeX
DOI
MODAL-SynLab
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) Ted Ralphs, Yuji Shinano, Timo Berthold, Thorsten Koch PDF (ZIB-Report)
BibTeX
DOI
MODAL-SynLab
Parallelization of the FICO Xpress Optimizer Optimization Methods and Software, 33(3), pp. 518-529, 2018 Timo Berthold, James Farmer, Stefan Heinz, Michael Perregaard BibTeX
DOI
MODAL-SynLab
Reduction-based exact solution of prize-collecting Steiner tree problems ZIB-Report 18-55 Daniel Rehfeldt, Thorsten Koch PDF
BibTeX
URN
MODAL-SynLab
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) Daniel Rehfeldt, Thorsten Koch PDF (ZIB-Report)
BibTeX
MODAL-SynLab
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) Stefan Vigerske, Ambros Gleixner PDF (ZIB-Report)
PDF (ZIB-Report)
BibTeX
DOI
MODAL-SynLab
Software Knowledge Management and swMATH Fachgruppe Didaktik der Mathematik der Universität Paderborn, pp. 401-404, 2018 Wolfgang Dalitz, Hagen Chrapary, Wolfram Sperber BibTeX
DOI
MODAL-SynLab
Software Products, Software Versions, Archiving of Software, and swMATH Mathematical Software – ICMS 2018, pp. 123-127, 2018 Wolfgang Dalitz, Hagen Chrapary BibTeX
DOI
MODAL-SynLab
Structure-based Decomposition for Pattern-Detection for Railway Timetables Operations Research Proceedings 2017, pp. 715-721, 2018 (preprint available as ZIB-Report 17-40) Stanley Schade, Thomas Schlechte, Jakob Witzig PDF (ZIB-Report)
BibTeX
DOI
MODAL-SynLab
The SCIP Optimization Suite 6.0 ZIB-Report 18-26 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 PDF
BibTeX
URN
MODAL-SynLab
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) Yuji Shinano PDF (ZIB-Report)
BibTeX
DOI
MODAL-SynLab
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) Stephen J. Maher, Guy Desaulniers, Francois Soumis PDF (ZIB-Report)
BibTeX
DOI
MODAL-SynLab
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) Daniel Rehfeldt, Thorsten Koch PDF (ZIB-Report)
BibTeX
DOI
MODAL-SynLab
2017
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 Cheng-Lung Wu, Stephen J. Maher BibTeX
MODAL-SynLab
Conflict Driven Diving for Mixed Integer Programming ZIB-Report 17-69 Jakob Witzig PDF
BibTeX
URN
MODAL-SynLab
Cutting Planes for Union-Closed Families Doctoral thesis, Technische Universität Berlin, Martin Grötschel, Ralf Borndörfer (Advisors), 2017 Jonad Pulaj BibTeX
MODAL-SynLab
Degeneriertheit im Simplexverfahren Master's thesis, Technische Universität Berlin, Thorsten Koch (Advisor), 2017 Andreas Teuchert BibTeX
MODAL-SynLab
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) Hagen Chrapary, Wolfgang Dalitz, Winfried Neun, Wolfram Sperber PDF (ZIB-Report)
BibTeX
DOI
MODAL-SynLab
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) Robert Lion Gottwald, Stephen J. Maher, Yuji Shinano PDF (ZIB-Report)
BibTeX
DOI
MODAL-SynLab
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) Jakob Witzig, Timo Berthold, Stefan Heinz PDF (ZIB-Report)
PDF (ZIB-Report)
BibTeX
DOI
MODAL-SynLab
Feasibility-based bound tightening via linear programming Bachelor's thesis, Technische Universität Berlin, Thorsten Koch (Advisor), 2017 William Wischlinsky BibTeX
MODAL-SynLab
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) Timo Berthold, Gregor Hendel, Thorsten Koch PDF (ZIB-Report)
BibTeX
DOI
MODAL-SynLab
Generalized preprocessing techniques for Steiner tree and maximum-weight connected subgraph problems ZIB-Report 17-57 Daniel Rehfeldt, Thorsten Koch PDF
BibTeX
URN
MODAL-SynLab
Improving the performance of DICOPT in convex MINLP problems using a feasibility pump Optimization Methods and Software, 2017 (revision under review) David E. Bernal, Stefan Vigerske, Francisco Trespalacios, Ignacio E. Grossmann BibTeX
MODAL-SynLab
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 Fabio D'Andreagiovanni, Fabian Mett, Antonella Nardin, Jonad Pulaj BibTeX
DOI
MODAL-SynLab
Multi-Level Lookahead Branching Master's thesis, Technische Universität Berlin, Thorsten Koch (Advisor), 2017 Christoph Schubert BibTeX
MODAL-SynLab
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 Ryohei Yokoyama, Yuji Shinano, Yuki Wakayama, Tetsuya Wakui BibTeX
DOI
MODAL-SynLab
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 Sebastian Schenker, Ingmar Vierhaus, Ralf Borndörfer, Armin Fügenschuh, Martin Skutella BibTeX
DOI
MODAL-SynLab
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) Gerald Gamrath, Thorsten Koch, Stephen J. Maher, Daniel Rehfeldt, Yuji Shinano PDF (ZIB-Report)
BibTeX
DOI
MODAL-SynLab
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) Jesco Humpola, Felipe Serrano PDF (ZIB-Report)
BibTeX
DOI
MODAL-SynLab
The SCIP Optimization Suite 4.0 ZIB-Report 17-12 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 PDF
PDF
BibTeX
URN
MODAL-SynLab
The SCIP Optimization Suite 5.0 ZIB-Report 17-61 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 PDF
BibTeX
URN
MODAL-SynLab
The ZIMPL modeling language Optima, Vol.103, pp. 8-9, 2017 Thorsten Koch BibTeX
MODAL-SynLab
Three Enhancements for Optimization-Based Bound Tightening Journal of Global Optimization, 67(4), pp. 731-757, 2017 (preprint available as ZIB-Report 15-16) Ambros Gleixner, Timo Berthold, Benjamin Müller, Stefan Weltge PDF (ZIB-Report)
BibTeX
DOI
MODAL-SynLab
Using white-box nonlinear optimization methods in system dynamics policy improvement System Dynamics Review, 33(2), pp. 138-168, 2017 Ingmar Vierhaus, Armin Fügenschuh, Robert Lion Gottwald, Stefan Grösser BibTeX
DOI
MODAL-SynLab
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) Kevin K. H. Cheung, Ambros Gleixner, Daniel Steffy PDF (ZIB-Report)
PDF (ZIB-Report)
BibTeX
DOI
MODAL-SynLab
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 Hagen Chrapary, Wolfgang Dalitz, Wolfram Sperber PDF
BibTeX
URN
MODAL-SynLab
2016
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 Yuji Shinano, Timo Berthold, Stefan Heinz BibTeX
DOI
MODAL-SynLab
A novel partitioning of the set of non-dominated points ZIB-Report 16-55 Sebastian Schenker, Ralf Borndörfer, Martin Skutella PDF
BibTeX
URN
MODAL-SynLab
Abschätzung der Suchbaumgröße und Laufzeit für Branch-and-Bound Algorithmen Bachelor's thesis, Technische Universität Berlin, Thorsten Koch (Advisor), 2016 Jan Merlin Viernickel BibTeX
MODAL-SynLab
Cutting Planes for Families Implying Frankl's Conjecture ZIB-Report 16-51 Jonad Pulaj PDF
PDF
BibTeX
URN
MODAL-SynLab
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 Ryohei Yokoyama, Ryo Nakamura, Tetsuya Wakui, Yuji Shinano BibTeX
DOI
MODAL-SynLab
Experiments with Concurrency and Heuristics in SCIP Master's thesis, Freie Universität Berlin, Thorsten Koch (Advisor), 2016 Robert Lion Gottwald BibTeX
MODAL-SynLab
Exploiting Solving Phases for Mixed-Integer Programs Operations Research Proceedings 2015, pp. 3-9, 2016 (preprint available as ZIB-Report 15-64) Gregor Hendel PDF (ZIB-Report)
BibTeX
DOI
MODAL-SynLab
Formulations and algorithms for the USCCSP Bachelor's thesis, Technische Universität Berlin, Thorsten Koch (Advisor), 2016 Ansgar Roessig BibTeX
MODAL-SynLab
Iterative Refinement for Linear Programming INFORMS Journal on Computing, 28(3), pp. 449-464, 2016 (preprint available as ZIB-Report 15-15) Ambros Gleixner, Daniel Steffy, Kati Wolter PDF (ZIB-Report)
BibTeX
DOI
MODAL-SynLab
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 Martin Greuel, Thorsten Koch, Peter Paule, Andrew Sommese BibTeX
DOI
MODAL-SynLab
Methoden zur Reduktion der Rechenzeit linearer Optimierungsmodelle in der Energiewirtschaft - Eine Performance-Analyse EnInnov 2016: 14. Symposium Energieinnovation 2016, 2016 Karl-Kiên Cao, Ambros Gleixner, Matthias Miltenberger PDF
BibTeX
MODAL-SynLab
Parallelization of the FICO Xpress-Optimizer Mathematical Software - ICMS 2016, 5th International Conference Berlin, Germany, July 11-14, 2016 Proceedings, pp. 251-258, 2016 Timo Berthold, James Farmer, Stefan Heinz, Michael Perregaard BibTeX
DOI
MODAL-SynLab
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 Ralf Borndörfer, Sebastian Schenker, Martin Skutella, Timo Strunk BibTeX
DOI
MODAL-SynLab
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) Stephen J. Maher, Matthias Miltenberger, João Pedro Pedroso, Daniel Rehfeldt, Robert Schwarz, Felipe Serrano PDF (ZIB-Report)
BibTeX
DOI
MODAL-SynLab
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) Yuji Shinano, Tobias Achterberg, Timo Berthold, Stefan Heinz, Thorsten Koch, Michael Winkler PDF (ZIB-Report)
PDF (ZIB-Report)
BibTeX
DOI
MODAL-SynLab
Solving the integrated airline recovery problem using column-and-row generation Transportation Science, 50(1), pp. 216-239, 2016 Stephen J. Maher BibTeX
DOI
MODAL-SynLab
The SCIP Optimization Suite 3.2 ZIB-Report 15-60 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 PDF
BibTeX
URN
MODAL-SynLab
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 Hagen Chrapary, Yue Ren BibTeX
DOI
MODAL-SynLab
The unrooted set covering connected subgraph problem differentiating between HIV envelope sequences European Journal of Operational Research, 248(2), pp. 668-680, 2016 Stephen J. Maher, John M. Murray BibTeX
DOI
MODAL-SynLab
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) Fabio D'Andreagiovanni, Ambros Gleixner PDF (ZIB-Report)
BibTeX
DOI
MODAL-SynLab
2015
A Generic Approach to Solving the Steiner Tree Problem and Variants Master's thesis, Technische Universität Berlin, Thorsten Koch (Advisor), 2015 Daniel Rehfeldt PDF
BibTeX
URN
MODAL-SynLab
A novel passenger recovery approach for the integrated airline recovery problem Computers & Operations Research, Vol.57, pp. 123-137, 2015 Stephen J. Maher BibTeX
DOI
MODAL-SynLab
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) Gerald Gamrath, Anna Melchiori, Timo Berthold, Ambros Gleixner, Domenico Salvagnin PDF (ZIB-Report)
BibTeX
DOI
MODAL-SynLab
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) Gregor Hendel PDF (ZIB-Report)
BibTeX
DOI
MODAL-SynLab
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 Ambros Gleixner BibTeX
MODAL-SynLab
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 Ryohei Yokoyama, Yuji Shinano, Syusuke Taniguchi, Masashi Ohkura, Tetsuya Wakui BibTeX
DOI
MODAL-SynLab
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 Ryohei Yokoyama, Yuji Shinano BibTeX
DOI
MODAL-SynLab
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 Katsuki Fujisawa, Yuji Shinano, Hayato Waki BibTeX
DOI
MODAL-SynLab
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) Ryohei Yokoyama, Yuji Shinano, Syusuke Taniguchi, Masashi Ohkura, Tetsuya Wakui PDF (ZIB-Report)
BibTeX
DOI
MODAL-SynLab
Progress in presolving for mixed integer programming Mathematical Programming Computation, 7(4), pp. 367-398, 2015 (preprint available as ZIB-Report 13-48) Gerald Gamrath, Thorsten Koch, Alexander Martin, Matthias Miltenberger, Dieter Weninger PDF (ZIB-Report)
BibTeX
DOI
MODAL-SynLab
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) Gerald Gamrath, Benjamin Hiller, Jakob Witzig PDF (ZIB-Report)
BibTeX
DOI
MODAL-SynLab
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) Gerald Gamrath, Timo Berthold, Stefan Heinz, Michael Winkler PDF (ZIB-Report)
BibTeX
DOI
MODAL-SynLab
2014
Empirical Analysis of Solving Phases in Mixed Integer Programming Master's thesis, Technische Universität Berlin, Thorsten Koch, Timo Berthold (Advisors), 2014 Gregor Hendel PDF
BibTeX
URN
MODAL-SynLab
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 Timo Berthold BibTeX
MODAL-SynLab
Improving strong branching by domain propagation EURO Journal on Computational Optimization, 2(3), pp. 99-122, 2014 (preprint available as ) Gerald Gamrath BibTeX
DOI
MODAL-SynLab
Reoptimization Techniques in MIP Solvers Master's thesis, Technische Universität Berlin, Martin Grötschel, Benjamin Hiller (Advisors), 2014 Jakob Witzig PDF
BibTeX
URN
MODAL-SynLab
SCIP-Jack - A massively parallel STP solver ZIB-Report 14-35 Gerald Gamrath, Thorsten Koch, Daniel Rehfeldt, Yuji Shinano PDF
BibTeX
URN
MODAL-SynLab
Shift-and-Propagate Journal of Heuristics, 21(1), pp. 73-106, 2014 (preprint available as ZIB-Report 13-03) Timo Berthold, Gregor Hendel PDF (ZIB-Report)
BibTeX
DOI
MODAL-SynLab
最適化と計算の今後 ―大規模問題をどこまで解決できるのか?― 機関誌「オペレーションズ・リサーチ」, 59(1), pp. 11-19, 2014 (in press) 克樹 藤澤, 勇治 品野 BibTeX
MODAL-SynLab
最適化研究における数値実験を中心とした アプリケーション駆動研究サイクル 機関誌「オペレーションズ・リサーチ」, 59(5), pp. 247-253, 2014 (in press) 勇治 品野 BibTeX
MODAL-SynLab
2013
Linear Underestimators for bivariate functions with a fixed convexity behavior ZIB-Report 13-02 Martin Ballerstein, Dennis Michaels, Stefan Vigerske PDF
PDF
BibTeX
URN
MODAL-SynLab
制約整数計画ソルバ SCIP の並列化 統計数理, 61(1), pp. 47-78, 2013 (in press) Yuji Shinano, Tobias Achterberg, Timo Berthold, Stefan Heinz, Thorsten Koch, Stefan Vigerske, Michael Winkler BibTeX
MODAL-SynLab