TY - CHAP A1 - Koch, Thorsten A1 - Martin, Alexander A1 - Voß, Stefan ED - Du, D.-Z. ED - Cheng, X. T1 - SteinLib: An Updated Library on Steiner Tree Problems in Graphs T2 - Steiner Trees in Industry Y1 - 2001 U6 - https://doi.org/10.1007/978-1-4613-0255-1_9 SP - 285 EP - 325 PB - Kluwer ER - TY - CHAP A1 - Gotzes, Uwe A1 - Buchholz, Annika A1 - Kallrath, Josef A1 - Lindner, Niels A1 - Koch, Thorsten T1 - Flexible Pooling Pattern Design with Integer Programming T2 - Theory, Algorithms and Experiments in Applied Optimization. In Honor of the 70th Birthday of Panos Pardalos N2 - 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. Y1 - 2025 VL - 226 PB - Springer ER - TY - CHAP A1 - Grötschel, Martin A1 - Koch, Thorsten A1 - Hoang, Nam-Dung ED - Biermann, Katja ED - Grötschel, Martin ED - Lutz-Westphal, Brigitte T1 - Lagenwechsel minimieren – oder das Bohren von Löchern in Leiterplatten T2 - Besser als Mathe Y1 - 2010 U6 - https://doi.org/10.1007/978-3-658-01004-1_19 SP - 161 EP - 174 PB - Vieweg+Teubner ER - TY - CHAP A1 - Koch, Thorsten A1 - Rehfeldt, Daniel A1 - Shinano, Yuji T1 - An exact high performance solver for Steiner tree problems in graphs and related problems T2 - Modeling, Simulation and Optimization of Complex Processes HPSC 2018 Y1 - 2020 PB - Springer ER - TY - CHAP A1 - Hoppmann-Baum, Kai A1 - Mexi, Gioni A1 - Burdakov, Oleg A1 - Casselgren, Carl Johan A1 - Koch, Thorsten ED - Hebrard, Emmanuel ED - Musliu, Nysret T1 - Minimum Cycle Partition with Length Requirements T2 - Integration of Constraint Programming, Artificial Intelligence, and Operations Research N2 - 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. Y1 - 2020 SN - 978-3-030-58941-7 U6 - https://doi.org/10.1007/978-3-030-58942-4_18 VL - 12296 SP - 273 EP - 282 PB - Springer International Publishing CY - Cham ER - TY - CHAP A1 - Eisenblätter, Andreas A1 - Fügenschuh, Armin A1 - Koch, Thorsten A1 - Koster, Arie M.C.A. A1 - Martin, Alexander A1 - Pfender, Tobias A1 - Wegel, Oliver A1 - Wessäly, Roland ED - G. Anandalingam, S. T1 - Mathematical Model of Feasible Network Configurations for UMTS T2 - Telecommunications network design and management Y1 - 2002 SP - 1 EP - 24 PB - Kluwer ER - TY - CHAP A1 - Borndörfer, Ralf A1 - Hoang, Nam-Dung A1 - Karbstein, Marika A1 - Koch, Thorsten A1 - Martin, Alexander ED - Jünger, Michael ED - Reinelt, Gerhard T1 - How many Steiner terminals can you connect in 20 years? T2 - Facets of Combinatorial Optimization; Festschrift for Martin Grötschel Y1 - 2013 U6 - https://doi.org/10.1007/978-3-642-38189-8_10 SP - 215 EP - 244 PB - Springer ER - TY - CHAP A1 - Koch, Thorsten A1 - Pfetsch, Marc A1 - Rövekamp, Jessica T1 - Introduction T2 - Evaluating Gas Network Capacities Y1 - 2015 SN - 9781611973686 SP - 3 EP - 16 PB - Society for Industrial and Applied Mathematics ER - TY - CHAP A1 - Dorndorf, Ulrich A1 - Droste, Stefan A1 - Koch, Thorsten ED - Kallrath, Josef T1 - Using ZIMPL for Modeling Production Planning Problems T2 - Algebraic Modeling Systems Y1 - 2012 U6 - https://doi.org/10.1007/978-3-642-23592-4 SP - 145 EP - 158 PB - Springer ER - TY - CHAP A1 - Hayn, Christine A1 - Humpola, Jesco A1 - Koch, Thorsten A1 - Schewe, Lars A1 - Schweiger, Jonas A1 - Spreckelsen, Klaus T1 - Perspectives T2 - Evaluating Gas Network Capacities N2 - 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. Y1 - 2015 SN - 9781611973686 VL - SIAM-MOS series on Optimization ER -