Timo Berthold

According to our database, Timo Berthold authored at least 51 papers between 2007 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2023

Using multiple reference vectors and objective scaling in the Feasibility Pump.

Gioni Mexi, Timo Berthold, Domenico Salvagnin

EURO J. Comput. Optim., January, 2023

A Context-Aware Cutting Plane Selection Algorithm for Mixed-Integer Programming.

Mark Turner, Timo Berthold, Mathieu Besançon

CoRR, 2023

Branching via Cutting Plane Selection: Improving Hybrid Branching.

Mark Turner, Timo Berthold, Mathieu Besançon, Thorsten Koch

CoRR, 2023

Cutting Plane Selection with Analytic Centers and Multiregression.

Mark Turner, Timo Berthold, Mathieu Besançon, Thorsten Koch

Proceedings of the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2023

Improving Conflict Analysis in MIP Solvers by Pseudo-Boolean Reasoning.

Gioni Mexi, Timo Berthold, Ambros M. Gleixner, Jakob Nordström

Proceedings of the 29th International Conference on Principles and Practice of Constraint Programming, 2023

2022

Progress in mathematical programming solvers from 2001 to 2020.

Thorsten Koch, Timo Berthold, Jaap Pedersen, Charlie Vanaret

EURO J. Comput. Optim., 2022

Transferring Information Across Restarts in MIP.

Timo Berthold, Gregor Hendel, Domenico Salvagnin

Proceedings of the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2022

2021

Computational aspects of infeasibility analysis in mixed integer programming.

Jakob Witzig, Timo Berthold, Stefan Heinz

Math. Program. Comput., 2021

MIPLIB 2017: data-driven compilation of the 6th mixed-integer programming library.

Ambros M. Gleixner, Gregor Hendel, Gerald Gamrath, Tobias Achterberg, Michael Bastubbe, Timo Berthold, Philipp Christophel, Kati Jarck, Thorsten Koch, Jeff T. Linderoth, Marco E. Lübbecke, Hans D. Mittelmann, Derya B. Özyurt, Ted K. Ralphs, Domenico Salvagnin, Yuji Shinano

Math. Program. Comput., 2021

The confined primal integral: a measure to benchmark heuristic MINLP solvers against global MINLP solvers.

Timo Berthold, Zsolt Csizmadia

Math. Program., 2021

Conflict Analysis for MINLP.

Timo Berthold, Jakob Witzig

INFORMS J. Comput., 2021

Learning To Scale Mixed-Integer Programs.

Timo Berthold, Gregor Hendel

Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

2020

An exploratory computational analysis of dual degeneracy in mixed-integer programming.

Gerald Gamrath, Timo Berthold, Domenico Salvagnin

EURO J. Comput. Optim., 2020

Conflict-Free Learning for Mixed Integer Programming.

Jakob Witzig, Timo Berthold

Proceedings of the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2020

2019

Structure-driven fix-and-propagate heuristics for mixed integer programming.

Gerald Gamrath, Timo Berthold, Stefan Heinz, Michael Winkler

Math. Program. Comput., 2019

Ten years of feasibility pump, and counting.

Timo Berthold, Andrea Lodi, Domenico Salvagnin

EURO J. Comput. Optim., 2019

A Status Report on Conflict Analysis in Mixed Integer Nonlinear Programming.

Jakob Witzig, Timo Berthold, Stefan Heinz

Proceedings of the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2019

Local Rapid Learning for Integer Programs.

Timo Berthold, Peter J. Stuckey, Jakob Witzig

Proceedings of the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2019

2018

ParaXpress: an experimental extension of the FICO Xpress-Optimizer to solve hard MIPs on supercomputers.

Yuji Shinano, Timo Berthold, Stefan Heinz

Optim. Methods Softw., 2018

From feasibility to improvement to proof: three phases of solving mixed-integer programs.

Timo Berthold, Gregor Hendel, Thorsten Koch

Optim. Methods Softw., 2018

Parallelization of the FICO Xpress-Optimizer.

Timo Berthold, James Farmer, Stefan Heinz, Michael Perregaard

Optim. Methods Softw., 2018

A computational study of primal heuristics inside an MI(NL)P solver.

Timo Berthold

J. Glob. Optim., 2018

Parallel Solvers for Mixed Integer Linear Optimization.

Ted K. Ralphs, Yuji Shinano, Timo Berthold, Thorsten Koch

Proceedings of the Handbook of Parallel Constraint Reasoning., 2018

2017

Three ideas for a feasibility pump for nonconvex MINLP.

Pietro Belotti, Timo Berthold

Optim. Lett., 2017

Three enhancements for optimization-based bound tightening.

Ambros M. Gleixner, Timo Berthold, Benjamin Müller, Stefan Weltge

J. Glob. Optim., 2017

Four Good Reasons to Use an Interior Point Solver Within a MIP Solver.

Timo Berthold, Michael Perregaard, Csaba Mészáros

