2023
|
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
|
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 |
MIPLIB 2017: Data-Driven Compilation of the 6th Mixed-Integer Programming Library
|
Mathematical Programming Computation, 13(3), pp. 443-490, 2021 |
BibTeX
DOI
|
2020
|
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
|
Timo Berthold, Jakob Witzig |
Conflict Analysis for MINLP
|
ZIB-Report 20-20 |
PDF
BibTeX
URN
|
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
|
Gregor Hendel, Daniel Anderson, Pierre Le Bodic, Marc Pfetsch |
Estimating the Size of Branch-And-Bound Trees
|
ZIB-Report 20-02 |
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
|
2019
|
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
|
Jakob Witzig, Timo Berthold, Stefan Heinz |
Computational Aspects of Infeasibility Analysis in Mixed Integer Programming
|
ZIB-Report 19-54 |
PDF
PDF
BibTeX
URN
|
Timo Berthold, Gerald Gamrath, Domenico Salvagnin |
Exploiting Dual Degeneracy in Branching
|
ZIB-Report 19-17 |
PDF
BibTeX
URN
|
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
|
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
|
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
|
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
|
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
|
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
|
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
|
2017
|
Jakob Witzig
|
Conflict Driven Diving for Mixed Integer Programming
|
ZIB-Report 17-69 |
PDF
BibTeX
URN
|
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
|
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
|
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
|
2016
|
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
|
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
|
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
|
ZIB-Report 16-64 (Appeared in: Mathematical Software – ICMS 2016, Volume 9725, Pages 301-307) |
PDF
BibTeX
URN
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
|
Kevin K. H. Cheung, Ambros Gleixner, Daniel Steffy |
Verifying Integer Programming Results
|
ZIB-Report 16-58 (F. Eisenbrand and J. Koenemann, eds., Integer Programming and Combinatorial Optimization: 19th International Conference, IPCO 2017) |
PDF
PDF
BibTeX
URN
DOI
|
2015
|
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
|
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
|
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
|
Gerald Gamrath
|
Improving strong branching by domain propagation
|
EURO Journal on Computational Optimization, 2(3), pp. 99-122, 2014 (preprint available as ZIB-Report 13-47) |
PDF (ZIB-Report)
PDF (ZIB-Report)
BibTeX
DOI
|
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
|
2013
|
Gerald Gamrath
|
Improving strong branching by propagation
|
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, Vol.7874, pp. 347-354, 2013 (preprint available as ZIB-Report 12-46) |
PDF (ZIB-Report)
BibTeX
DOI
|
2011
|
Gregor Hendel, Timo Berthold, Tobias Achterberg |
Rounding and Propagation Heuristics for Mixed Integer Programming
|
Operations Research Proceedings 2011, pp. 71-76, 2011 (preprint available as ZIB-Report 11-29) |
PDF (ZIB-Report)
BibTeX
|
2010
|
Gerald Gamrath, Marco Lübbecke |
Experiments with a Generic Dantzig-Wolfe Decomposition for Integer Programs
|
Experimental Algorithms, Vol.6049, pp. 239-252, 2010 |
BibTeX
DOI
|