Berthold, PD Dr. Timo

Position:
Guest
Room:
4351
Division:
Department:
Research group:
Mail:
berthold
zib.de

Phone:
+49 30 84185 - 425
Fax:
+49 30 84185 - 269
Personal website:
Publications
2023
2022
2021
2020
2019
2018
2017
2016
2015
2014
2013
2012
2011
2010
2009
2008
2007
2006
2005
2023 |
|||
Mark Turner, Timo Berthold, Mathieu Besançon | A Context-Aware Cutting Plane Selection Algorithm for Mixed-Integer Programming | Operation Research Proceedings, 2023 (accepted, preprint available as ZIB-Report 23-21) |
PDF (ZIB-Report)
BibTeX |
Mark Turner, Timo Berthold, Mathieu Besançon, Thorsten Koch | Branching via Cutting Plane Selection: Improving Hybrid Branching | 2023 (under review, preprint available as ZIB-Report 23-17) |
PDF (ZIB-Report)
BibTeX |
Mark Turner, Timo Berthold, Mathieu Besançon, Thorsten Koch | 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) |
PDF (ZIB-Report)
BibTeX DOI |
Gioni Mexi, Timo Berthold, Ambros Gleixner, Jakob Nordström | 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 |
BibTeX
DOI |
Timo Berthold, Gioni Mexi, Domenico Salvagnin | 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) |
PDF (ZIB-Report)
BibTeX URN DOI |
2022 |
|||
Thorsten Koch, Timo Berthold, Jaap Pedersen, Charlie Vanaret | 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) |
PDF (ZIB-Report)
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 |
Timo Berthold, Thorsten Koch, Yuji Shinano | MILP. Try. Repeat. | Proceedings of the 13th International Conference on the Practice and Theory of Automated Timetabling - PATAT 2021, Vol.2, 2021 |
BibTeX
|
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 |
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 |
Yuji Shinano, Tobias Achterberg, Timo Berthold, Stefan Heinz, Thorsten Koch, Michael Winkler | Solving Previously Unsolved MIP Instances with ParaSCIP on Supercomputers by using up to 80,000 Cores | ZIB-Report 20-16 |
PDF
BibTeX URN |
Zsolt Csizmadia, Timo Berthold | The confined primal integral: a measure to benchmark heuristic MINLP solvers against global MINLP solvers | Mathematical Programming, 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
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 |
Timo Berthold, Boris Grimm, Markus Reuther, Stanley Schade, Thomas Schlechte | 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 |
PDF
BibTeX |
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 |
2018 |
|||
Timo Berthold, Michael Perregaard, Csaba Mészáros | 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) |
PDF (ZIB-Report)
BibTeX DOI |
Yuji Shinano, Timo Berthold, Stefan Heinz | ParaXpress: An Experimental Extension of the FICO Xpress-Optimizer to Solve Hard MIPs on Supercomputers | Optimization Methods & Software, 33(3), pp. 530-539, 2018 |
BibTeX
DOI |
Ted Ralphs, Yuji Shinano, Timo Berthold, Thorsten Koch | 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) |
PDF (ZIB-Report)
BibTeX DOI |
Timo Berthold, James Farmer, Stefan Heinz, Michael Perregaard | Parallelization of the FICO Xpress Optimizer | Optimization Methods and Software, 33(3), pp. 518-529, 2018 |
BibTeX
DOI |
2017 |
|||
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 |
Ambros Gleixner, Timo Berthold, Benjamin Müller, Stefan Weltge | Three Enhancements for Optimization-Based Bound Tightening | Journal of Global Optimization, 67(4), pp. 731-757, 2017 (preprint available as ZIB-Report 15-16) |
PDF (ZIB-Report)
BibTeX DOI |
2016 |
|||
Yuji Shinano, Timo Berthold, Stefan Heinz | 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 |
BibTeX
DOI |
Timo Berthold, James Farmer, Stefan Heinz, Michael Perregaard | Parallelization of the FICO Xpress-Optimizer | Mathematical Software - ICMS 2016, 5th International Conference Berlin, Germany, July 11-14, 2016 Proceedings, pp. 251-258, 2016 |
BibTeX
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 |
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 |
|||
Thomas Arnold, Timo Berthold, Stefan Heinz, Stefan Vigerske, René Henrion, Martin Grötschel, Thorsten Koch, Caren Tischendorf, Werner Römisch | 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 ) |
BibTeX
DOI |
Timo Berthold | 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 |
BibTeX
|
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 |
Yuji Shinano, Tobias Achterberg, Timo Berthold, Stefan Heinz, Thorsten Koch, Michael Winkler | 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 |
BibTeX
DOI |
Timo Berthold, Ambros Gleixner | 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) |
PDF (ZIB-Report)
PDF (ZIB-Report) BibTeX DOI |
2013 |
|||
Timo Berthold, Domenico Salvagnin | 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) |
PDF (ZIB-Report)
BibTeX DOI |
Timo Berthold | Measuring the impact of primal heuristics | Operations Research Letters, 41(6), pp. 611-614, 2013 (preprint available as ZIB-Report 13-17) |
PDF (ZIB-Report)
BibTeX DOI |
Timo Berthold | Primal MINLP Heuristics in a nutshell | ZIB-Report 13-42 |
PDF
BibTeX URN |
Yuji Shinano, Tobias Achterberg, Timo Berthold, Stefan Heinz, Thorsten Koch, Michael Winkler | Solving hard MIPLIB2003 problems with ParaSCIP on Supercomputers: An update | ZIB-Report 13-66 |
PDF
BibTeX URN |
Timo Berthold, Ambros Gleixner | 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) |
PDF (ZIB-Report)
BibTeX DOI |
Yuji Shinano, Tobias Achterberg, Timo Berthold, Stefan Heinz, Thorsten Koch, Stefan Vigerske, Michael Winkler | 制約整数計画ソルバ SCIP の並列化 | ZIB-Report 13-22 |
PDF
BibTeX URN |
2012 |
|||
Timo Berthold, Ambros Gleixner, Stefan Heinz, Stefan Vigerske | 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) |
PDF (ZIB-Report)
BibTeX DOI |
Timo Berthold, Stefan Heinz, Stefan Vigerske | 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) |
PDF (ZIB-Report)
PDF (ZIB-Report) BibTeX |
Yuji Shinano, Tobias Achterberg, Timo Berthold, Stefan Heinz, Thorsten Koch | 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) |
PDF (ZIB-Report)
BibTeX DOI |
Timo Berthold | RENS – the optimal rounding | ZIB-Report 12-17 |
PDF
BibTeX URN |
Timo Berthold, Ambros Gleixner, Stefan Heinz, Thorsten Koch, Yuji Shinano | 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) |
PDF (ZIB-Report)
BibTeX |
Timo Berthold, Gerald Gamrath, Ambros Gleixner, Stefan Heinz, Thorsten Koch, Yuji Shinano | Solving mixed integer linear and nonlinear problems using the SCIP Optimization Suite | ZIB-Report 12-27 |
PDF
BibTeX URN |
2011 |
|||
Timo Berthold, Stefan Heinz, Jens Schulz | 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) |
PDF (ZIB-Report)
BibTeX |
Timo Berthold, Stefan Heinz, Marc Pfetsch, Stefan Vigerske | 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) |
PDF (ZIB-Report)
BibTeX |
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 | MIPLIB 2010 | Mathematical Programming Computation, 3(2), pp. 103-163, 2011 (preprint available as ZIB-Report 10-31) |
PDF (ZIB-Report)
BibTeX DOI |
Timo Berthold, Ambros Gleixner, Stefan Heinz, Stefan Vigerske | On the computational impact of MIQCP solver components | ZIB-Report 11-01 |
PDF
BibTeX URN |
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 |
|||
Timo Berthold, Stefan Heinz, Marco Lübbecke, Rolf Möhring, Jens Schulz | 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) |
PDF (ZIB-Report)
BibTeX |
Timo Berthold, Thibaut Feydy, Peter Stuckey | 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) |
PDF (ZIB-Report)
BibTeX |
Timo Berthold, Ambros Gleixner | 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) |
PDF (ZIB-Report)
PDF (ZIB-Report) PDF (ZIB-Report) BibTeX |
2009 |
|||
Timo Berthold, Marc Pfetsch | 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) |
PDF (ZIB-Report)
BibTeX |
Tobias Achterberg, Timo Berthold | 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 |
BibTeX
|
Timo Berthold, Stefan Heinz, Marc Pfetsch | 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) |
PDF (ZIB-Report)
BibTeX |
2008 |
|||
Tobias Achterberg, Timo Berthold, Thorsten Koch, Kati Wolter | 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) |
PDF (ZIB-Report)
BibTeX DOI |
Tobias Achterberg, Timo Berthold, Stefan Heinz, Thorsten Koch, Kati Wolter | Constraint Integer Programming: Techniques and Applications | ZIB-Report 08-43 |
PDF
BibTeX URN |
Timo Berthold | 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) |
PDF (ZIB-Report)
BibTeX |
Timo Berthold | Heuristiken im Branch-and-Cut-Framework SCIP | OR News, pp. 24-25, 2008 |
BibTeX
|
Timo Berthold, Stefan Heinz, Marc Pfetsch | Solving Pseudo-Boolean Problems with SCIP | ZIB-Report 08-12 |
PDF
BibTeX URN |
2007 |
|||
Tobias Achterberg, Timo Berthold | Improving the Feasibility Pump | Discrete Optimization, Special Issue 4(1), pp. 77-86, 2007 (preprint available as ZIB-Report 05-42) |
PDF (ZIB-Report)
BibTeX |
Timo Berthold | RENS - Relaxation Enforced Neighborhood Search | ZIB-Report 07-28 |
PDF
BibTeX URN |
2006 |
|||
Timo Berthold | Primal Heuristics for Mixed Integer Programs | Master's thesis, Technische Universität Berlin, 2006 (preprint available as ) |
PDF (ZIB-Report)
BibTeX |