A A
de
Deutsch
English
Menü
Startseite Berthold, Timo, PD Dr.

Berthold, Timo, PD Dr.

Media Name: berthold2.jpg

Kontakt

Room
4351
Phone
+49 30 84185-425
Email
E-Mail
Webseite
https://www.zib.de/userpage/berthold/
Bereich
Mathematical Algorithmic Intelligence
Abteilung
AI in Society, Science, and Technology
Arbeitsgruppe
Mathematical Optimization Methods

Projects

Projects as Member

Media Name: modal_icon_gruen.jpg

MODAL-SynLab

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...

MODAL-SynLab
Media Name: gas.jpg

Optimization of Gas Transport

Natural gas is one of the most important energy sources in Germany and Europe. In recent years, political regulations have led to a strict separation of gas trading and...

Optimization of Gas Transport
Media Name: orbitope3.png

Symmetries in Integer Programming

Symmetries arise naturally in integer programs. Often, there is no reason to distinguish certain objects among others. For instance, the actual number that a certain bus...

Symmetries in Integer Programming

Publications

2024
The MIP workshop 2023 computational competition on reoptimization Mathematical Programming Computation, Vol.16, pp. 255-266, 2024 Suresh Bolusani, Mathieu Besançon, Ambros Gleixner, Timo Berthold, Claudia D'Ambrosio, Gonzalo Muñoz, Joseph Paat, Dimitri Thomopulos BibTeX
DOI
2023
A Context-Aware Cutting Plane Selection Algorithm for Mixed-Integer Programming Operation Research Proceedings, 2023 (accepted for publication, preprint available as ZIB-Report 23-21) Mark Turner, Timo Berthold, Mathieu Besançon PDF (ZIB-Report)
BibTeX
Branching via Cutting Plane Selection: Improving Hybrid Branching 2023 (under review, preprint available as ZIB-Report 23-17) Mark Turner, Timo Berthold, Mathieu Besançon, Thorsten Koch PDF (ZIB-Report)
BibTeX
Cutting Plane Selection with Analytic Centers and Multiregression Integration of Constraint Programming, Artificial Intelligence, and Operations Research. CPAIOR 2023., pp. 52-68, Vol.13884, Lecture Notes in Computer Science, 2023 (preprint available as ZIB-Report 22-28) Mark Turner, Timo Berthold, Mathieu Besançon, Thorsten Koch PDF (ZIB-Report)
BibTeX
DOI
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
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
2022
Progress in mathematical programming solvers from 2001 to 2020 EURO Journal on Computational Optimization, Vol.10, p. 100031, 2022 (preprint available as ZIB-Report 21-20) Thorsten Koch, Timo Berthold, Jaap Pedersen, Charlie Vanaret PDF (ZIB-Report)
BibTeX
DOI
2021
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
MILP. Try. Repeat. Proceedings of the 13th International Conference on the Practice and Theory of Automated Timetabling - PATAT 2021, Vol.2, 2021 Timo Berthold, Thorsten Koch, Yuji Shinano BibTeX
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
2020
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
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
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
The confined primal integral: a measure to benchmark heuristic MINLP solvers against global MINLP solvers Mathematical Programming, 2020 Zsolt Csizmadia, Timo Berthold BibTeX
DOI
2019
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
Computational Aspects of Infeasibility Analysis in Mixed Integer Programming ZIB-Report 19-54 Jakob Witzig, Timo Berthold, Stefan Heinz PDF
PDF
BibTeX
URN
Exploiting Dual Degeneracy in Branching ZIB-Report 19-17 Timo Berthold, Gerald Gamrath, Domenico Salvagnin PDF
BibTeX
URN
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
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
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
2018
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
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
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
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
2017
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
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
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
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
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
2015
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
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
2014
A Jack of all Trades? Solving stochastic mixed-integer nonlinear constraint programs MATHEON - Mathematics for Key Technologies, Vol.1, pp. 135-146, Peter Deuflhard, Martin Grötschel, Dietmar Hömberg, Ulrich Horst, Jürg Kramer, Volker Mehrmann, Konrad Polthier, Frank Schmidt, Christof Schütte, Martin Skutella, Jürgen Sprekels (Eds.), European Mathematical Society, 2014 (preprint available as ) Thomas Arnold, Timo Berthold, Stefan Heinz, Stefan Vigerske, René Henrion, Martin Grötschel, Thorsten Koch, Caren Tischendorf, Werner Römisch BibTeX
DOI
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
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
Solving Hard MIPLIP2003 Problems with ParaSCIP on Supercomputers: An Update IPDPSW'14 Proceedings of the 2014 IEEE, International Parallel & Distributed Processing Symposium Workshops, IEEE (Ed.), pp. 1552-1561, 2014, ISBN: 978-1-4799-4117-9 Yuji Shinano, Tobias Achterberg, Timo Berthold, Stefan Heinz, Thorsten Koch, Michael Winkler BibTeX
DOI
Undercover: a primal MINLP heuristic exploring a largest sub-MIP Mathematical Programming, 144(1-2), pp. 315-346, 2014 (preprint available as ZIB-Report 12-07) Timo Berthold, Ambros Gleixner PDF (ZIB-Report)
PDF (ZIB-Report)
BibTeX
DOI
2013
Cloud branching Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, Vol.7874, pp. 28-43, Carla Gomes, Meinolf Sellmann (Eds.), Springer, 2013 (preprint available as ZIB-Report 13-01) Timo Berthold, Domenico Salvagnin PDF (ZIB-Report)
BibTeX
DOI
Measuring the impact of primal heuristics Operations Research Letters, 41(6), pp. 611-614, 2013 (preprint available as ZIB-Report 13-17) Timo Berthold PDF (ZIB-Report)
BibTeX
DOI
Primal MINLP Heuristics in a nutshell ZIB-Report 13-42 Timo Berthold PDF
BibTeX
URN
Solving hard MIPLIB2003 problems with ParaSCIP on Supercomputers: An update ZIB-Report 13-66 Yuji Shinano, Tobias Achterberg, Timo Berthold, Stefan Heinz, Thorsten Koch, Michael Winkler PDF
PDF
BibTeX
URN
Undercover Branching Experimental Algorithms, 12th International Symposium, SEA 2013, Rome, Italy, June 5-7, 2013, Proceedings, Vincenzo Bonifaci, Camil Demetrescu, Alberto Marchetti-Spaccamela (Eds.), pp. 212-223, Vol.7933, Lecture Notes in Computer Science, 2013 (preprint available as ZIB-Report 13-14) Timo Berthold, Ambros Gleixner PDF (ZIB-Report)
BibTeX
DOI
制約整数計画ソルバ SCIP の並列化 ZIB-Report 13-22 Yuji Shinano, Tobias Achterberg, Timo Berthold, Stefan Heinz, Thorsten Koch, Stefan Vigerske, Michael Winkler PDF
BibTeX
URN
2012
Analyzing the computational impact of MIQCP solver components Numerical Algebra, Control and Optimization, 2(4), pp. 739-748, 2012 (preprint available as ZIB-Report 13-08) Timo Berthold, Ambros Gleixner, Stefan Heinz, Stefan Vigerske PDF (ZIB-Report)
BibTeX
DOI
Extending a CIP framework to solve MIQCPs Mixed Integer Nonlinear Programming, Vol.154, pp. 427-444, Jon Lee, Sven Leyffer (Eds.), Springer, 2012, ISBN: 978-1-4614-1927-3 (preprint available as ZIB-Report 09-23) Timo Berthold, Stefan Heinz, Stefan Vigerske PDF (ZIB-Report)
PDF (ZIB-Report)
BibTeX
ParaSCIP: a parallel extension of SCIP Competence in High Performance Computing 2010, Christian Bischof, Heinz-Gerd Hegering, Wolfgang Nagel, Gabriel Wittum (Eds.), pp. 135-148, 2012 (preprint available as ZIB-Report 10-27) Yuji Shinano, Tobias Achterberg, Timo Berthold, Stefan Heinz, Thorsten Koch PDF (ZIB-Report)
BibTeX
DOI
RENS – the optimal rounding ZIB-Report 12-17 Timo Berthold PDF
PDF
BibTeX
URN
SCIP Optimization Suite を利用した 混合整数(線形/非線形) 計画問題の解法 Proceedings of the 24th RAMP symposium. The Operations Society of Japan, RAMP: Research Association of Mathematical Programming, pp. 165-192, 2012 (preprint available as ZIB-Report 12-24) Timo Berthold, Ambros Gleixner, Stefan Heinz, Thorsten Koch, Yuji Shinano PDF (ZIB-Report)
BibTeX
Solving mixed integer linear and nonlinear problems using the SCIP Optimization Suite ZIB-Report 12-27 Timo Berthold, Gerald Gamrath, Ambros Gleixner, Stefan Heinz, Thorsten Koch, Yuji Shinano PDF
BibTeX
URN
2011
An approximative Criterion for the Potential of Energetic Reasoning Theory and Practice of Algorithms in (Computer) Systems, pp. 229-239, Vol.6595, Lecture Notes in Computer Science, 2011 (preprint available as ZIB-Report 11-12) Timo Berthold, Stefan Heinz, Jens Schulz PDF (ZIB-Report)
BibTeX
Large Neighborhood Search beyond MIP Proceedings of the 9th Metaheuristics International Conference (MIC 2011), pp. 51-60, 2011, ISBN: 978-88-900984-3-7 (preprint available as ZIB-Report 11-21) Timo Berthold, Stefan Heinz, Marc Pfetsch, Stefan Vigerske PDF (ZIB-Report)
BibTeX
MIPLIB 2010 Mathematical Programming Computation, 3(2), pp. 103-163, 2011 (preprint available as ZIB-Report 10-31) Thorsten Koch, Tobias Achterberg, Erling Andersen, Oliver Bastert, Timo Berthold, Robert E. Bixby, Emilie Danna, Gerald Gamrath, Ambros Gleixner, Stefan Heinz, Andrea Lodi, Hans Mittelmann, Ted Ralphs, Domenico Salvagnin, Daniel Steffy, Kati Wolter PDF (ZIB-Report)
BibTeX
DOI
On the computational impact of MIQCP solver components ZIB-Report 11-01 Timo Berthold, Ambros Gleixner, Stefan Heinz, Stefan Vigerske PDF
BibTeX
URN
Rounding and Propagation Heuristics for Mixed Integer Programming Operations Research Proceedings 2011, pp. 71-76, 2011 (preprint available as ZIB-Report 11-29) Gregor Hendel, Timo Berthold, Tobias Achterberg PDF (ZIB-Report)
BibTeX
2010
A Constraint Integer Programming Approach for Resource-Constrained Project Scheduling Proc. of CPAIOR 2010, Andrea Lodi, Michela Milano, Paolo Toth (Eds.), pp. 313-317, Vol.6140, LNCS, 2010 (preprint available as ZIB-Report 10-03) Timo Berthold, Stefan Heinz, Marco Lübbecke, Rolf Möhring, Jens Schulz PDF (ZIB-Report)
BibTeX
Rapid Learning for Binary Programs Proc. of CPAIOR 2010, Andrea Lodi, Michela Milano, Paolo Toth (Eds.), pp. 51-55, Vol.6140, LNCS, 2010 (preprint available as ZIB-Report 10-04) Timo Berthold, Thibaut Feydy, Peter Stuckey PDF (ZIB-Report)
BibTeX
Undercover – a primal heuristic for MINLP based on sub-MIPs generated by set covering Proceedings of the European Workshop on Mixed Integer Nonlinear Programming, April 12-16, 2010, Marseilles, France, Pierre Bonami, Leo Liberti, Andrew J. Miller, Annick Sartenaer (Eds.), pp. 103-112, 2010 (preprint available as ZIB-Report 09-40) Timo Berthold, Ambros Gleixner PDF (ZIB-Report)
PDF (ZIB-Report)
PDF (ZIB-Report)
BibTeX
2009
Detecting Orbitopal Symmetries Operations Research Proceedings 2008, Bernhard Fleischmann, Karl Borgwardt, Robert Klein, Axel Tuma (Eds.), pp. 433-438, 2009 (preprint available as ZIB-Report 08-33) Timo Berthold, Marc Pfetsch PDF (ZIB-Report)
BibTeX
Hybrid Branching Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 6th International Conference, CPAIOR 2009, Willem van Hoeve, John Hooker (Eds.), pp. 309-311, Vol.5547, Lecture Notes in Computer Science, 2009 Tobias Achterberg, Timo Berthold BibTeX
Nonlinear pseudo-Boolean optimization Theory and Applications of Satisfiability Testing – SAT 2009, Oliver Kullmann (Ed.), pp. 441-446, Vol.5584, Lecture Notes in Computer Science, 2009 (preprint available as ZIB-Report 09-11) Timo Berthold, Stefan Heinz, Marc Pfetsch PDF (ZIB-Report)
BibTeX
2008
Constraint Integer Programming: A New Approach to Integrate CP and MIP Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 5th International Conference, CPAIOR 2008, Laurent Perron, Michael Trick (Eds.), pp. 6-20, Vol.5015, Lecture Notes in Computer Science, 2008 (preprint available as ZIB-Report 08-01) Tobias Achterberg, Timo Berthold, Thorsten Koch, Kati Wolter PDF (ZIB-Report)
BibTeX
DOI
Constraint Integer Programming: Techniques and Applications ZIB-Report 08-43 Tobias Achterberg, Timo Berthold, Stefan Heinz, Thorsten Koch, Kati Wolter PDF
BibTeX
URN
Heuristics of the Branch-Cut-and-Price-Framework SCIP Operations Research Proceedings 2007, Jörg Kalcsics, Stefan Nickel (Eds.), pp. 31-36, 2008 (preprint available as ZIB-Report 07-30) Timo Berthold PDF (ZIB-Report)
BibTeX
Heuristiken im Branch-and-Cut-Framework SCIP OR News, pp. 24-25, 2008 Timo Berthold BibTeX
Solving Pseudo-Boolean Problems with SCIP ZIB-Report 08-12 Timo Berthold, Stefan Heinz, Marc Pfetsch PDF
PDF
BibTeX
URN
2007
Improving the Feasibility Pump Discrete Optimization, Special Issue 4(1), pp. 77-86, 2007 (preprint available as ZIB-Report 05-42) Tobias Achterberg, Timo Berthold PDF (ZIB-Report)
BibTeX
RENS - Relaxation Enforced Neighborhood Search ZIB-Report 07-28 Timo Berthold PDF
BibTeX
URN
2006
Primal Heuristics for Mixed Integer Programs Master's thesis, Technische Universität Berlin, 2006 (preprint available as ) Timo Berthold PDF (ZIB-Report)
BibTeX