Proceedings of the Operations Research Proceedings 2017, 2017

Experiments with Conflict Analysis in Mixed Integer Programming.

Jakob Witzig, Timo Berthold, Stefan Heinz

Proceedings of the Integration of AI and OR Techniques in Constraint Programming, 2017

2016

Solving Open MIP Instances with ParaSCIP on Supercomputers Using up to 80, 000 Cores.

Yuji Shinano, Tobias Achterberg, Timo Berthold, Stefan Heinz, Thorsten Koch, Michael Winkler

Proceedings of the 2016 IEEE International Parallel and Distributed Processing Symposium, 2016

Algorithms for discrete nonlinear optimization in FICO Xpress.

Pietro Belotti, Timo Berthold, Kelligton Neves

Proceedings of the 2016 IEEE Sensor Array and Multichannel Signal Processing Workshop (SAM), 2016

A First Implementation of ParaXpress: Combining Internal and External Parallelization to Solve MIPs on Supercomputers.

Yuji Shinano, Timo Berthold, Stefan Heinz

Proceedings of the Mathematical Software - ICMS 2016, 2016

2015

Shift-and-Propagate.

Timo Berthold, Gregor Hendel

J. Heuristics, 2015

Improving the Performance of MIP and MINLP Solvers by Integrated Heuristics.

Timo Berthold

Proceedings of the Operations Research Proceedings 2015, 2015

Branching on Multi-aggregated Variables.

Gerald Gamrath, Anna Melchiori, Timo Berthold, Ambros M. Gleixner, Domenico Salvagnin

Proceedings of the Integration of AI and OR Techniques in Constraint Programming, 2015

2014

RENS.

Timo Berthold

Math. Program. Comput., 2014

Undercover: a primal MINLP heuristic exploring a largest sub-MIP.

Timo Berthold, Ambros M. Gleixner

Math. Program., 2014

Solving Hard MIPLIB2003 Problems with ParaSCIP on Supercomputers: An Update.

Yuji Shinano, Tobias Achterberg, Timo Berthold, Stefan Heinz, Thorsten Koch, Michael Winkler

Proceedings of the 2014 IEEE International Parallel & Distributed Processing Symposium Workshops, 2014

2013

Measuring the impact of primal heuristics.

Timo Berthold

Oper. Res. Lett., 2013

Undercover Branching.

Timo Berthold, Ambros M. Gleixner

Proceedings of the Experimental Algorithms, 12th International Symposium, 2013

Primal MINLP Heuristics in a Nutshell.

Timo Berthold

Proceedings of the Operations Research Proceedings 2013, 2013

Cloud Branching.

Timo Berthold, Domenico Salvagnin

Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2013

2011

MIPLIB 2010.

Thorsten Koch, Tobias Achterberg, Erling Andersen, Oliver Bastert, Timo Berthold, Robert E. Bixby, Emilie Danna, Gerald Gamrath, Ambros M. Gleixner, Stefan Heinz, Andrea Lodi, Hans D. Mittelmann, Ted K. Ralphs, Domenico Salvagnin, Daniel E. Steffy, Kati Wolter

Math. Program. Comput., 2011

An Approximative Criterion for the Potential of Energetic Reasoning.

Timo Berthold, Stefan Heinz, Jens Schulz

Proceedings of the Theory and Practice of Algorithms in (Computer) Systems, 2011

Rounding and Propagation Heuristics for Mixed Integer Programming.

Tobias Achterberg, Timo Berthold, Gregor Hendel

Proceedings of the Operations Research Proceedings 2011, Selected Papers of the International Conference on Operations Research (OR 2011), August 30, 2011

2010

A Constraint Integer Programming Approach for Resource-Constrained Project Scheduling.

Timo Berthold, Stefan Heinz, Marco E. Lübbecke, Rolf H. Möhring, Jens Schulz

Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2010

Rapid Learning for Binary Programs.

Timo Berthold, Thibaut Feydy, Peter J. Stuckey

Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2010

ParaSCIP: A Parallel Extension of SCIP.

Yuji Shinano, Tobias Achterberg, Timo Berthold, Stefan Heinz, Thorsten Koch

Proceedings of the Competence in High Performance Computing 2010, 2010

2009

Nonlinear Pseudo-Boolean Optimization: Relaxation or Propagation?.

Timo Berthold, Stefan Heinz, Marc E. Pfetsch

Proceedings of the Theory and Applications of Satisfiability Testing, 2009

Hybrid Branching.

Tobias Achterberg, Timo Berthold

Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2009

2008

Constraint Integer Programming: A New Approach to Integrate CP and MIP.

Tobias Achterberg, Timo Berthold, Thorsten Koch, Kati Wolter

Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2008

2007

Improving the feasibility pump.

Tobias Achterberg, Timo Berthold

Discret. Optim., 2007

Heuristics of the Branch-Cut-and-Price-Framework SCIP.

Timo Berthold

Proceedings of the Operations Research, 2007