Witzig, Jakob

Position:

Guest

Room:

3302

Division:

Mathematical Algorithmic Intelligence

Department:

AI in Society, Science, and Technology (AIS²T)

Research group:

Mathematical Optimization Methods

Mail:

witzig

zib.de

Phone:

+49 30 84185 - 416

Fax:

+49 30 84185 - 269

Personal website:

http://www.zib.de/witzig/

Projects

Member

MODAL-SynLab

Linear, Integer, and Constraint Programming

Cycle Detection in Nonreversible Markov Processes

Publications

2023 2021 2020 2019 2018 2017 2016 2015 2014 2013

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, 2023 (accepted for publication)	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