Timo Berthold - RankMe

56 papers A* 1A 3B 13Journal 27Unranked 11

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Learning to use local cuts. Math. Program. Comput. Timo Berthold, Matteo Francobaldi, Gregor Hendel
2024	J	`jnl`	The MIP Workshop 2023 Computational Competition on reoptimization. Math. Program. Comput. Suresh Bolusani, Mathieu Besançon, Ambros M. Gleixner, Timo Berthold, Claudia D'Ambrosio, Gonzalo Muñoz, Joseph Paat, Dimitri Thomopulos
2023	J	`jnl`	A Context-Aware Cutting Plane Selection Algorithm for Mixed-Integer Programming. CoRR Mark Turner, Timo Berthold, Mathieu Besançon
2023	J	`jnl`	Branching via Cutting Plane Selection: Improving Hybrid Branching. CoRR Mark Turner, Timo Berthold, Mathieu Besançon, Thorsten Koch
2023	B	`conf`	Cutting Plane Selection with Analytic Centers and Multiregression. CPAIOR Mark Turner, Timo Berthold, Mathieu Besançon, Thorsten Koch
2023	A	`conf`	Improving Conflict Analysis in MIP Solvers by Pseudo-Boolean Reasoning. CP Gioni Mexi, Timo Berthold, Ambros M. Gleixner, Jakob Nordström
2023	J	`jnl`	Improving Conflict Analysis in MIP Solvers by Pseudo-Boolean Reasoning. CoRR Gioni Mexi, Timo Berthold, Ambros M. Gleixner, Jakob Nordström
2023	J	`jnl`	Using multiple reference vectors and objective scaling in the Feasibility Pump. EURO J. Comput. Optim. Gioni Mexi, Timo Berthold, Domenico Salvagnin
2022	J	`jnl`	Cutting Plane Selection with Analytic Centers and Multiregression. CoRR Mark Turner, Timo Berthold, Mathieu Besançon, Thorsten Koch
2022	J	`jnl`	Progress in mathematical programming solvers from 2001 to 2020. EURO J. Comput. Optim. Thorsten Koch, Timo Berthold, Jaap Pedersen, Charlie Vanaret
2022	B	`conf`	Transferring Information Across Restarts in MIP. CPAIOR Timo Berthold, Gregor Hendel, Domenico Salvagnin
2021	J	`jnl`	Computational aspects of infeasibility analysis in mixed integer programming. Math. Program. Comput. Jakob Witzig, Timo Berthold, Stefan Heinz
2021	J	`jnl`	Conflict Analysis for MINLP. INFORMS J. Comput. Timo Berthold, Jakob Witzig
2021	A*	`conf`	Learning To Scale Mixed-Integer Programs. AAAI Timo Berthold, Gregor Hendel
2021	J	`jnl`	MIPLIB 2017: data-driven compilation of the 6th mixed-integer programming library. Math. Program. Comput. Ambros M. Gleixner, Gregor Hendel, Gerald Gamrath, Tobias Achterberg, Michael Bastubbe, Timo Berthold, Philipp M. 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
2021	J	`jnl`	The confined primal integral: a measure to benchmark heuristic MINLP solvers against global MINLP solvers. Math. Program. Timo Berthold, Zsolt Csizmadia
2020	J	`jnl`	An exploratory computational analysis of dual degeneracy in mixed-integer programming. EURO J. Comput. Optim. Gerald Gamrath, Timo Berthold, Domenico Salvagnin
2020	B	`conf`	Conflict-Free Learning for Mixed Integer Programming. CPAIOR Jakob Witzig, Timo Berthold
2019	B	`conf`	A Status Report on Conflict Analysis in Mixed Integer Nonlinear Programming. CPAIOR Jakob Witzig, Timo Berthold, Stefan Heinz
2019	B	`conf`	Local Rapid Learning for Integer Programs. CPAIOR Timo Berthold, Peter J. Stuckey, Jakob Witzig
2019	J	`jnl`	Structure-driven fix-and-propagate heuristics for mixed integer programming. Math. Program. Comput. Gerald Gamrath, Timo Berthold, Stefan Heinz, Michael Winkler
2019	J	`jnl`	Ten years of feasibility pump, and counting. EURO J. Comput. Optim. Timo Berthold, Andrea Lodi, Domenico Salvagnin
2018	J	`jnl`	A computational study of primal heuristics inside an MI(NL)P solver. J. Glob. Optim. Timo Berthold
2018	J	`jnl`	From feasibility to improvement to proof: three phases of solving mixed-integer programs. Optim. Methods Softw. Timo Berthold, Gregor Hendel, Thorsten Koch
2018	J	`jnl`	ParaXpress: an experimental extension of the FICO Xpress-Optimizer to solve hard MIPs on supercomputers. Optim. Methods Softw. Yuji Shinano, Timo Berthold, Stefan Heinz
2018	—	`ch.`	Parallel Solvers for Mixed Integer Linear Optimization. Handbook of Parallel Constraint Reasoning Ted K. Ralphs, Yuji Shinano, Timo Berthold, Thorsten Koch
2018	J	`jnl`	Parallelization of the FICO Xpress-Optimizer. Optim. Methods Softw. Timo Berthold, James Farmer, Stefan Heinz, Michael Perregaard
2017	B	`conf`	Experiments with Conflict Analysis in Mixed Integer Programming. CPAIOR Jakob Witzig, Timo Berthold, Stefan Heinz
2017	—	`conf`	Four Good Reasons to Use an Interior Point Solver Within a MIP Solver. OR Timo Berthold, Michael Perregaard, Csaba Mészáros
2017	J	`jnl`	Three enhancements for optimization-based bound tightening. J. Glob. Optim. Ambros M. Gleixner, Timo Berthold, Benjamin Müller, Stefan Weltge
2017	J	`jnl`	Three ideas for a feasibility pump for nonconvex MINLP. Optim. Lett. Pietro Belotti, Timo Berthold
2016	—	`conf`	A First Implementation of ParaXpress: Combining Internal and External Parallelization to Solve MIPs on Supercomputers. ICMS Yuji Shinano, Timo Berthold, Stefan Heinz
2016	—	`conf`	Algorithms for discrete nonlinear optimization in FICO Xpress. SAM Pietro Belotti, Timo Berthold, Kelligton Neves
2016	—	`conf`	Parallelization of the FICO Xpress-Optimizer. ICMS Timo Berthold, James Farmer, Stefan Heinz, Michael Perregaard
2016	A	`conf`	Solving Open MIP Instances with ParaSCIP on Supercomputers Using up to 80, 000 Cores. IPDPS Yuji Shinano, Tobias Achterberg, Timo Berthold, Stefan Heinz, Thorsten Koch, Michael Winkler
2015	B	`conf`	Branching on Multi-aggregated Variables. CPAIOR Gerald Gamrath, Anna Melchiori, Timo Berthold, Ambros M. Gleixner, Domenico Salvagnin
2015	—	`conf`	Improving the Performance of MIP and MINLP Solvers by Integrated Heuristics. OR Timo Berthold
2015	J	`jnl`	Shift-and-Propagate. J. Heuristics Timo Berthold, Gregor Hendel
2014	J	`jnl`	RENS. Math. Program. Comput. Timo Berthold
2014	—	`conf`	Solving Hard MIPLIB2003 Problems with ParaSCIP on Supercomputers: An Update. IPDPS Workshops Yuji Shinano, Tobias Achterberg, Timo Berthold, Stefan Heinz, Thorsten Koch, Michael Winkler
2014	J	`jnl`	Undercover: a primal MINLP heuristic exploring a largest sub-MIP. Math. Program. Timo Berthold, Ambros M. Gleixner
2013	B	`conf`	Cloud Branching. CPAIOR Timo Berthold, Domenico Salvagnin
2013	J	`jnl`	Measuring the impact of primal heuristics. Oper. Res. Lett. Timo Berthold
2013	—	`conf`	Primal MINLP Heuristics in a Nutshell. OR Timo Berthold
2013	B	`conf`	Undercover Branching. SEA Timo Berthold, Ambros M. Gleixner
2011	—	`conf`	An Approximative Criterion for the Potential of Energetic Reasoning. TAPAS Timo Berthold, Stefan Heinz, Jens Schulz
2011	J	`jnl`	MIPLIB 2010. Math. Program. Comput. 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
2011	—	`conf`	Rounding and Propagation Heuristics for Mixed Integer Programming. OR Tobias Achterberg, Timo Berthold, Gregor Hendel
2010	B	`conf`	A Constraint Integer Programming Approach for Resource-Constrained Project Scheduling. CPAIOR Timo Berthold, Stefan Heinz, Marco E. Lübbecke, Rolf H. Möhring, Jens Schulz
2010	—	`conf`	ParaSCIP: A Parallel Extension of SCIP. CHPC Yuji Shinano, Tobias Achterberg, Timo Berthold, Stefan Heinz, Thorsten Koch
2010	B	`conf`	Rapid Learning for Binary Programs. CPAIOR Timo Berthold, Thibaut Feydy, Peter J. Stuckey
2009	B	`conf`	Hybrid Branching. CPAIOR Tobias Achterberg, Timo Berthold
2009	A	`conf`	Nonlinear Pseudo-Boolean Optimization: Relaxation or Propagation?. SAT Timo Berthold, Stefan Heinz, Marc E. Pfetsch
2008	B	`conf`	Constraint Integer Programming: A New Approach to Integrate CP and MIP. CPAIOR Tobias Achterberg, Timo Berthold, Thorsten Koch, Kati Wolter
2007	—	`conf`	Heuristics of the Branch-Cut-and-Price-Framework SCIP. OR Timo Berthold
2007	J	`jnl`	Improving the feasibility pump. Discret. Optim. Tobias Achterberg, Timo Berthold