Berthold, Timo, PD Dr.

Kontakt

Position

Gast

Raum

4351

Telefon

+49 30 84185-425

E-Mail

Website

https://www.zib.de/userpage/berthold/

Projekte

Projekte als Mitglied

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

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

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

Publikationen

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 - RailNorrkö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