2023
|
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
|
2021
|
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
|
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
|
2020
|
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
|
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
|
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, 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
|
2018
|
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
|
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
|
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
|
2017
|
Jakob Witzig
|
Conflict Driven Diving for Mixed Integer Programming
|
ZIB-Report 17-69 |
PDF
BibTeX
URN
|
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
|
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
|
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
|
2015
|
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
|
2014
|
Jakob Witzig
|
Reoptimization Techniques in MIP Solvers
|
Master's thesis, Technische Universität Berlin, Martin Grötschel, Benjamin Hiller (Advisors), 2014 |
PDF
BibTeX
URN
|
2013
|
Jakob Witzig
|
Effiziente Reoptimierung in Branch&Bound-Verfahren für die Steuerung von Aufzügen
|
Bachelor's thesis, Technische Universität Berlin, Benjamin Hiller (Advisor), 2013 |
PDF
BibTeX
URN
|
Benjamin Hiller, Torsten Klug, Jakob Witzig |
Reoptimization in branch-and-bound algorithms with an application to elevator control
|
Proceedings of the 12th International Symposium on Experimental Algorithms, pp. 378-389, Vol.7933, Lecture Notes in computer Science, 2013 (preprint available as ZIB-Report 13-15) |
PDF (ZIB-Report)
BibTeX
DOI
|