@incollection{KochMartinVoss2001, author = {Koch, Thorsten and Martin, Alexander and Voß, Stefan}, title = {SteinLib: An Updated Library on Steiner Tree Problems in Graphs}, booktitle = {Steiner Trees in Industry}, editor = {Du, D.-Z. and Cheng, X.}, publisher = {Kluwer}, doi = {10.1007/978-1-4613-0255-1_9}, pages = {285 -- 325}, year = {2001}, language = {en} } @incollection{GotzesBuchholzKallrathetal.2025, author = {Gotzes, Uwe and Buchholz, Annika and Kallrath, Josef and Lindner, Niels and Koch, Thorsten}, title = {Flexible Pooling Pattern Design with Integer Programming}, volume = {226}, booktitle = {Theory, Algorithms and Experiments in Applied Optimization. In Honor of the 70th Birthday of Panos Pardalos}, publisher = {Springer}, year = {2025}, abstract = {Sample pooling has the potential to significantly enhance large-scale screening procedures, especially in scenarios like the COVID-19 pandemic, where rapid and widespread PCR testing has been crucial. Efficient strategies are essential to increase the testing capacity, i.e., the number of tests that can be processed within a given timeframe. Non-adaptive pooling strategies can further streamline the testing process by reducing the required testing rounds. In contrast to adaptive strategies, where subsequent tests depend on prior results, non-adaptive pooling processes all samples in a single round, eliminating the need for sequential retesting and reducing delays. This paper presents a highly flexible method based on integer programming to design optimized pooling patterns suitable for various applications, including medical diagnostics and quality control in industrial production. Using coronavirus testing as a case study, we formulate and solve optimization and satisfiability models that compute efficient pool designs. Our optimized pooling does not only increase testing capacity, but also accelerates the testing process and reduces overall costs. The proposed method is adaptable and can be seamlessly integrated into automated testing systems.}, language = {en} } @incollection{GroetschelKochHoang2010, author = {Gr{\"o}tschel, Martin and Koch, Thorsten and Hoang, Nam-Dung}, title = {Lagenwechsel minimieren - oder das Bohren von L{\"o}chern in Leiterplatten}, booktitle = {Besser als Mathe}, editor = {Biermann, Katja and Gr{\"o}tschel, Martin and Lutz-Westphal, Brigitte}, publisher = {Vieweg+Teubner}, doi = {10.1007/978-3-658-01004-1_19}, pages = {161 -- 174}, year = {2010}, language = {en} } @incollection{KochRehfeldtShinano2020, author = {Koch, Thorsten and Rehfeldt, Daniel and Shinano, Yuji}, title = {An exact high performance solver for Steiner tree problems in graphs and related problems}, booktitle = {Modeling, Simulation and Optimization of Complex Processes HPSC 2018}, publisher = {Springer}, year = {2020}, language = {en} } @incollection{HoppmannBaumMexiBurdakovetal.2020, author = {Hoppmann-Baum, Kai and Mexi, Gioni and Burdakov, Oleg and Casselgren, Carl Johan and Koch, Thorsten}, title = {Minimum Cycle Partition with Length Requirements}, volume = {12296}, booktitle = {Integration of Constraint Programming, Artificial Intelligence, and Operations Research}, editor = {Hebrard, Emmanuel and Musliu, Nysret}, publisher = {Springer International Publishing}, address = {Cham}, isbn = {978-3-030-58941-7}, doi = {10.1007/978-3-030-58942-4_18}, pages = {273 -- 282}, year = {2020}, abstract = {In this article we introduce a Minimum Cycle Partition Problem with Length Requirements (CPLR). This generalization of the Travelling Salesman Problem (TSP) originates from routing Unmanned Aerial Vehicles (UAVs). Apart from nonnegative edge weights, CPLR has an individual critical weight value associated with each vertex. A cycle partition, i.e., a vertex disjoint cycle cover, is regarded as a feasible solution if the length of each cycle, which is the sum of the weights of its edges, is not greater than the critical weight of each of its vertices. The goal is to find a feasible partition, which minimizes the number of cycles. In this article, a heuristic algorithm is presented together with a Mixed Integer Programming (MIP) formulation of CPLR. We furthermore introduce a conflict graph, whose cliques yield valid constraints for the MIP model. Finally, we report on computational experiments conducted on TSPLIB-based test instances.}, language = {en} } @incollection{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 = {Mathematical Model of Feasible Network Configurations for UMTS}, booktitle = {Telecommunications network design and management}, editor = {G. Anandalingam, S.}, publisher = {Kluwer}, pages = {1 -- 24}, year = {2002}, language = {en} } @incollection{BorndoerferHoangKarbsteinetal.2013, author = {Bornd{\"o}rfer, Ralf and Hoang, Nam-Dung and Karbstein, Marika and Koch, Thorsten and Martin, Alexander}, title = {How many Steiner terminals can you connect in 20 years?}, booktitle = {Facets of Combinatorial Optimization; Festschrift for Martin Gr{\"o}tschel}, editor = {J{\"u}nger, Michael and Reinelt, Gerhard}, publisher = {Springer}, doi = {10.1007/978-3-642-38189-8_10}, pages = {215 -- 244}, year = {2013}, language = {en} } @incollection{KochPfetschRoevekamp2015, author = {Koch, Thorsten and Pfetsch, Marc and R{\"o}vekamp, Jessica}, title = {Introduction}, booktitle = {Evaluating Gas Network Capacities}, publisher = {Society for Industrial and Applied Mathematics}, isbn = {9781611973686}, pages = {3 -- 16}, year = {2015}, language = {en} } @incollection{DorndorfDrosteKoch2012, author = {Dorndorf, Ulrich and Droste, Stefan and Koch, Thorsten}, title = {Using ZIMPL for Modeling Production Planning Problems}, booktitle = {Algebraic Modeling Systems}, editor = {Kallrath, Josef}, publisher = {Springer}, doi = {10.1007/978-3-642-23592-4}, pages = {145 -- 158}, year = {2012}, language = {en} } @incollection{HaynHumpolaKochetal.2015, author = {Hayn, Christine and Humpola, Jesco and Koch, Thorsten and Schewe, Lars and Schweiger, Jonas and Spreckelsen, Klaus}, title = {Perspectives}, volume = {SIAM-MOS series on Optimization}, booktitle = {Evaluating Gas Network Capacities}, isbn = {9781611973686}, year = {2015}, abstract = {After we discussed approaches to validate nominations and to verify bookings, we consider possible future research paths. This includes determining technical capacities and planning of network extensions.}, language = {en} }