Skip to content

Timo Berthold

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

16

Venues

4

Active years

2008–2026

Best venue rank

A*

Where they publish

Papers

16 indexed papers, newest first.

YearVenueTitleAuthors
2026CPAIORLearning to Choose Branching Rules for Nonconvex MINLPs.Timo Berthold, Fritz Geis
2023CPImproving Conflict Analysis in MIP Solvers by Pseudo-Boolean Reasoning.Gioni Mexi, Timo Berthold, Ambros M. Gleixner, Jakob Nordstrm
2023CPAIORCutting Plane Selection with Analytic Centers and Multiregression.Mark Turner, Timo Berthold, Mathieu Besanon, Thorsten Koch
2022CPAIORTransferring Information Across Restarts in MIP.Timo Berthold, Gregor Hendel, Domenico Salvagnin
2021AAAILearning To Scale Mixed-Integer Programs.Timo Berthold, Gregor Hendel
2020CPAIORConflict-Free Learning for Mixed Integer Programming.Jakob Witzig, Timo Berthold
2019CPAIORLocal Rapid Learning for Integer Programs.Timo Berthold, Peter J. Stuckey, Jakob Witzig
2019CPAIORA Status Report on Conflict Analysis in Mixed Integer Nonlinear Programming.Jakob Witzig, Timo Berthold, Stefan Heinz
2017CPAIORExperiments with Conflict Analysis in Mixed Integer Programming.Jakob Witzig, Timo Berthold, Stefan Heinz
2015CPAIORBranching on Multi-aggregated Variables.Gerald Gamrath, Anna Melchiori, Timo Berthold, Ambros M. Gleixner, Domenico Salvagnin
2013CPAIORCloud Branching.Timo Berthold, Domenico Salvagnin
2010CPAIORRapid Learning for Binary Programs.Timo Berthold, Thibaut Feydy, Peter J. Stuckey
2010CPAIORA Constraint Integer Programming Approach for Resource-Constrained Project Scheduling.Timo Berthold, Stefan Heinz, Marco E. Lbbecke, Rolf H. Mhring, Jens Schulz
2009CPAIORHybrid Branching.Tobias Achterberg, Timo Berthold
2009SATNonlinear Pseudo-Boolean Optimization: Relaxation or Propagation?.Timo Berthold, Stefan Heinz, Marc E. Pfetsch
2008CPAIORConstraint Integer Programming: A New Approach to Integrate CP and MIP.Tobias Achterberg, Timo Berthold, Thorsten Koch, Kati Wolter