Timo  Berthold
Title
Cited by
Cited by
Year
MIPLIB 2010
T Koch, T Achterberg, E Andersen, O Bastert, T Berthold, RE Bixby, ...
Mathematical Programming Computation, 1-61, 2011
4142011
Constraint integer programming: A new approach to integrate CP and MIP
T Achterberg, T Berthold, T Koch, K Wolter
International Conference on Integration of Artificial Intelligence (AI) and …, 2008
1952008
Improving the feasibility pump
T Achterberg, T Berthold
Discrete Optimization 4 (1), 77-86, 2007
1892007
Primal heuristics for mixed integer programs
T Berthold
1332006
Extending a CIP Framework to Solve MIQCPs
T Berthold, S Heinz, S Vigerske
Mixed integer nonlinear programming, 427-444, 2012
1032012
Hybrid branching
T Achterberg, T Berthold
International Conference on AI and OR Techniques in Constriant Programming …, 2009
752009
Heuristic algorithms in global MINLP solvers
T Berthold
Verlag Dr. Hut, 2014
722014
Measuring the impact of primal heuristics
T Berthold
Operations Research Letters 41 (6), 611-614, 2013
712013
ParaSCIP: a parallel extension of SCIP
Y Shinano, T Achterberg, T Berthold, S Heinz, T Koch
Competence in High Performance Computing 2010, 135-148, 2011
682011
A constraint integer programming approach for resource-constrained project scheduling
T Berthold, S Heinz, ME Lübbecke, RH Möhring, J Schulz
International Conference on Integration of Artificial Intelligence (AI) and …, 2010
572010
RENS: the optimal rounding
T Berthold
Mathematical Programming Computation 6 (1), 1-22, 0
54*
Three enhancements for optimization-based bound tightening
AM Gleixner, T Berthold, B Müller, S Weltge
Journal of Global Optimization 67 (4), 731-757, 2017
482017
Undercover – a primal MINLP heuristic exploring a largest sub-MIP
T BERTHOLD, AM GLEIXNER
Mathematical Programming 144 (1-2), 315-346, 2014
422014
Rounding and propagation heuristics for mixed integer programming
T Achterberg, T Berthold, G Hendel
Operations research proceedings 2011, 71-76, 2012
352012
Nonlinear pseudo-Boolean optimization: relaxation or propagation?
T Berthold, S Heinz, M Pfetsch
Theory and Applications of Satisfiability Testing-SAT 2009, 441-446, 2009
312009
Analyzing the computational impact of MIQCP solver components
T Berthold, AM Gleixner, S Heinz, S Vigerske
302013
Solving mixed integer linear and nonlinear problems using the SCIP optimization suite
T Berthold, G Gamrath, AM Gleixner, S Heinz, T Koch, Y Shinano
ZIB-Report 12-27, 1-23, 2012
292012
Heuristics of the branch-cut-and-price-framework SCIP
T Berthold
Operations Research Proceedings 2007, 31-36, 2008
292008
Solving open MIP instances with ParaSCIP on supercomputers using up to 80,000 cores
Y Shinano, T Achterberg, T Berthold, S Heinz, T Koch, M Winkler
2016 IEEE International Parallel and Distributed Processing Symposium (IPDPS …, 2016
272016
Cloud branching
T Berthold, D Salvagnin
International Conference on AI and OR Techniques in Constriant Programming …, 2013
252013
The system can't perform the operation now. Try again later.
Articles 1–20