% Publication list of Timo Berthold % %%%%%%%% % 2015 % %%%%%%%% @techreport{GamrathMelchioriBertholdGleixnerSalvagnin2015TR, author = {Gerald Gamrath and Anna Melchiori and Timo Berthold and Ambros Gleixner and Domenico Salvagnin}, title = {Branching on multi-aggregated variables}, institution = {ZIB}, number = {15-10}, urn = {urn:nbn:de:0297-zib-53829}, year = {2015}, note={to appear in Proceedings of CPAIOR2015.} } %%%%%%%% % 2014 % %%%%%%%% @inproceedings{Berthold2014b, author = {Timo Berthold}, title = {Primal {MINLP} heuristics in a nutshell}, year = {2014}, booktitle={Operations Research Proceedings 2013}, editor={Huisman, Dennis and Louwerse, Ilse and Wagelmans, Albert P.M.}, publisher={Springer International Publishing}, pages={23--28}, } @Phdthesis{Berthold2014, author = {Timo Berthold}, title = {Heuristic algorithms in global {MINLP} solvers}, school = {Technische Universit{\"a}t Berlin}, year = {2014}, } @InCollection{ArnoldBertholdHeinzVigerskeEtAl2014, author = {Thomas Arnold and Timo Berthold and Stefan Heinz and Stefan Vigerske and Ren{\'e} Henrion and Martin Gr{\"o}tschel and Thorsten Koch and Caren Tischendorf and Werner R{\"o}misch}, title = {A Jack of all trades? Solving stochastic mixed-integer nonlinear constraint programs}, year = {2014}, booktitle = {{\sc Matheon} -- Mathematics for Key Technologies}, editor = {Peter Deuflhard and Martin Gr{\"o}tschel and Dietmar H{\"o}mberg and Ulrich Horst and J{\"u}rg Kramer and Volker Mehrmann and Konrad Polthier and Frank Schmidt and Christof Sch{\"u}tte and Martin Skutella and J{\"u}rgen Sprekels}, publisher = {European Mathematical Society}, volume = {1}, series = {EMS Series in Industrial and Applied Mathematics}, pages = {135--146} } @InCollection{BertholdHeinz2014, author = {Timo Berthold and Stefan Heinz}, title = {SCIP Optimization Suite}, year = {2014}, booktitle = {{\sc Matheon} -- Mathematics for Key Technologies}, editor = {Peter Deuflhard and Martin Gr{\"o}tschel and Dietmar H{\"o}mberg and Ulrich Horst and J{\"u}rg Kramer and Volker Mehrmann and Konrad Polthier and Frank Schmidt and Christof Sch{\"u}tte and Martin Skutella and J{\"u}rgen Sprekels}, publisher = {European Mathematical Society}, volume = {1}, series = {EMS Series in Industrial and Applied Mathematics}, pages = {148--149} } @article{BertholdGleixner2014, year = {2014}, journal = {Mathematical Programming}, doi = {10.1007/s10107-013-0635-2}, title = {Undercover: a primal {MINLP} heuristic exploring a largest sub-{MIP}}, url = {http://dx.doi.org/10.1007/s10107-013-0635-2}, author = {Berthold, Timo and Gleixner, Ambros M.}, volume = {144}, number = {1--2}, doi = {10.1007/s10107-013-0635-2}, url = {http://dx.doi.org/10.1007/s10107-013-0635-2}, publisher = {Springer Berlin Heidelberg}, pages = {315--346}, } @article{Berthold2014, author = "Timo Berthold", title = "{RENS} -- the optimal rounding", year={2014}, journal={Mathematical Programming Computation}, doi={10.1007/s12532-013-0060-9}, url={http://dx.doi.org/10.1007/s12532-013-0060-9}, publisher={Springer-Verlag}, volume = {6}, number = {1}, pages = {33--54}, } %%%%%%%% % 2013 % %%%%%%%% @techreport{Berthold2013TRb, author = {Timo Berthold}, title = {Primal MINLP heuristics in a nutshell}, type = {ZIB-Report}, institution = {Zuse Institute Berlin}, year = {2013}, number = {13-42}, urn = {urn:nbn:de:0297-zib-42170}, } @techreport{ShinanoAchterbergBertholdHeinzKochWinkler2013TR, author = {Yuji Shinano and Tobias Achterberg and Timo Berthold and Stefan Heinz and Thorsten Koch and Michael Winkler}, title = {Solving hard {MIPLIB2003} problems with {ParaSCIP} on Supercomputers: An update}, type = {ZIB-Report}, institution = {Zuse Institute Berlin}, year = {2013}, number = {13-66}, } % use UTF-8 encoding for correct display @InProceedings{ShinanoAchterbergBertholdHeinzKochVigerskeWinkler2013, author = "Yuji Shinano and Tobias Achterberg and Timo Berthold and Stefan Heinz and Thorsten Koch and Stefan Vigerske and Michael Winkler", title = {制約整数計画ソルバSCIPの並列化}, booktitle = "Proceedings of the Institute of Statistical Mathematics", publisher = "Institute of Statistical Mathematics", editor = "Shiro Ikeda and Satoshi Ito", volume = "61", pages = "47--78", year = "2013", } @article{Berthold2013, title = "Measuring the impact of primal heuristics", journal = "Operations Research Letters", volume = "41", number = "6", pages = "611--614", year = "2013", doi = "http://dx.doi.org/10.1016/j.orl.2013.08.007", author = "Timo Berthold", } @inproceedings{BertholdSalvagnin2013, author = {Berthold, Timo and Salvagnin, Domenico}, title = {Cloud Branching}, year = {2013}, booktitle = {Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems}, volume = {7874}, series = {Lecture Notes in Computer Science}, editor = {Gomes, Carla and Sellmann, Meinolf}, doi = {10.1007/978-3-642-38171-3_3}, publisher = {Springer Berlin Heidelberg}, pages = {28--43} } @inproceedings{BertholdGleixner2013b, author = {Berthold, Timo and Gleixner, Ambros M.}, title = {Undercover branching}, editor = {Vincenzo Bonifaci and Camil Demetrescu and Alberto Marchetti-Spaccamela}, booktitle = {Experimental Algorithms}, pages = {212--223}, publisher = {Springer}, series = {LNCS}, volume = {7933}, year = {2013}, note = {available as ZIB-Report 13-14.} } @techreport{BertholdGleixner2013TR, author={Berthold, Timo and Gleixner, Ambros M.}, title = {Undercover branching}, type = {ZIB-Report}, institution = {Zuse Institute Berlin}, year = {2013}, number = {13-14}, } @techreport{Berthold2013TR, author = {Timo Berthold}, title = {Measuring the impact of primal heuristics}, type = {ZIB-Report}, institution = {Zuse Institute Berlin}, year = {2013}, number = {13-17}, urn = {urn:nbn:de:0297-zib-17887}, } @techreport{BertholdHendel2013TR, author = {Timo Berthold and Gregor Hendel}, title = {Shift-And-Propagate}, type = {ZIB-Report}, institution = {Zuse Institute Berlin}, year = {2013}, number = {13-03}, note = {\url{http://opus4.kobv.de/opus4-zib/frontdoor/index/index/docId/1759/}}, } @techreport{BertholdSalvagnin2013TR, author = {Timo Berthold and Domenico Salvagnin}, title = {Cloud branching}, type = {ZIB-Report}, institution = {Zuse Institute Berlin}, year = {2013}, number = {13-01}, note = {\url{http://opus4.kobv.de/opus4-zib/frontdoor/index/index/docId/1730/}. Accepted for publication in Proceedings of CPAIOR 2013}, } %%%%%%%% % 2012 % %%%%%%%% @article{BertholdGleixnerHeinzVigerske2012, author = {Timo Berthold and Gleixner, Ambros M. and Stefan Heinz and Stefan Vigerske}, title = {Analyzing the computational impact of {MIQCP} solver components}, journal = {Numerical Algebra, Control and Optimization}, publisher = {American Institute of Mathematical Science}, pages = {739--748}, volume = {2}, number = {4}, year = {2012} } % use UTF-8 encoding for correct display @InProceedings{BertholdGleixnerHeinzKochShinano2012, author = "Timo Berthold and Ambros M. Gleixner and Stefan Heinz and Thorsten Koch and Yuji Shinano", title = {SCIP Optimization Suite を利用した 混合整数(線形/非線 形) 計画問題の解法}, booktitle = "Proceedings of the Twenty-Forth RAMP symposium", publisher = "The Operations Research Society of Japan (RAMP: Research Association of Mathematical Programming)", editor = "Masakazu　Muramatsu", pages = "165--192", year = "2012", } @TechReport{BertholdGamrathGleixnerHeinzKochShinano2012TR, author = {Timo Berthold and Gerald Gamrath and Ambros M. Gleixner and Stefan Heinz and Thorsten Koch and Yuji Shinano}, title = {Solving mixed integer linear and nonlinear problems using the SCIP Optimization Suite}, type = {ZIB-Report}, institution = {Zuse Institute Berlin}, year = {2012}, number = {12-27}, note = {\url{http://opus4.kobv.de/opus4-zib/frontdoor/index/index/docId/1565/}}, } % use UTF-8 encoding for correct display @techreport{BertholdGleixnerHeinzKochShinano2012TR, author = {Timo Berthold and Ambros M. Gleixner and Stefan Heinz and Thorsten Koch and Yuji Shinano}, title = {SCIP Optimization Suite を利用した 混合整数(線形/非線 形) 計画問題の解法}, institution = {Zuse Institute Berlin}, type = {ZIB-Report}, address = {Takustr.7, 14195 Berlin}, language = {jpn}, number = {12-24}, year = {2012} } @inproceedings{AchterbergBertholdHendel2012, author = {Tobias Achterberg and Timo Berthold and Gregor Hendel}, title = {Rounding and Propagation Heuristics for Mixed Integer Programming}, booktitle = {Operations Research Proceedings 2011}, publisher = {Springer Berlin Heidelberg}, editor = {Diethard Klatte and Hans-Jakob L\"uthi and Karl Schmedders}, pages = {71--76}, year = {2012}, } @TechReport{Berthold2012TR, author = {Timo Berthold}, title = {RENS -- the optimal rounding}, type = {ZIB-Report}, institution = {Zuse Institute Berlin}, year = {2012}, number = {12-17}, note = {Accepted for publication in Mathematical Programming Computation. \url{http://opus4.kobv.de/opus4-zib/frontdoor/index/index/docId/1520/}}, } @inproceedings{ShinanoAchterbergBertholdHeinzKoch2012, author = {Yuji Shinano and Tobias Achterberg and Timo Berthold and Stefan Heinz and Thorsten Koch}, editor = {Christian Bischof and Heinz-Gerd Hegering and Wolfgang E. Nagel and Gabriel Wittum}, title = {ParaSCIP -- a parallel extension of SCIP}, booktitle = {Competence in High Performance Computing 2010}, pages = {135--148}, publisher = {Springer}, year = {2012}, month = {February}, } @TechReport{BertholdGleixner2012TR, author = {Timo Berthold and Gleixner, Ambros M.}, title = {Undercover -- a primal MINLP heuristic exploring a largest sub-MIP}, type = {ZIB-Report}, institution = {Zuse Institute Berlin}, year = {2012}, number = {12-07}, note = {\url{http://opus4.kobv.de/opus4-zib/frontdoor/index/index/docId/1463/}}, } %%%%%%%% % 2011 % %%%%%%%% @InCollection{BertholdHeinzVigerske2011, author = {Timo Berthold and Stefan Heinz and Stefan Vigerske}, title = {Extending a CIP framework to solve MIQCPs}, booktitle = {Mixed Integer Nonlinear Programming}, editor = {Jon Lee and Sven Leyffer}, publisher = {Springer}, year = {2011}, volume = {154}, series = {The IMA Volumes in Mathematics and its Applications}, pages = {427--444} } @inproceedings{BertholdHeinzPfetschVigerske2011, title = {Large Neighborhood Search beyond MIP}, editor = {Luca Di Gaspero and Andrea Schaerf and Thomas St\"utzle}, author = {Timo Berthold and Stefan Heinz and Marc E. Pfetsch and Stefan Vigerske}, booktitle = {Proceedings of the 9th Metaheuristics International Conference (MIC 2011)}, year = {2011}, isbn = {978-88-900984-3-7}, pages = {51--60} } @TechReport{AchterbergBertholdHendel2011TR, author = {Tobias Achterberg and Timo Berthold and Gregor Hendel}, title = {Rounding and Propagation Heuristics for Mixed Integer Programming}, type = {ZIB-Report}, year = {2011}, number = {11-29}, note = {\url{http://opus4.kobv.de/opus4-zib/frontdoor/index/index/docId/1325/}} } @Article{KochEtAl2011, author = {Thorsten Koch and Tobias Achterberg and Erling Andersen and Oliver Bastert and Timo Berthold and Robert E. Bixby and Emilie Danna and Gerald Gamrath and Ambros M. Gleixner and Stefan Heinz and Andrea Lodi and Hans Mittelmann and Ted Ralphs and Domenico Salvagnin and Daniel E. Steffy and Kati Wolter}, title = {{MIPLIB} 2010}, journal = {Mathematical Programming Computation}, volume = {3}, number = {2}, pages = {103--163}, year = {2011}, language = {english}, } @TechReport{BertholdHeinzPfetschVigerske2011TR, author = {Timo Berthold and Stefan Heinz and Marc E. Pfetsch and Stefan Vigerske}, title = {Large Neighborhood Search beyond MIP}, type = {ZIB-Report}, institution = {Zuse Institute Berlin}, year = {2011}, number = {11-21}, note = {\url{http://opus4.kobv.de/opus4-zib/frontdoor/index/index/docId/1298/}} } @InProceedings{BertholdHeinzSchulz2011, author = {Timo Berthold and Stefan Heinz and Jens Schulz}, title = {An approximative Criterion for the Potential of Energetic Reasoning}, booktitle = {Theory and Practice of Algorithms in (Computer) Systems}, pages = {229--239}, year = {2011}, editor = {Alberto Marchetti-Spaccamela and Michael Segal}, series = {Lecture Notes in Computer Science}, volume = {6595}, publisher = {Springer} } @TechReport{BertholdGleixnerHeinzVigerske2011TR, author = {Timo Berthold and Gleixner, Ambros M. and Stefan Heinz and Stefan Vigerske}, title = {On the computational impact of MIQCP solver components}, type = {ZIB-Report}, institution = {Zuse Institute Berlin}, year = {2011}, number = {11-01}, note = {\url{http://opus4.kobv.de/opus4-zib/frontdoor/index/index/docId/1199/}} } %%%%%%%% % 2010 % %%%%%%%% @TechReport{KochEtAl2010TR, author = {Thorsten Koch and Tobias Achterberg and Erling Andersen and Oliver Bastert and Timo Berthold and Robert E. Bixby and Emilie Danna and Gerald Gamrath and Ambros M. Gleixner and Stefan Heinz and Andrea Lodi and Hans Mittelmann and Ted Ralphs and Domenico Salvagnin and Daniel E. Steffy and Kati Wolter}, title = {{MIPLIB} 2010}, type = {ZIB-Report}, institution = {Zuse Institute Berlin}, year = {2010}, number = {10-31}, note = {\url{http://opus4.kobv.de/opus4-zib/frontdoor/index/index/docId/1295/}} } @TechReport{ShinanoAchterbergBertholdHeinzKoch2010TR, author = {Yuji Shinano and Tobias Achterberg and Timo Berthold and Stefan Heinz and Thorsten Koch}, title = {ParaSCIP -- a parallel extension of SCIP}, type = {ZIB-Report}, institution = {Zuse Institute Berlin}, year = {2010}, number = {10-27}, note = {\url{http://opus4.kobv.de/opus4-zib/frontdoor/index/index/docId/1192/}} } @InProceedings{BertholdFeydyStuckey2010, author = {Timo Berthold and Feydy, Thibaut and Stuckey, Peter J.}, title = {Rapid Learning for Binary Programs}, editor = {Andrea Lodi and Michela Milano and Paolo Toth}, booktitle = {Proc. of CPAIOR 2010}, pages = {51--55}, publisher = {Springer}, series = {LNCS}, volume = {6140}, year = {2010}, month = {June}, } @InProceedings{BertholdHeinzLuebbeckeMoehringSchulz2010, author = {Timo Berthold and Stefan Heinz and Marco L\"ubbecke and Rolf H.~M\"ohring and Jens Schulz}, title = {A Constraint Integer Programming Approach for Resource-Constrained Project Scheduling}, editor = {Andrea Lodi and Michela Milano and Paolo Toth}, booktitle = {Proc. of CPAIOR 2010}, pages = {313--317}, publisher = {Springer}, series = {LNCS}, volume = {6140}, year = {2010}, month = {June}, } @TechReport{BertholdFeydyStuckey2010TR, author = {Timo Berthold and Feydy, Thibaut and Stuckey, Peter J.}, title = {Rapid Learning for Binary Programs}, type = {ZIB-Report}, institution = {Zuse Institute Berlin}, year = {2010}, number = {10-04}, note = {\url{http://opus4.kobv.de/opus4-zib/frontdoor/index/index/docId/1166/}} } @TechReport{BertholdHeinzLuebbeckeMoehringSchulz2010TR, author = {Timo Berthold and Stefan Heinz and Marco L\"ubbecke amd Rolf H.\ M\"ohring and Jens Schulz}, title = {A Constraint Integer Programming Approach for Resource-Constrained Project Scheduling}, type = {ZIB-Report}, institution = {Zuse Institute Berlin}, year = {2010}, number = {10-03}, note = {\url{http://opus4.kobv.de/opus4-zib/frontdoor/index/index/docId/1118/}} } @InProceedings{BertholdGleixner2010, author = {Timo Berthold and Ambros M. Gleixner}, title = {Undercover -- a primal heuristic for {MINLP} based on sub-{MIP}s generated by set covering}, booktitle = {Proceedings of the EWMINLP}, editor = {Pierre Bonami and Leo Liberti and Andrew J. Miller and Annick Sartenaer}, month = {April}, year = {2010}, pages = {103--112} } %%%%%%%% % 2009 % %%%%%%%% @TechReport{BertholdGleixner2009TR, author = {Timo Berthold and Gleixner, Ambros M.}, title = {Undercover -- a primal heuristic for MINLP based on sub-MIPs generated by set covering}, type = {ZIB-Report}, institution = {Zuse Institute Berlin}, year = {2009}, number = {09-40}, note = {\url{http://opus4.kobv.de/opus4-zib/frontdoor/index/index/docId/1163/}}, } @TechReport{BertholdHeinzVigerske2009TR, author = {Timo Berthold and Stefan Heinz and Stefan Vigerske}, title = {Extending a CIP framework to solve MIQCPs}, type = {ZIB-Report}, institution = {Zuse Institute Berlin}, year = {2009}, number = {09-23}, note = {\url{http://opus.kobv.de/zib/volltexte/2009/1186/}}, } @InProceedings{BertholdHeinzPfetsch2009, author = {Timo Berthold and Stefan Heinz and Marc E. Pfetsch}, title = {Nonlinear pseudo-Boolean optimization: relaxation or propagation?}, booktitle = {Theory and Applications of Satisfiability Testing -- SAT 2009}, pages = {441--446}, year = {2009}, editor = {Oliver Kullmann}, volume = {5584}, series = {Lecture Notes in Computer Science}, month = {July}, publisher = {Springer}, } @InProceedings{BertholdPfetsch2009, author = {Timo Berthold and Marc E. Pfetsch}, title = {Detecting Orbitopal Symmetries}, booktitle = {Operations Research Proceedings 2008}, publisher = {Springer-Verlag}, editor = {Bernhard Fleischmann and Karl Heinz Borgwardt and Robert Klein and Axel Tuma}, pages = {433--438}, year = {2009}, } @InProceedings{AchterbergBerthold2009, author = {Tobias Achterberg and Timo Berthold}, title = {Hybrid Branching}, editor = {Willem Jan van Hoeve and John N. Hooker}, booktitle = {Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 6th International Conference, CPAIOR 2009}, pages = {309--311}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, volume = {5547}, year = {2009}, month = {May}, } @TechReport{BertholdHeinzPfetsch2009TR, author = {Timo Berthold and Stefan Heinz and Marc E. Pfetsch}, title = {Nonlinear pseudo-Boolean optimization: relaxation or propagation?}, type = {ZIB-Report}, institution = {Zuse Institute Berlin}, year = {2009}, number = {09-11}, note = {\url{http://opus4.kobv.de/opus4-zib/frontdoor/index/index/docId/1123/}}, } %%%%%%%% % 2008 % %%%%%%%% @TechReport{AchterbergBertholdHeinzKochWolter2008TR, author = {Tobias Achterberg and Timo Berthold and Stefan Heinz and Thorsten Koch and Kati Wolter}, title = {Constraint {I}nteger {P}rogramming: {T}echniques and {A}pplications}, type = {ZIB-Report}, institution = {Zuse Institute Berlin}, year = {2008}, number = {08-43}, note = {\url{http://opus4.kobv.de/opus4-zib/frontdoor/index/index/docId/1095/}}, } @TechReport{BertholdPfetsch2008TR, author = {Timo Berthold and Marc E. Pfetsch}, title = {Detecting Orbitopal Symmetries}, type = {ZIB-Report}, institution = {Zuse Institute Berlin}, year = {2008}, number = {08-33}, note = {\url{http://opus4.kobv.de/opus4-zib/frontdoor/index/index/docId/1084/}}, } @InProceedings{AchterbergBertholdKochWolter2008, author = {Tobias Achterberg and Timo Berthold and Thorsten Koch and Kati Wolter}, title = {Constraint Integer Programming: A New Approach to Integrate {CP} and {MIP}}, booktitle = {Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 5th International Conference, CPAIOR 2008}, pages = {6--20}, year = {2008}, editor = {Laurent Perron and Michael A. Trick}, volume = {5015}, series = {Lecture Notes in Computer Science}, month = {May}, publisher = {Springer}, } @TechReport{BertholdHeinzPfetsch2008TR, author = {Timo Berthold and Stefan Heinz and Marc E. Pfetsch}, title = {Solving Pseudo-Boolean Problems with {SCIP}}, type = {ZIB-Report}, institution = {Zuse Institute Berlin}, year = {2008}, number = {08-12}, note = {\url{http://opus4.kobv.de/opus4-zib/frontdoor/index/index/docId/1067/}}, } @TechReport{AchterbergBertholdKochWolter2008TR, author = {Tobias Achterberg and Timo Berthold and Thorsten Koch and Kati Wolter}, title = {Constraint {I}nteger {P}rogramming: a New Approach to Integrate {CP} and {MIP}}, type = {ZIB-Report}, institution = {Zuse Institute Berlin}, year = {2008}, number = {08-01}, note = {\url{http://opus4.kobv.de/opus4-zib/frontdoor/index/index/docId/1052/}}, } @InProceedings{Berthold2008b, author = {Timo Berthold}, title = {Heuristics of the Branch-Cut-and-Price-Framework {SCIP}}, booktitle = {Operations Research Proceedings 2007}, publisher = {Springer-Verlag}, editor = {J{\"o}rg Kalcsics and Stefan Nickel}, pages = {31--36}, year = {2008}, } @Article{Berthold2008, author = {Timo Berthold}, title = {Heuristiken im {B}ranch-and-{C}ut-{F}ramework {SCIP}}, year = {2008}, journal = {OR News}, issue = {32}, pages = {24--25}, } %%%%%%%% % 2007 % %%%%%%%% @TechReport{Berthold2007TRb, author = {Timo Berthold}, title = {Heuristics of the {B}ranch-{C}ut-and-{P}rice-{F}ramework {SCIP}}, type = {{ZIB-R}eport}, institution = {Zuse Institute Berlin}, year = {2007}, number = {07-30}, note = {\url{http://opus.kobv.de/zib/volltexte/2007/1055/}}, } @TechReport{Berthold2007TR, author = {Timo Berthold}, title = {{RENS} - {R}elaxation {E}nforced {N}eighborhood {S}earch}, type = {{ZIB-R}eport}, institution = {Zuse Institute Berlin}, year = {2007}, number = {07-28}, note = {\url{http://opus4.kobv.de/opus4-zib/frontdoor/index/index/docId/426/}}, } @Article{AchterbergBerthold2007, author = {Tobias Achterberg and Timo Berthold}, title = {Improving the {F}easibility {P}ump}, journal = {Discrete Optimization}, year = {2007}, volume = {Special Issue 4}, number = {1}, pages = {77-86}, } %%%%%%%% % 2006 % %%%%%%%% @MastersThesis{Berthold2006, author = {Timo Berthold}, title = {Primal {H}euristics for {M}ixed {I}nteger {P}rograms}, school = {Technische Universit{\"a}t Berlin}, year = {2006}, note = {\url{http://opus.kobv.de/zib/volltexte/2007/1054/}}, } %%%%%%%% % 2005 % %%%%%%%% @TechReport{AchterbergBerthold2005TR, author = {Tobias Achterberg and Timo Berthold}, title = {Improving the {F}easibility {P}ump}, institution = {ZIB}, year = {2005}, number = {05-42}, note = {\url{http://opus.kobv.de/zib/volltexte/2005/875/}}, } rithms}, pages = {212--223}, publisher = {Springer}, series = {LNCS}, volume = {7933}, year = {2013}, note = {available as ZIB-Report 13-14.} } @techreport{BertholdGleixner2013TR, author={Berthold, Timo and Gleixner, Ambros M.}, title = {Undercover branching}, type = {ZIB-Report}, institution = {Zuse Institute Berlin}, year = {2013}, number = {13-14}, } @techreport{Berthold2013TR, author = {Timo Berthold}, title = {Measuring the impact of primal heuristics}, type = {ZIB-Report}, institution = {Zuse Institute Berlin}, year = {2013}, number = {13-17}, urn = {urn:nbn:de:0297-zib-17887}, } @techreport{BertholdHendel2013TR, author = {Timo Berthold and Gregor Hendel}, title = {Shift-And-Propagate}, type = {ZIB-Report}, institution = {Zuse Institute Berlin}, year = {2013}, number = {13-03}, note = {\url{http://opus4.kobv.de/opus4-zib/frontdoor/index/index/docId/1759/}}, } @techreport{BertholdSalvagnin2013TR, author = {Timo Berthold and Domenico Salvagnin}, title = {Cloud branching}, type = {ZIB-Report}, institution = {Zuse Institute Berlin}, year = {2013}, number = {13-01}, note = {\url{http://opus4.kobv.de/opus4-zib/frontdoor/index/index/docId/1730/}. Accepted for publication in Proceedings of CPAIOR 2013}, } %%%%%%%% % 2012 % %%%%%%%% @article{BertholdGleixnerHeinzVigerske2012, author = {Timo Berthold and Gleixner, Ambros M. and Stefan Heinz and Stefan Vigerske}, title = {Analyzing the computational impact of {MIQCP} solver components}, journal = {Numerical Algebra, Control and Optimization}, publisher = {American Institute of Mathematical Science}, pages = {739--748}, volume = {2}, number = {4}, year = {2012} } % use UTF-8 encoding for correct display @InProceedings{BertholdGleixnerHeinzKochShinano2012, author = "Timo Berthold and Ambros M. Gleixner and Stefan Heinz and Thorsten Koch and Yuji Shinano", title = {SCIP Optimization Suite を利用した 混合整数(線形/非線 形) 計画問題の解法}, booktitle = "Proceedings of the Twenty-Forth RAMP symposium", publisher = "The Operations Research Society of Japan (RAMP: Research Association of Mathematical Programming)", editor = "Masakazu　Muramatsu", pages = "165--192", year = "2012", } @TechReport{BertholdGamrathGleixnerHeinzKochShinano2012TR, author = {Timo Berthold and Gerald Gamrath and Ambros M. Gleixner and Stefan Heinz and Thorsten Koch and Yuji Shinano}, title = {Solving mixed integer linear and nonlinear problems using the SCIP Optimization Suite}, type = {ZIB-Report}, institution = {Zuse Institute Berlin}, year = {2012}, number = {12-27}, note = {\url{http://opus4.kobv.de/opus4-zib/frontdoor/index/index/docId/1565/}}, } % use UTF-8 encoding for correct display @techreport{BertholdGleixnerHeinzKochShinano2012TR, author = {Timo Berthold and Ambros M. Gleixner and Stefan Heinz and Thorsten Koch and Yuji Shinano}, title = {SCIP Optimization Suite を利用した 混合整数(線形/非線 形) 計画問題の解法}, institution = {Zuse Institute Berlin}, type = {ZIB-Report}, address = {Takustr.7, 14195 Berlin}, language = {jpn}, number = {12-24}, year = {2012} } @inproceedings{AchterbergBertholdHendel2012, author = {Tobias Achterberg and Timo Berthold and Gregor Hendel}, title = {Rounding and Propagation Heuristics for Mixed Integer Programming}, booktitle = {Operations Research Proceedings 2011}, publisher = {Springer Berlin Heidelberg}, editor = {Diethard Klatte and Hans-Jakob L\"uthi and Karl Schmedders}, pages = {71--76}, year = {2012}, } @TechReport{Berthold2012TR, author = {Timo Berthold}, title = {RENS -- the optimal rounding}, type = {ZIB-Report}, institution = {Zuse Institute Berlin}, year = {2012}, number = {12-17}, note = {Accepted for publication in Mathematical Programming Computation. \url{http://opus4.kobv.de/opus4-zib/frontdoor/index/index/docId/1520/}}, } @inproceedings{ShinanoAchterbergBertholdHeinzKoch2012, author = {Yuji Shinano and Tobias Achterberg and Timo Berthold and Stefan Heinz and Thorsten Koch}, editor = {Christian Bischof and Heinz-Gerd Hegering and Wolfgang E. Nagel and Gabriel Wittum}, title = {ParaSCIP -- a parallel extension of SCIP}, booktitle = {Competence in High Performance Computing 2010}, pages = {135--148}, publisher = {Springer}, year = {2012}, month = {February}, } @TechReport{BertholdGleixner2012TR, author = {Timo Berthold and Gleixner, Ambros M.}, title = {Undercover -- a primal MINLP heuristic exploring a largest sub-MIP}, type = {ZIB-Report}, institution = {Zuse Institute Berlin}, year = {2012}, number = {12-07}, note = {\url{http://opus4.kobv.de/opus4-zib/frontdoor/index/index/docId/1463/}}, } %%%%%%%% % 2011 % %%%%%%%% @InCollection{BertholdHeinzVigerske2011, author = {Timo Berthold and Stefan Heinz and Stefan Vigerske}, title = {Extending a CIP framework to solve MIQCPs}, booktitle = {Mixed Integer Nonlinear Programming}, editor = {Jon Lee and Sven Leyffer}, publisher = {Springer}, year = {2011}, volume = {154}, series = {The IMA Volumes in Mathematics and its Applications}, pages = {427--444} } @inproceedings{BertholdHeinzPfetschVigerske2011, title = {Large Neighborhood Search beyond MIP}, editor = {Luca Di Gaspero and Andrea Schaerf and Thomas St\"utzle}, author = {Timo Berthold and Stefan Heinz and Marc E. Pfetsch and Stefan Vigerske}, booktitle = {Proceedings of the 9th Metaheuristics International Conference (MIC 2011)}, year = {2011}, isbn = {978-88-900984-3-7}, pages = {51--60} } @TechReport{AchterbergBertholdHendel2011TR, author = {Tobias Achterberg and Timo Berthold and Gregor Hendel}, title = {Rounding and Propagation Heuristics for Mixed Integer Programming}, type = {ZIB-Report}, year = {2011}, number = {11-29}, note = {\url{http://opus4.kobv.de/opus4-zib/frontdoor/index/index/docId/1325/}} } @Article{KochEtAl2011, author = {Thorsten Koch and Tobias Achterberg and Erling Andersen and Oliver Bastert and Timo Berthold and Robert E. Bixby and Emilie Danna and Gerald Gamrath and Ambros M. Gleixner and Stefan Heinz and Andrea Lodi and Hans Mittelmann and Ted Ralphs and Domenico Salvagnin and Daniel E. Steffy and Kati Wolter}, title = {{MIPLIB} 2010}, journal = {Mathematical Programming Computation}, volume = {3}, number = {2}, pages = {103--163}, year = {2011}, language = {english}, } @TechReport{BertholdHeinzPfetschVigerske2011TR, author = {Timo Berthold and Stefan Heinz and Marc E. Pfetsch and Stefan Vigerske}, title = {Large Neighborhood Search beyond MIP}, type = {ZIB-Report}, institution = {Zuse Institute Berlin}, year = {2011}, number = {11-21}, note = {\url{http://opus4.kobv.de/opus4-zib/frontdoor/index/index/docId/1298/}} } @InProceedings{BertholdHeinzSchulz2011, author = {Timo Berthold and Stefan Heinz and Jens Schulz}, title = {An approximative Criterion for the Potential of Energetic Reasoning}, booktitle = {Theory and Practice of Algorithms in (Computer) Systems}, pages = {229--239}, year = {2011}, editor = {Alberto Marchetti-Spaccamela and Michael Segal}, series = {Lecture Notes in Computer Science}, volume = {6595}, publisher = {Springer} } @TechReport{BertholdGleixnerHeinzVigerske2011TR, author = {Timo Berthold and Gleixner, Ambros M. and Stefan Heinz and Stefan Vigerske}, title = {On the computational impact of MIQCP solver components}, type = {ZIB-Report}, institution = {Zuse Institute Berlin}, year = {2011}, number = {11-01}, note = {\url{http://opus4.kobv.de/opus4-zib/frontdoor/index/index/docId/1199/}} } %%%%%%%% % 2010 % %%%%%%%% @TechReport{KochEtAl2010TR, author = {Thorsten Koch and Tobias Achterberg and Erling Andersen and Oliver Bastert and Timo Berthold and Robert E. Bixby and Emilie Danna and Gerald Gamrath and Ambros M. Gleixner and Stefan Heinz and Andrea Lodi and Hans Mittelmann and Ted Ralphs and Domenico Salvagnin and Daniel E. Steffy and Kati Wolter}, title = {{MIPLIB} 2010}, type = {ZIB-Report}, institution = {Zuse Institute Berlin}, year = {2010}, number = {10-31}, note = {\url{http://opus4.kobv.de/opus4-zib/frontdoor/index/index/docId/1295/}} } @TechReport{ShinanoAchterbergBertholdHeinzKoch2010TR, author = {Yuji Shinano and Tobias Achterberg and Timo Berthold and Stefan Heinz and Thorsten Koch}, title = {ParaSCIP -- a parallel extension of SCIP}, type = {ZIB-Report}, institution = {Zuse Institute Berlin}, year = {2010}, number = {10-27}, note = {\url{http://opus4.kobv.de/opus4-zib/frontdoor/index/index/docId/1192/}} } @InProceedings{BertholdFeydyStuckey2010, author = {Timo Berthold and Feydy, Thibaut and Stuckey, Peter J.}, title = {Rapid Learning for Binary Programs}, editor = {Andrea Lodi and Michela Milano and Paolo Toth}, booktitle = {Proc. of CPAIOR 2010}, pages = {51--55}, publisher = {Springer}, series = {LNCS}, volume = {6140}, year = {2010}, month = {June}, } @InProceedings{BertholdHeinzLuebbeckeMoehringSchulz2010, author = {Timo Berthold and Stefan Heinz and Marco L\"ubbecke and Rolf H.~M\"ohring and Jens Schulz}, title = {A Constraint Integer Programming Approach for Resource-Constrained Project Scheduling}, editor = {Andrea Lodi and Michela Milano and Paolo Toth}, booktitle = {Proc. of CPAIOR 2010}, pages = {313--317}, publisher = {Springer}, series = {LNCS}, volume = {6140}, year = {2010}, month = {June}, } @TechReport{BertholdFeydyStuckey2010TR, author = {Timo Berthold and Feydy, Thibaut and Stuckey, Peter J.}, title = {Rapid Learning for Binary Programs}, type = {ZIB-Report}, institution = {Zuse Institute Berlin}, year = {2010}, number = {10-04}, note = {\url{http://opus4.kobv.de/opus4-zib/frontdoor/index/index/docId/1166/}} } @TechReport{BertholdHeinzLuebbeckeMoehringSchulz2010TR, author = {Timo Berthold and Stefan Heinz and Marco L\"ubbecke amd Rolf H.\ M\"ohring and Jens Schulz}, title = {A Constraint Integer Programming Approach for Resource-Constrained Project Scheduling}, type = {ZIB-Report}, institution = {Zuse Institute Berlin}, year = {2010}, number = {10-03}, note = {\url{http://opus4.kobv.de/opus4-zib/frontdoor/index/index/docId/1118/}} } @InProceedings{BertholdGleixner2010, author = {Timo Berthold and Ambros M. Gleixner}, title = {Undercover -- a primal heuristic for {MINLP} based on sub-{MIP}s generated by set covering}, booktitle = {Proceedings of the EWMINLP}, editor = {Pierre Bonami and Leo Liberti and Andrew J. Miller and Annick Sartenaer}, month = {April}, year = {2010}, pages = {103--112} } %%%%%%%% % 2009 % %%%%%%%% @TechReport{BertholdGleixner2009TR, author = {Timo Berthold and Gleixner, Ambros M.}, title = {Undercover -- a primal heuristic for MINLP based on sub-MIPs generated by set covering}, type = {ZIB-Report}, institution = {Zuse Institute Berlin}, year = {2009}, number = {09-40}, note = {\url{http://opus4.kobv.de/opus4-zib/frontdoor/index/index/docId/1163/}}, } @TechReport{BertholdHeinzVigerske2009TR, author = {Timo Berthold and Stefan Heinz and Stefan Vigerske}, title = {Extending a CIP framework to solve MIQCPs}, type = {ZIB-Report}, institution = {Zuse Institute Berlin}, year = {2009}, number = {09-23}, note = {\url{http://opus.kobv.de/zib/volltexte/2009/1186/}}, } @InProceedings{BertholdHeinzPfetsch2009, author = {Timo Berthold and Stefan Heinz and Marc E. Pfetsch}, title = {Nonlinear pseudo-Boolean optimization: relaxation or propagation?}, booktitle = {Theory and Applications of Satisfiability Testing -- SAT 2009}, pages = {441--446}, year = {2009}, editor = {Oliver Kullmann}, volume = {5584}, series = {Lecture Notes in Computer Science}, month = {July}, publisher = {Springer}, } @InProceedings{BertholdPfetsch2009, author = {Timo Berthold and Marc E. Pfetsch}, title = {Detecting Orbitopal Symmetries}, booktitle = {Operations Research Proceedings 2008}, publisher = {Springer-Verlag}, editor = {Bernhard Fleischmann and Karl Heinz Borgwardt and Robert Klein and Axel Tuma}, pages = {433--438}, year = {2009}, } @InProceedings{AchterbergBerthold2009, author = {Tobias Achterberg and Timo Berthold}, title = {Hybrid Branching}, editor = {Willem Jan van Hoeve and John N. Hooker}, booktitle = {Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 6th International Conference, CPAIOR 2009}, pages = {309--311}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, volume = {5547}, year = {2009}, month = {May}, } @TechReport{BertholdHeinzPfetsch2009TR, author = {Timo Berthold and Stefan Heinz and Marc E. Pfetsch}, title = {Nonlinear pseudo-Boolean optimization: relaxation or propagation?}, type = {ZIB-Report}, institution = {Zuse Institute Berlin}, year = {2009}, number = {09-11}, note = {\url{http://opus4.kobv.de/opus4-zib/frontdoor/index/index/docId/1123/}}, } %%%%%%%% % 2008 % %%%%%%%% @TechReport{AchterbergBertholdHeinzKochWolter2008TR, author = {Tobias Achterberg and Timo Berthold and Stefan Heinz and Thorsten Koch and Kati Wolter}, title = {Constraint {I}nteger {P}rogramming: {T}echniques and {A}pplications}, type = {ZIB-Report}, institution = {Zuse Institute Berlin}, year = {2008}, number = {08-43}, note = {\url{http://opus4.kobv.de/opus4-zib/frontdoor/index/index/docId/1095/}}, } @TechReport{BertholdPfetsch2008TR, author = {Timo Berthold and Marc E. Pfetsch}, title = {Detecting Orbitopal Symmetries}, type = {ZIB-Report}, institution = {Zuse Institute Berlin}, year = {2008}, number = {08-33}, note = {\url{http://opus4.kobv.de/opus4-zib/frontdoor/index/index/docId/1084/}}, } @InProceedings{AchterbergBertholdKochWolter2008, author = {Tobias Achterberg and Timo Berthold and Thorsten Koch and Kati Wolter}, title = {Constraint Integer Programming: A New Approach to Integrate {CP} and {MIP}}, booktitle = {Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 5th International Conference, CPAIOR 2008}, pages = {6--20}, year = {2008}, editor = {Laurent Perron and Michael A. Trick}, volume = {5015}, series = {Lecture Notes in Computer Science}, month = {May}, publisher = {Springer}, } @TechReport{BertholdHeinzPfetsch2008TR, author = {Timo Berthold and Stefan Heinz and Marc E. Pfetsch}, title = {Solving Pseudo-Boolean Problems with {SCIP}}, type = {ZIB-Report}, institution = {Zuse Institute Berlin}, year = {2008}, number = {08-12}, note = {\url{http://opus4.kobv.de/opus4-zib/frontdoor/index/index/docId/1067/}}, } @TechReport{AchterbergBertholdKochWolter2008TR, author = {Tobias Achterberg and Timo Berthold and Thorsten Koch and Kati Wolter}, title = {Constraint {I}nteger {P}rogramming: a New Approach to Integrate {CP} and {MIP}}, type = {ZIB-Report}, institution = {Zuse Institute Berlin}, year = {2008}, number = {08-01}, note = {\url{http://opus4.kobv.de/opus4-zib/frontdoor/index/index/docId/1052/}}, } @InProceedings{Berthold2008b, author = {Timo Berthold}, title = {Heuristics of the Branch-Cut-and-Price-Framework {SCIP}}, booktitle = {Operations Research Proceedings 2007}, publisher = {Springer-Verlag}, editor = {J{\"o}rg Kalcsics and Stefan Nickel}, pages = {31--36}, year = {2008}, } @Article{Berthold2008, author = {Timo Berthold}, title = {Heuristiken im {B}ranch-and-{C}ut-{F}ramework {SCIP}}, year = {2008}, journal = {OR News}, issue = {32}, pages = {24--25}, } %%%%%%%% % 2007 % %%%%%%%% @TechReport{Berthold2007TRb, author = {Timo Berthold}, title = {Heuristics of the {B}ranch-{C}ut-and-{P}rice-{F}ramework {SCIP}}, type = {{ZIB-R}eport}, institution = {Zuse Institute Berlin}, year = {2007}, number = {07-30}, note = {\url{http://opus.kobv.de/zib/volltexte/2007/1055/}}, } @TechReport{Berthold2007TR, author = {Timo Berthold}, title = {{RENS} - {R}elaxation {E}nforced {N}eighborhood {S}earch}, type = {{ZIB-R}eport}, institution = {Zuse Institute Berlin}, year = {2007}, number = {07-28}, note = {\url{http://opus4.kobv.de/opus4-zib/frontdoor/index/index/docId/426/}}, } @Article{AchterbergBerthold2007, author = {Tobias Achterberg and Timo Berthold}, title = {Improving the {F}easibility {P}ump}, journal = {Discrete Optimization}, year = {2007}, volume = {Special Issue 4}, number = {1}, pages = {77-86}, } %%%%%%%% % 2006 % %%%%%%%% @MastersThesis{Berthold2006, author = {Timo Berthold}, title = {Primal {H}euristics for {M}ixed {I}nteger {P}rograms}, school = {Technische Universit{\"a}t Berlin}, year = {2006}, note = {\url{http://opus.kobv.de/zib/volltexte/2007/1054/}}, } %%%%%%%% % 2005 % %%%%%%%% @TechReport{AchterbergBerthold2005TR, author = {Tobias Achterberg and Timo Berthold}, title = {Improving the {F}easibility {P}ump}, institution = {ZIB}, year = {2005}, number = {05-42}, note = {\url{http://opus.kobv.de/zib/volltexte/2005/875/}}, }