@misc{AchterbergKochMartin2005, author = {Achterberg, Tobias and Koch, Thorsten and Martin, Alexander}, title = {MIPLIB 2003}, url = {http://nbn-resolving.de/urn:nbn:de:0297-zib-8625}, number = {05-28}, year = {2005}, abstract = {This paper reports on the fourth version of the Mixed Integer Programming Library. Since ({\sc miplib}) is to provide a concise set of challenging problems, it became necessary to purge instances that became too easy. We present an overview of the 27 new problems and statistical data for all 60 instances.}, language = {en} } @misc{Koch2003, author = {Koch, Thorsten}, title = {Verteilter Dokumenten-Speicher, Erfahrungen mit den Kluwer-Daten des Friedrich-Althoff-Konsortiums}, url = {http://nbn-resolving.de/urn:nbn:de:0297-zib-7726}, number = {03-50}, year = {2003}, abstract = {Dieser Bericht beschreibt die Erfahrungen und Schlussfolgerungen,die im Rahmen der VDS-Vorstudie bei der Speicherung der vom Friedrich-Althoff-Konsortium lizenzierten Zeitschriften des Kluwer-Verlages gewonnen wurden.}, language = {de} } @misc{BleyKochWessaely2004, author = {Bley, Andreas and Koch, Thorsten and Wess{\"a}ly, Roland}, title = {Large-scale hierarchical networks: How to compute an optimal architecture?}, url = {http://nbn-resolving.de/urn:nbn:de:0297-zib-7799}, number = {04-04}, year = {2004}, abstract = {In this article, we present a mathematical model and an algorithm to support one of the central strategic planning decisions of network operators: How to organize a large number of locations into a hierarchical network? We propose a solution approach that is based on mixed-integer programming and Lagrangian relaxation techniques. As major advantage, our approach provides not only solutions but also worst-case quality guarantees. Real-world scenarios with more than 750 locations have been solved within 30 minutes to less than 1\\% off optimality.}, language = {en} } @misc{KochWessaely2004, author = {Koch, Thorsten and Wess{\"a}ly, Roland}, title = {Hierarchical Infrastructure Planning in Networks}, url = {http://nbn-resolving.de/urn:nbn:de:0297-zib-8174}, number = {04-42}, year = {2004}, abstract = {In this article, strategical infrastructure planning problems in the design of large-scale telecommunication networks are discussed based on experiences from three projects with industrial partners: The access network planning of the German Gigabit-Wissenschaftsnetz (G-WiN) for DFN (Verein zur F{\"o}rderung eines Deutschen Forschungsnetzes e.V.), the mobile network switching center location planning project for E-Plus Mobilfunk, and the fixed network switching center location planning project for TELEKOM AUSTRIA. We introduce a mathematical model for a hierarchical multi-commodity capacitated facility location problem, present adaptions of this basic model to the specific requirements within the different projects and discuss the individual peculiarities and model decisions made. Eventually, we present and discuss computational results of three associated case studies, illustrating '"how we did the job`` with mathematical methods.}, language = {en} } @misc{FroylandKochMegowetal.2006, author = {Froyland, Gary and Koch, Thorsten and Megow, Nicole and Duane, Emily and Wren, Howard}, title = {Optimizing the Landside Operation of a Container Terminal}, url = {http://nbn-resolving.de/urn:nbn:de:0297-zib-9004}, number = {06-06}, year = {2006}, abstract = {This paper concerns the problem of operating a landside container exchange area that is serviced by multiple semi-automated rail mounted gantry cranes (RMGs) that are moving on a single bi-directional traveling lane. Such a facility is being built by Patrick Corporation at the Port Botany terminal in Sydney. The gantry cranes are a scarce resource and handle the bulk of container movements. Thus, they require a sophisticated analysis to achieve near optimal utilization. We present a three stage algorithm to manage the container exchange facility, including the scheduling of cranes, the control of associated short-term container stacking, and the allocation of delivery locations for trucks and other container transporters. The key components of our approach are a time scale decomposition, whereby an integer program controls decisions across a long time horizon to produce a balanced plan that is fed to a series of short time scale online subproblems, and a highly efficient space-time divisioning of short term storage areas. A computational evaluation shows that our heuristic can find effective solutions for the planning problem; on real-world data it yields a solution at most~8\\% above a lower bound on optimal RMG utilization.}, language = {en} } @misc{Koch2005, author = {Koch, Thorsten}, title = {Rapid Mathematical Programming or How to Solve Sudoku Puzzles in a few Seconds}, url = {http://nbn-resolving.de/urn:nbn:de:0297-zib-8845}, number = {05-51}, year = {2005}, abstract = {Using the popular puzzle game of Sudoku, this article highlights some of the ideas and topics covered in ZR-04-58.}, language = {en} } @misc{AchterbergGroetschelKoch2006, author = {Achterberg, Tobias and Gr{\"o}tschel, Martin and Koch, Thorsten}, title = {Software for Teaching Modeling of Integer Programming Problems}, url = {http://nbn-resolving.de/urn:nbn:de:0297-zib-9176}, number = {06-23}, year = {2006}, abstract = {Modern applications of mathematical programming must take into account a multitude of technical details, business demands, and legal requirements. Teaching the mathematical modeling of such issues and their interrelations requires real-world examples that are well beyond the toy sizes that can be tackled with the student editions of most commercial software packages. We present a new tool, which is freely available for academic use including complete source code. It consists of an algebraic modeling language and a linear mixed integer programming solver. The performance and features of the tool are in the range of current state-of-the-art commercial tools, though not in all aspects as good as the best ones. Our tool does allow the execution and analysis of large real-world instances in the classroom and can therefore enhance the teaching of problem solving issues. Teaching experience has been gathered and practical usability was tested in classes at several universities and a two week intensive block course at TU Berlin. The feedback from students and teachers has been very positive.}, language = {en} } @misc{KochMartin1996, author = {Koch, Thorsten and Martin, Alexander}, title = {Solving Steiner Tree Problems in Graphs to Optimality}, url = {http://nbn-resolving.de/urn:nbn:de:0297-zib-2526}, number = {SC-96-42}, year = {1996}, abstract = {In this paper we present the implementation of a branch-and-cut algorithm for solving Steiner tree problems in graphs. Our algorithm is based on an integer programming formulation for directed graphs and comprises preprocessing, separation algorithms and primal heuristics. We are able to solve all problem instances discussed in literature to optimality, including one to our knowledge not yet solved problem. We also report on our computational experiences with some very large Steiner tree problems arising from the design of electronic circuits. All test problems are gathered in a newly introduced library called {\em SteinLib} that is accessible via World Wide Web.}, language = {en} } @misc{KochMartinVoss2000, author = {Koch, Thorsten and Martin, Alexander and Voß, Stefan}, title = {SteinLib: An Updated Library on Steiner Tree Problems in Graphs}, url = {http://nbn-resolving.de/urn:nbn:de:0297-zib-6056}, number = {00-37}, year = {2000}, abstract = {In this paper we present the {\em SteinLib}, a library of data sets for the Steiner tree problem in graphs. This library extends former libraries on Steiner tree problems by many new interesting and difficult instances, most of them arising from real-world applications. We give a survey on the difficulty of these problem instances by giving references to state-of-the-art software packages that were the first or are currently among the best to solve these instances.}, language = {en} } @misc{BleyKoch2002, author = {Bley, Andreas and Koch, Thorsten}, title = {Integer programming approaches to access and backbone IP-network planning}, url = {http://nbn-resolving.de/urn:nbn:de:0297-zib-7081}, number = {02-41}, year = {2002}, abstract = {In this article we study the problem of designing a nation-wide communication network. Such networks usually consist of an access layer, a backbone layer, and maybe several intermediate layers. The nodes of each layer must be connected to those of the next layer in a tree-like fashion. The backbone layer has to satisfy certain survivability and routing constraints. Given the node locations, the demands between them, the possible connections and hardware configurations, and various other technical and administrational constraints, the goal is to decide, which node is assigned to which network level, how the nodes are connected, what hardware must be installed, and how traffic is routed in the backbone. Mixed integer linear programming models and solution methods are presented for both the access and the backbone network design problem. The focus is on the design of IP-over-SDH networks, but the access network design model and large parts of the backbone network design models are general and also applicable for other types of communication networks. Results obtained with these methods in the planning of the German research network are presented.}, language = {en} } @misc{EisenblaetterFuegenschuhKochetal.2002, author = {Eisenbl{\"a}tter, Andreas and F{\"u}genschuh, Armin and Koch, Thorsten and Koster, Arie M.C.A. and Martin, Alexander and Pfender, Tobias and Wegel, Oliver and Wess{\"a}ly, Roland}, title = {Modelling Feasible Network Configurations for UMTS}, url = {http://nbn-resolving.de/urn:nbn:de:0297-zib-6837}, number = {02-16}, year = {2002}, abstract = {A model for the optimisation of the location and configuration of base stations in a UMTS network is described. The focus is primarily on modelling the configuration problem sufficiently accurate using mixed-integer variables and (essentially) linear constraints. These constraints reflect the limited downlink code capacity in each cell, the interference limitations for successful up- and downlink transmissions, the need for sufficiently strong (cell) pilot signals, and the potential gain for mobiles from being in soft(er) hand-over. It is also explained how to use the model as a basis for rating network configurations.}, language = {en} } @misc{Koch2003, author = {Koch, Thorsten}, title = {The final NETLIB-LP results}, doi = {10.1016/s0167-6377(03)00094-4}, url = {http://nbn-resolving.de/urn:nbn:de:0297-zib-7274}, number = {03-05}, year = {2003}, abstract = {The NETLIB has now served for 18 years as a repository of LP problem instances. From the beginning to the present day there was some uncertainness about the precise values of the optimal solutions. We implemented a program using exact rational arithmetic to compute proofs for the feasibility and optimality of an LP solution. This paper reports the \emph{exact} optimal objective values for all NETLIB problems.}, language = {en} } @misc{AchterbergKochMartin2002, author = {Achterberg, Tobias and Koch, Thorsten and Martin, Alexander}, title = {Branching on History Information}, url = {http://nbn-resolving.de/urn:nbn:de:0297-zib-6990}, number = {02-32}, year = {2002}, abstract = {Mixed integer programs (\$MIPs\$) are commonly solved with branch and bound algorithms based on linear programming. The success and the speed of the algorithm strongly depends on the strategy used to select the branching variables. Today's state-of-the-art strategy is called \emph{pseudocost branching} and uses information of previous branchings to determine the current branching. We propose a modification of \emph{pseudocost branching} which we call \emph{history branching}. This strategy has been implemented in \$SIP\$, a state-of-the-art \$MIP\$ solver. We give computational results that show the superiority of the new strategy.}, language = {en} } @misc{EisenblaetterFuegenschuhGeerdesetal.2003, author = {Eisenbl{\"a}tter, Andreas and F{\"u}genschuh, Armin and Geerdes, Hans-Florian and Junglas, Daniel and Koch, Thorsten and Martin, Alexander}, title = {Optimization Methods for UMTS Radio Network Planning}, url = {http://nbn-resolving.de/urn:nbn:de:0297-zib-7637}, number = {03-41}, year = {2003}, abstract = {The UMTS radio network planning problem poses the challenge of designing a cost-effective network that provides users with sufficient coverage and capacity. We describe an optimization model for this problem that is based on comprehensive planning data of the EU project MOMENTUM. We present heuristic mathematical methods for this realistic model, including computational results.}, language = {en} } @phdthesis{Koch2005, author = {Koch, Thorsten}, title = {Rapid Mathematical Programming}, url = {http://nbn-resolving.de/urn:nbn:de:0297-zib-8346}, number = {04-58}, year = {2005}, abstract = {The thesis deals with the implementation and application of out-of-the-box tools in linear and mixed integer programming. It documents the lessons learned and conclusions drawn from five years of implementing, maintaining, extending, and using several computer codes to solve real-life industrial problems. By means of several examples it is demonstrated how to apply algebraic modeling languages to rapidly devise mathematical models of real-world problems. It is shown that today's MIP solvers are capable of solving the resulting mixed integer programs, leading to an approach that delivers results very quickly. Even though, problems are tackled that not long ago required the implementation of specialized branch-and-cut algorithms. In the first part of the thesis the modeling language Zimpl is introduced. Chapter 2 contains a complete description of the language. In the subsequent chapter details of the implementation are described. Both theoretical and practical considerations are discussed. Aspects of software engineering, error prevention, and detection are addressed. In the second part several real-world projects are examined that employed the methodology and the tools developed in the first part. Chapter 4 presents three projects from the telecommunication industry dealing with facility location problems. Chapter 5 characterizes questions that arise in UMTS planning. Problems, models, and solutions are discussed. Special emphasis is put on the dependency of the precision of the input data and the results. Possible reasons for unexpected and undesirable solutions are explained. Finally, the Steiner tree packing problem in graphs, a well-known hard combinatorial problem, is revisited. A formerly known, but not yet used model is applied to combine switchbox wire routing and via minimization. All instances known from the literature are solved by this approach, as are some newly generated bigger problem instances.}, language = {en} } @misc{EisenblaetterGeerdesKochetal.2004, author = {Eisenbl{\"a}tter, Andreas and Geerdes, Hans-Florian and Koch, Thorsten and T{\"u}rke, Ulrich}, title = {MOMENTUM Data Scenarios for Radio Network Planning and Simulation (Extended Abstract)}, url = {http://nbn-resolving.de/urn:nbn:de:0297-zib-7829}, number = {04-07}, year = {2004}, abstract = {We present publicly available data sets related to research on wireless networks. The scenarios contain a wide range of data and are detailed in all aspects. To our knowledge, this is the most realistic, comprehensive, and detailed \emph{public} data collection on mobile networking. We indicate example uses of this data collection in applications related tu UMTS.}, language = {en} } @misc{AchterbergKochMartin2004, author = {Achterberg, Tobias and Koch, Thorsten and Martin, Alexander}, title = {Branching rules revisited}, url = {http://nbn-resolving.de/urn:nbn:de:0297-zib-7886}, number = {04-13}, year = {2004}, abstract = {Mixed integer programs are commonly solved with linear programming based branch-and-bound algorithms. The success of the algorithm strongly depends on the strategy used to select the variable to branch on. We present a new generalization called {\sl reliability branching} of today's state-of-the-art {\sl strong branching} and {\sl pseudocost branching} strategies for linear programming based branch-and-bound algorithms. After reviewing commonly used branching strategies and performing extensive computational studies we compare different parameter settings and show the superiority of our proposed newstrategy.}, language = {en} } @misc{EisenblaetterGeerdesKochetal.2004, author = {Eisenbl{\"a}tter, Andreas and Geerdes, Hans-Florian and Koch, Thorsten and Martin, Alexander and Wess{\"a}ly, Roland}, title = {UMTS Radio Network Evaluation and Optimization beyond Snapshots}, url = {http://nbn-resolving.de/urn:nbn:de:0297-zib-7903}, number = {04-15}, year = {2004}, abstract = {This paper is concerned with UMTS radio network design. Our task is to reconfigure antennas and the related cells as to improve network quality. In contrast to second generation GSM networks, \emph{interference} plays a paramount role when designing third generation radio networks. A known compact formulation for assessing the interference characteristics of a radio network as coupling relations between cells based on user snapshots is generalized to statistical average load. This enables us to overcome the notorious difficulties of snapshot-based network optimization approaches. We recall a mixed-integer programming model for the network design problem that is based on user snapshots and contrast it with a new network design model based on the average coupling formulation. Exemplarily focusing on the important problem of optimizing antenna tilts, we give computational results for a fast local search algorithm and the application of a MIP solver to both models. These results demonstrate that our new average-based approaches outperform state-of-the-art snapshot models for UMTS radio network optimization.}, language = {en} } @misc{Koch2001, author = {Koch, Thorsten}, title = {ZIMPL User Guide}, url = {http://nbn-resolving.de/urn:nbn:de:0297-zib-6466}, number = {01-20}, year = {2001}, abstract = {{\sc Zimpl} is a little language to translate the mathematical model of a problem into a linear or (mixed-)integer mathematical program expressed in {\tt lp} or {\tt mps} file format which can be read by a LP or MIP solver.}, language = {en} } @misc{BleyKoch2000, author = {Bley, Andreas and Koch, Thorsten}, title = {Optimierung in der Planung und beim Aufbau des G-WiN}, url = {http://nbn-resolving.de/urn:nbn:de:0297-zib-6169}, number = {00-48}, year = {2000}, abstract = {Ende Juni diesen Jahres wurde das Gigabit-Wissenschaftsnetz offiziell gestartet. In der zweij{\"a}hrigen Vorbereitungsphase wurden nicht nur die technischen M{\"o}glichkeiten der neuen {\"U}bertragungstechniken und Dienste getestet. Es wurden auch verschiedene Fragestellungen zum effizienten Einsatz der verf{\"u}gbaren Ressourcen f{\"u}r den Betrieb des G-WiN untersucht. In diesem Artikel beschreiben wir, wie das G-WiN zu seiner jetzigen Struktur und Topologie gekommen ist.}, language = {de} } @misc{KaibelKoch2006, author = {Kaibel, Volker and Koch, Thorsten}, title = {Mathematik f{\"u}r den Volkssport}, url = {http://nbn-resolving.de/urn:nbn:de:0297-zib-9225}, number = {06-28}, year = {2006}, abstract = {"`Volkssport Sudoku"' titelt der Stern in seiner Ausgabe vom 24. Mai2006. In der Tat traut sich derzeit kaum noch eine Zeitung, ohne Sudoku zu erscheinen. Die Begeisterung am L{\"o}sen dieser Zahlenr{\"a}tsel offenbart eine unvermutete Freude am algorithmischen Arbeiten. Mathematisch kann man Sudokus als lineare diophantische Gleichungssysteme mit Nichtnegativit{\"a}tsbedingungen formulieren. Solche ganzzahligen linearen Programme sind die wichtigsten Modellierungswerkzeuge in zahlreichen Anwendungsgebieten wie z.B. der Optimierung von Telekommunikations- und Verkehrsnetzen. Moderne Verfahren zur L{\"o}sung dieser Optimierungsprobleme sind durch Sudokus allerdings deutlich weniger zu beeindrucken als Zeitungsleser.}, language = {de} } @misc{AbboudGroetschelKoch2006, author = {Abboud, Nadine and Gr{\"o}tschel, Martin and Koch, Thorsten}, title = {Mathematical Methods for Physical Layout of Printed Circuit Boards: An Overview}, url = {http://nbn-resolving.de/urn:nbn:de:0297-zib-9231}, number = {06-29}, year = {2006}, abstract = {This article surveys mathematical models and methods used for physical PCB layout, i.e., component placement and wire routing. The main concepts are briefly described together with relevant references.}, language = {en} }