Timo Berthold - Staff
URL: Personal Homepage
Zuse Institute Berlin (ZIB)
Discrete Mathematics
Department Optimization
Takustr. 7
D-14195 Berlin-Dahlem
Germany
Email: berthold
zib.de
Phone: +49 30 84185-425
Fax: +49 30 84185-269
Room: 3107
Discrete Mathematics
Department Optimization
Takustr. 7
D-14195 Berlin-Dahlem
Germany
Email: berthold
zib.dePhone: +49 30 84185-425
Fax: +49 30 84185-269
Room: 3107
Publications
2013 |
|||
| Timo Berthold, Ambros Gleixner, Stefan Heinz, Stefan Vigerske | Analyzing the computational impact of MIQCP solver components | Appeared in: Numerical Algebra, Control and Optimization vol. 2, no. 4 (2012) pp. 739-748, | PDF (Preprint) DOI BibTex | RIS |
| Timo Berthold, Domenico Salvagnin | Cloud branching | ZIB-Report 13-01 | PDF BibTex | RIS |
| Timo Berthold | Measuring the impact of primal heuristics | ZIB-Report 13-17 | PDF BibTex | RIS |
| Timo Berthold, Gregor Hendel | Shift-And-Propagate | ZIB-Report 13-03 | PDF BibTex | RIS |
2012 |
|||
| Yuji Shinano, Tobias Achterberg, Timo Berthold, Stefan Heinz, Thorsten Koch | ParaSCIP -- a parallel extension of SCIP | Competence in High Performance Computing 2010, February, Christian Bischof, Heinz-Gerd Hegering, Wolfgang E. Nagel, Gabriel Wittum (Eds.), pp. 135-148, Springer, 2012 | PDF (Preprint) BibTex | RIS |
| Timo Berthold | RENS – the optimal rounding | ZIB-Report 12-17 | PDF BibTex | RIS |
| Timo Berthold, Ambros M. Gleixner, Stefan Heinz, Thorsten Koch, Yuji Shinano | SCIP Optimization Suite を利用した 混合整数(線形/非線形) 計画問題の解法 | Appeared in: Proceedings of the 24th RAMP symposium. The Operations Society of Japan, RAMP: Research Association of Mathematical Programming. Masakazu Muramatsu (ed. ) 2012, pp. 165-192, | PDF (Preprint) BibTex | RIS |
| Timo Berthold, Gerald Gamrath, Ambros M. 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 | RIS |
| Timo Berthold, Ambros Gleixner | Undercover – a primal MINLP heuristic exploring a largest sub-MIP | Accepted for publication in Mathematical Programming A, | PDF (Preprint) PDF (Preprint) BibTex | RIS |
2011 |
|||
| Timo Berthold, Stefan Heinz, Jens Schulz | An approximative Criterion for the Potential of Energetic Reasoning | Appeared in: Theory and Practice of Algorithms in (Computer) Systems, Alberto Marchetti-Spaccamela and Michael Segal (eds.) Springer 2011, LNCS 6595, pp. 229-239, | PDF (Preprint) BibTex | RIS |
| Timo Berthold, Stefan Heinz, Marc E. Pfetsch, Stefan Vigerske | Large Neighborhood Search beyond MIP | Appeared in: Proceedings of the 9th Metaheuristics International Conference (MIC 2011). 2011. Luca di Gaspar et al. eds. ISBN 978-88-900984-3-7, pp. 51-60, | PDF (Preprint) BibTex | RIS |
| 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 Mittelmann, Ted Ralphs, Domenico Salvagnin, Daniel E. Steffy, Kati Wolter | MIPLIB 2010 | Mathematical Programming Computation, Vol. 3, No. 2, pp. 103-163, 2011 | PDF (Preprint) DOI BibTex | RIS |
| Timo Berthold, Ambros M. Gleixner, Stefan Heinz, Stefan Vigerske | On the computational impact of MIQCP solver components | ZIB-Report 11-01 | PDF BibTex | RIS |
| Tobias Achterberg, Timo Berthold, Gregor Hendel | Rounding and Propagation Heuristics for Mixed Integer Programming | Appeared in: Operations Research Proceedings 2011. Diethard Klatte et al. (eds.) Springer 2012, pp. 71-76, | PDF (Preprint) BibTex | RIS |
2010 |
|||
| Timo Berthold, Stefan Heinz, Marco Lübbecke, Rolf H. Möhring, Jens Schulz | A Constraint Integer Programming Approach for Resource-Constrained Project Scheduling | Proc. of CPAIOR 2010, LNCS, June, Andrea Lodi, Michela Milano, Paolo Toth (Eds.), Vol. 6140, pp. 313-317, Springer, 2010 | PDF (Preprint) BibTex | RIS |
| Timo Berthold, Thibaut Feydy, Peter J. Stuckey | Rapid Learning for Binary Programs | Proc. of CPAIOR 2010, LNCS, June, Andrea Lodi, Michela Milano, Paolo Toth (Eds.), Vol. 6140, pp. 51-55, Springer, 2010 | PDF (Preprint) BibTex | RIS |
2009 |
|||
| Timo Berthold, Marc E. Pfetsch | Detecting Orbitopal Symmetries | Operations Research Proceedings 2008, Bernhard Fleischmann, Karl Heinz Borgwardt, Robert Klein, Axel Tuma (Eds.), pp. 433-438, Springer-Verlag, 2009 | PDF (Preprint) BibTex | RIS |
| Timo Berthold, Stefan Heinz, Stefan Vigerske | Extending a CIP framework to solve MIQCPs | App. in: Mixed Integer Nonlinear Programming. Jon Lee, Sven Leyffer (eds.) The IMA Volumes in Mathematics and its Applications, 154. Springer 2011, pp. 427-444, | PDF (Preprint) PDF (Preprint) BibTex | RIS |
| Tobias Achterberg, Timo Berthold | Hybrid Branching | Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 6th International Conference, CPAIOR 2009, Lecture Notes in Computer Science, May, Willem Jan van Hoeve, John N. Hooker (Eds.), Vol. 5547, pp. 309-311, Springer, 2009 | BibTex | RIS |
| Timo Berthold, Stefan Heinz, Marc E. Pfetsch | Nonlinear pseudo-Boolean optimization: relaxation or propagation? | Theory and Applications of Satisfiability Testing -- SAT 2009, Lecture Notes in Computer Science, July, Oliver Kullmann (Ed.), Vol. 5584, pp. 441-446, Springer, 2009 | PDF (Preprint) BibTex | RIS |
| Timo Berthold, Ambros M. Gleixner | Undercover – a primal heuristic for MINLP based on sub-MIPs generated by set covering | App. in: Proceedings of the EWMINLP. Pierre Bonami et al. eds. 2010, pp. 103-112, | PDF (Preprint) PDF (Preprint) PDF (Preprint) BibTex | RIS |
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, Lecture Notes in Computer Science, may, Laurent Perron, Michael A. Trick (Eds.), Vol. 5015, pp. 6-20, Springer, 2008 | PDF (Preprint) BibTex | RIS |
| Tobias Achterberg, Timo Berthold, Stefan Heinz, Thorsten Koch, Kati Wolter | Constraint Integer Programming: Techniques and Applications | ZIB-Report 08-43 | PDF BibTex | RIS |
| Timo Berthold | Heuristics of the Branch-Cut-and-Price-Framework SCIP | Operations Research Proceedings 2007, Jörg Kalcsics, Stefan Nickel (Eds.), pp. 31-36, Springer-Verlag, 2008 | PDF (Preprint) BibTex | RIS |
| Timo Berthold | Heuristiken im Branch-and-Cut-Framework SCIP | OR News, No. 32, pp. 24-25, 2008 | BibTex | RIS |
| Timo Berthold, Stefan Heinz, Marc E. Pfetsch | Solving Pseudo-Boolean Problems with SCIP | ZIB-Report 08-12 | PDF BibTex | RIS |
2007 |
|||
| Tobias Achterberg, Timo Berthold | Improving the Feasibility Pump | Discrete Optimization, Vol. Special Issue 4, No. 1, pp. 77-86, 2007 | PDF (Preprint) BibTex | RIS |
| Timo Berthold | RENS - Relaxation Enforced Neighborhood Search | ZIB-Report 07-28 | PDF BibTex | RIS |
2006 |
|||
| Timo Berthold | Primal Heuristics for Mixed Integer Programs | Diploma thesis, 2006 | PDF BibTex | RIS |