% Publication list of Timo Berthold % %%%%%%%% % 2012 % %%%%%%%% @TechReport{BertholdGleixner2012, 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://vs24.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://vs24.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://vs24.kobv.de/opus4-zib/frontdoor/index/index/docId/1298/}} } @inproceedings{ShinanoAchterbergBertholdHeinzKoch2011, author = {Yuji Shinano and Tobias Achterberg and Timo Berthold and Stefan Heinz and Thorsten Koch}, editor = {Gabriel Wittum}, title = {ParaSCIP -- a parallel extension of SCIP}, booktitle = {Competence in High Performance Computing (CiHPC)}, publisher = {Springer}, year = {2011}, note = {to appear}, } @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://vs24.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://vs24.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://vs24.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://vs24.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://vs24.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://vs24.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://vs24.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://vs24.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://vs24.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://vs24.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://vs24.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://vs24.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 = "Z{IB}", year = "2005", number = "05-42", note = "\url{http://opus.kobv.de/zib/volltexte/2005/875/}", }