@article{GroetschelMartinWeismantel1996, author = {Gr{\"o}tschel, Martin and Martin, Alexander and Weismantel, Robert}, title = {Packing Steiner trees: Polyhedral Investigations}, volume = {72}, journal = {Mathematical Programming, Series A}, number = {2}, doi = {10.1007/BF02592085}, pages = {101 -- 123}, year = {1996}, language = {en} } @article{GroetschelMartinWeismantel1996, author = {Gr{\"o}tschel, Martin and Martin, Alexander and Weismantel, Robert}, title = {Optimum Path Packing on Wheels}, volume = {31}, journal = {Computers and Mathematics with Applications}, number = {11}, publisher = {Elsevier}, pages = {23 -- 35}, year = {1996}, language = {en} } @article{BorndoerferEisenblaetterGroetscheletal.1998, author = {Bornd{\"o}rfer, Ralf and Eisenbl{\"a}tter, Andreas and Gr{\"o}tschel, Martin and Martin, Alexander}, title = {Frequency assignment in cellular phone networks}, volume = {76}, journal = {Annals of Operations Research}, publisher = {J. C. Baltzer AG, Science Publishers}, doi = {10.1023/A:1018908907763}, pages = {73 -- 93}, year = {1998}, language = {en} } @article{GroetschelMartinWeismantel1996, author = {Gr{\"o}tschel, Martin and Martin, Alexander and Weismantel, Robert}, title = {Packing Steiner trees: a cutting plane algorithm and computational results}, volume = {72}, journal = {Mathematical Programming, Series A}, number = {2}, doi = {10.1007/BF02592086}, pages = {125 -- 145}, year = {1996}, language = {en} } @article{GroetschelMartinWeismantel1997, author = {Gr{\"o}tschel, Martin and Martin, Alexander and Weismantel, Robert}, title = {The Steiner tree packing problem in VLSI design}, volume = {78}, journal = {Mathematical Programming}, number = {2}, pages = {265 -- 281}, year = {1997}, language = {en} } @inproceedings{BirkhoferFuegenschuhGuentheretal.2006, author = {Birkhofer, Herbert and F{\"u}genschuh, Armin and G{\"u}nther, Ute and Junglas, Daniel and Martin, Alexander and Sauer, Thorsten and Ulbrich, Stefan and W{\"a}ldele, Martin and Walter, Stephan}, title = {Topology- and shape-optimization of branched sheet metal products}, booktitle = {Operations Research Proceedings}, editor = {Haasis, Hans-Dietrich and Kopfer, Herbert and Sch{\"o}nberger, J{\"o}rn}, pages = {327 -- 336}, year = {2006}, language = {en} } @inproceedings{GroetschelMartinWeismantel1993, author = {Gr{\"o}tschel, Martin and Martin, Alexander and Weismantel, Robert}, title = {Routing in grid graphs by cutting planes}, booktitle = {Integer Programming and Combinatorial Optimization. Proceedings of a Conference held at Centro Ettore Majorana, Erice, Italy, April 29 - May 1, 1993}, editor = {Rinaldi, Giovanni and Wolsey, Laurence}, publisher = {Librarian CORE}, address = {Louvain-la-Neuve}, pages = {447 -- 461}, year = {1993}, language = {en} } @inproceedings{BirkhoferFuegenschuhMartinetal.2007, author = {Birkhofer, Herbert and F{\"u}genschuh, Armin and Martin, Alexander and W{\"a}ldele, Martin}, title = {Algorithmenbasierte Produktentwicklung f{\"u}r integrale Blechbauweisen h{\"o}herer Verzweigungsordnung}, booktitle = {Optimierung in der Produktentwicklung, 5. Geimeinsames Kolloquium Konstruktionstechnik}, year = {2007}, language = {en} } @article{PfetschFuegenschuhGeissleretal.2014, author = {Pfetsch, Marc and F{\"u}genschuh, Armin and Geißler, Bj{\"o}rn and Geißler, Nina and Gollmer, Ralf and Hiller, Benjamin and Humpola, Jesco and Koch, Thorsten and Lehmann, Thomas and Martin, Alexander and Morsi, Antonio and R{\"o}vekamp, Jessica and Schewe, Lars and Schmidt, Martin and Schultz, R{\"u}diger and Schwarz, Robert and Schweiger, Jonas and Stangl, Claudia and Steinbach, Marc and Vigerske, Stefan and Willert, Bernhard}, title = {Validation of Nominations in Gas Network Optimization: Models, Methods, and Solutions}, journal = {Optimization Methods and Software}, publisher = {Taylor \& Francis}, doi = {10.1080/10556788.2014.888426}, year = {2014}, abstract = {In this article we investigate methods to solve a fundamental task in gas transportation, namely the validation of nomination problem: Given a gas transmission network consisting of passive pipelines and active, controllable elements and given an amount of gas at every entry and exit point of the network, find operational settings for all active elements such that there exists a network state meeting all physical, technical, and legal constraints. We describe a two-stage approach to solve the resulting complex and numerically difficult feasibility problem. The first phase consists of four distinct algorithms applying linear, and methods for complementarity constraints to compute possible settings for the discrete decisions. The second phase employs a precise continuous programming model of the gas network. Using this setup, we are able to compute high quality solutions to real-world industrial instances that are significantly larger than networks that have appeared in the mathematical programming literature before.}, language = {en} } @article{FuegenschuhGeisslerGollmeretal.2013, author = {F{\"u}genschuh, Armin and Geißler, Bj{\"o}rn and Gollmer, Ralf and Hayn, Christine and Henrion, Ren{\´e} and Hiller, Benjamin and Humpola, Jesco and Koch, Thorsten and Lehmann, Thomas and Martin, Alexander and Mirkov, Radoslava and Morsi, Antonio and R{\"o}misch, Werner and R{\"o}vekamp, Jessica and Schewe, Lars and Schmidt, Martin and Schultz, R{\"u}diger and Schwarz, Robert and Schweiger, Jonas and Stangl, Claudia and Steinbach, Marc and Willert, Bernhard}, title = {Mathematical optimization for challenging network planning problems in unbundled liberalized gas markets}, volume = {5}, journal = {Energy Systems}, number = {3}, publisher = {Springer Berlin Heidelberg}, address = {Berlin}, doi = {10.1007/s12667-013-0099-8}, pages = {449 -- 473}, year = {2013}, abstract = {The recently imposed new gas market liberalization rules in Germany lead to a change of business of gas network operators. While previously network operator and gas vendor were united, they were forced to split up into independent companies. The network has to be open to any other gas trader at the same conditions, and free network capacities have to be identified and publicly offered in a non-discriminatory way. We discuss how these changing paradigms lead to new and challenging mathematical optimization problems. This includes the validation of nominations, that asks for the decision if the network's capacity is sufficient to transport a specific amount of flow, the verification of booked capacities and the detection of available freely allocable capacities, and the topological extension of the network with new pipelines or compressors in order to increase its capacity. In order to solve each of these problems and to provide meaningful results for the practice, a mixture of different mathematical aspects have to be addressed, such as combinatorics, stochasticity, uncertainty, and nonlinearity. Currently, no numerical solver is available that can deal with such blended problems out-of-the-box. The main goal of our research is to develop such a solver, that moreover is able to solve instances of realistic size. In this article, we describe the main ingredients of our prototypical software implementations.}, language = {en} } @article{FerreiraGroetschelMartinetal.1993, author = {Ferreira, Carlos and Gr{\"o}tschel, Martin and Martin, Alexander and Weismantel, Robert and Kiefl, Stefan and Krispenz, Ludwig}, title = {Some Integer Programs Arising in the Design of Main Frame Computers}, volume = {38}, journal = {ZOR - Methods and Models of Operations Research}, number = {1}, pages = {77 -- 100}, year = {1993}, language = {en} } @article{GroetschelMartinWeismantel1995, author = {Gr{\"o}tschel, Martin and Martin, Alexander and Weismantel, Robert}, title = {Routing in Grid Graphs by Cutting Planes}, volume = {41}, journal = {ZOR - Mathematical Methods of Operations Research}, number = {3}, pages = {255 -- 275}, year = {1995}, language = {en} } @article{GroetschelMartinWeismantel1996, author = {Gr{\"o}tschel, Martin and Martin, Alexander and Weismantel, Robert}, title = {Packing Steiner Trees: Separation Algorithms}, volume = {9}, journal = {SIAM Journal on Discrete Mathematics}, number = {2}, doi = {10.1137/S0895480193258716}, pages = {233 -- 257}, year = {1996}, language = {en} } @inproceedings{MartinGeisslerHeynetal.2011, author = {Martin, Alexander and Geißler, Bj{\"o}rn and Heyn, Christine and Hiller, Benjamin and Humpola, Jesco and Koch, Thorsten and Lehmann, Thomas and Morsi, Antonio and Pfetsch, Marc and Schewe, Lars and Schmidt, Martin and Schultz, R{\"u}diger and Schwarz, Robert and Schweiger, Jonas and Steinbach, Marc and Willert, Bernhard}, title = {Optimierung Technischer Kapazit{\"a}ten in Gasnetzen}, booktitle = {Optimierung in der Energiewirtschaft}, publisher = {VDI-Verlag, D{\"u}sseldorf}, pages = {105 -- 114}, year = {2011}, language = {en} } @article{GroetschelMartinWeismantel1996, author = {Gr{\"o}tschel, Martin and Martin, Alexander and Weismantel, Robert}, title = {Packing Steiner Trees: Further Facets}, volume = {17}, journal = {European Journal of Combinatorics}, number = {1}, doi = {10.1006/eujc.1996.0004}, pages = {39 -- 52}, year = {1996}, language = {en} } @misc{MartinGeisslerHaynetal.2012, author = {Martin, Alexander and Geißler, Bj{\"o}rn and Hayn, Christine and Hiller, Benjamin and Humpola, Jesco and Koch, Thorsten and Lehmann, Thomas and Morsi, Antonio and Pfetsch, Marc and Schewe, Lars and Schmidt, Martin and Schultz, R{\"u}diger and Schwarz, Robert and Schweiger, Jonas and Steinbach, Marc and Willert, Bernhard}, title = {Optimierung Technischer Kapazit{\"a}ten in Gasnetzen}, issn = {1438-0064}, url = {http://nbn-resolving.de/urn:nbn:de:0297-zib-15121}, year = {2012}, abstract = {Die mittel- und l{\"a}ngerfristige Planung f{\"u}r den Gastransport hat sich durch {\"A}nderungen in den regulatorischen Rahmenbedingungen stark verkompliziert. Kernpunkt ist die Trennung von Gashandel und -transport. Dieser Artikel diskutiert die hieraus resultierenden mathematischen Planungsprobleme, welche als Validierung von Nominierungen und Buchungen, Bestimmung der technischen Kapazit{\"a}t und Topologieplanung bezeichnet werden. Diese mathematischen Optimierungsprobleme werden vorgestellt und L{\"o}sungsans{\"a}tze skizziert.}, language = {de} } @inproceedings{BorndoerferEisenblaetterGroetscheletal.1996, author = {Bornd{\"o}rfer, Ralf and Eisenbl{\"a}tter, Andreas and Gr{\"o}tschel, Martin and Martin, Alexander}, title = {Stable-Set and Other Techniques for Frequency Assignment Problems}, booktitle = {Anais da I Oficina Nacional em Problemas de Corte \& Empacotamento}, publisher = {Universidade de S{\~a}o Paulo, Instituto de Matem{\´a}tica e Estat{\´i}stica}, pages = {17 -- 21}, year = {1996}, language = {en} } @misc{FuegenschuhGeisslerGollmeretal.2013, author = {F{\"u}genschuh, Armin and Geißler, Bj{\"o}rn and Gollmer, Ralf and Hayn, Christine and Henrion, Rene and Hiller, Benjamin and Humpola, Jesco and Koch, Thorsten and Lehmann, Thomas and Martin, Alexander and Mirkov, Radoslava and Morsi, Antonio and R{\"o}misch, Werner and R{\"o}vekamp, Jessica and Schewe, Lars and Schmidt, Martin and Schultz, R{\"u}diger and Schwarz, Robert and Schweiger, Jonas and Stangl, Claudia and Steinbach, Marc and Willert, Bernhard}, title = {Mathematical Optimization for Challenging Network Planning Problems in Unbundled Liberalized Gas Markets}, issn = {1438-0064}, doi = {10.1007/s12667-013-0099-8}, url = {http://nbn-resolving.de/urn:nbn:de:0297-zib-17821}, year = {2013}, abstract = {The recently imposed new gas market liberalization rules in Germany lead to a change of business of gas network operators. While previously network operator and gas vendor where united, they were forced to split up into independent companies. The network has to be open to any other gas trader at the same conditions, and free network capacities have to be identified and publicly offered in a non-discriminatory way. We show that these new paradigms lead to new and challenging mathematical optimization problems. In order to solve them and to provide meaningful results for practice, all aspects of the underlying problems, such as combinatorics, stochasticity, uncertainty, and nonlinearity, have to be addressed. With such special-tailored solvers, free network capacities and topological network extensions can, for instance, be determined.}, language = {en} } @misc{PfetschFuegenschuhGeissleretal.2012, author = {Pfetsch, Marc and F{\"u}genschuh, Armin and Geißler, Bj{\"o}rn and Geißler, Nina and Gollmer, Ralf and Hiller, Benjamin and Humpola, Jesco and Koch, Thorsten and Lehmann, Thomas and Martin, Alexander and Morsi, Antonio and R{\"o}vekamp, Jessica and Schewe, Lars and Schmidt, Martin and Schultz, R{\"u}diger and Schwarz, Robert and Schweiger, Jonas and Stangl, Claudia and Steinbach, Marc and Vigerske, Stefan and Willert, Bernhard}, title = {Validation of Nominations in Gas Network Optimization: Models, Methods, and Solutions}, issn = {1438-0064}, doi = {10.1080/10556788.2014.888426}, url = {http://nbn-resolving.de/urn:nbn:de:0297-zib-16531}, year = {2012}, abstract = {In this article we investigate methods to solve a fundamental task in gas transportation, namely the validation of nomination problem: Given a gas transmission network consisting of passive pipelines and active, controllable elements and given an amount of gas at every entry and exit point of the network, find operational settings for all active elements such that there exists a network state meeting all physical, technical, and legal constraints. We describe a two-stage approach to solve the resulting complex and numerically difficult mixed-integer non-convex nonlinear feasibility problem. The first phase consists of four distinct algorithms facilitating mixed-integer linear, mixed-integer nonlinear, reduced nonlinear, and complementarity constrained methods to compute possible settings for the discrete decisions. The second phase employs a precise continuous nonlinear programming model of the gas network. Using this setup, we are able to compute high quality solutions to real-world industrial instances whose size is significantly larger than networks that have appeared in the literature previously.}, language = {en} } @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} } @article{MartinMuellerPokutta2014, author = {Martin, Alexander and M{\"u}ller, J. and Pokutta, Sebastian}, title = {Strict linear prices in non-convex European day-ahead electricity markets}, volume = {29}, journal = {Optimization Methods and Software}, number = {1}, pages = {189 -- 221}, year = {2014}, language = {en} } @book{GroetschelLovaszSchrijver1988, author = {Gr{\"o}tschel, Martin and Lov{\´a}sz, L{\´a}szlo and Schrijver, Alexander}, title = {Geometric Algorithms and Combinatorial Optimization}, volume = {2}, journal = {Algorithms and Combinatorics}, publisher = {Springer}, isbn = {3-540-13624-X, 0-387-13624-X (U.S.)}, year = {1988}, language = {en} } @inproceedings{GroetschelLovaszSchrijver1984, author = {Gr{\"o}tschel, Martin and Lov{\´a}sz, L{\´a}szlo and Schrijver, Alexander}, title = {Geometric Methods in Combinatorial Optimization}, booktitle = {Progress in Combinatorial Optimization, (Conference Waterloo/Ontario 1982)}, editor = {Pulleyblank, William}, publisher = {Academic Press}, pages = {167 -- 183}, year = {1984}, language = {en} } @incollection{GroetschelLovaszSchrijver1984, author = {Gr{\"o}tschel, Martin and Lov{\´a}sz, L{\´a}szlo and Schrijver, Alexander}, title = {Polynomial algorithms for perfect graphs}, volume = {21}, booktitle = {Topics on perfect graphs}, editor = {Berge, Claude and Chv{\´a}tal, Vašek}, publisher = {North-Holland}, pages = {325 -- 356}, year = {1984}, language = {en} } @article{GroetschelLovaszSchrijver1984, author = {Gr{\"o}tschel, Martin and Lov{\´a}sz, L{\´a}szlo and Schrijver, Alexander}, title = {Corrigendum to our paper "The ellipsoid method and its consequences in combinatorial optimization"}, volume = {4}, journal = {Combinatorica}, number = {4}, pages = {291 -- 295}, year = {1984}, language = {en} } @article{GroetschelLovaszSchrijver1986, author = {Gr{\"o}tschel, Martin and Lov{\´a}sz, L{\´a}szlo and Schrijver, Alexander}, title = {Relaxations of Vertex Packing}, volume = {40}, journal = {Journal of Combinatorial Theory, Series B}, pages = {330 -- 343}, year = {1986}, language = {en} } @article{GroetschelLovaszSchrijver1981, author = {Gr{\"o}tschel, Martin and Lov{\´a}sz, L{\´a}szlo and Schrijver, Alexander}, title = {The ellipsoid method and its consequences in combinatorial optimization}, volume = {1}, journal = {Combinatorica}, number = {2}, pages = {169 -- 197}, year = {1981}, language = {en} } @article{GroetschelLovaszSchrijver1981, author = {Gr{\"o}tschel, Martin and Lov{\´a}sz, L{\´a}szlo and Schrijver, Alexander}, title = {The ellipsoid method and its consequences in combinatorial optimization}, journal = {IIASA Collab. Proceedings Ser. CP-81-S1}, pages = {511 -- 546}, year = {1981}, language = {en} } @article{AchterbergKochMartin2006, author = {Achterberg, Tobias and Koch, Thorsten and Martin, Alexander}, title = {MIPLIB 2003}, volume = {34}, journal = {Operations Research Letters}, number = {4}, publisher = {Elsevier / North-Holland}, doi = {10.1016/j.orl.2005.07.009}, pages = {361 -- 372}, year = {2006}, language = {en} } @inproceedings{EisenblaetterKochMartinetal.2003, author = {Eisenbl{\"a}tter, Andreas and Koch, Thorsten and Martin, Alexander and Achterberg, Tobias and F{\"u}genschuh, Armin and Koster, Arie M.C.A. and Wegel, Oliver and Wess{\"a}ly, Roland}, title = {Modelling Feasible Network Configurations for UMTS}, booktitle = {Telecommunications Network Design and Management}, editor = {Anandalingam, G. and Raghavan, S.}, publisher = {Kluver}, year = {2003}, language = {en} } @inproceedings{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 = {Optimisation Methods for UMTS Radio Network Planning}, booktitle = {Operation Research Proceedings 2003}, editor = {Ahr, Dino and Fahrion, Roland and Oswald, Marcus and Reinelt, Gerhard}, publisher = {Springer}, doi = {10.1007/978-3-642-17022-5_5}, pages = {31 -- 38}, year = {2003}, language = {en} } @article{AchterbergKochMartin2005, author = {Achterberg, Tobias and Koch, Thorsten and Martin, Alexander}, title = {Branching Rules Revisited}, volume = {33}, journal = {Operations Research Letters}, number = {1}, publisher = {Elsevier / North-Holland}, doi = {10.1016/j.orl.2004.04.002}, pages = {42 -- 54}, year = {2005}, language = {en} } @article{KochMartin1998, author = {Koch, Thorsten and Martin, Alexander}, title = {Solving Steiner tree problems in graphs to optimality}, volume = {32}, journal = {Networks}, doi = {10.1002/(SICI)1097-0037(199810)32:3\%3C207::AID-NET5\%3E3.0.CO;2-O}, pages = {207 -- 232}, year = {1998}, language = {en} } @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} } @article{FiedlerLeichtleKaseetal.2009, author = {Fiedler, Georg Martin and Leichtle, Alexander Benedikt and Kase, Julia and Baumann, Sven and Ceglarek, Uta and Felix, Klaus and Conrad, Tim and Witzigmann, Helmut and Weimann, Arved and Sch{\"u}tte, Christof and Hauss, Johann and B{\"u}chler, Markus and Thiery, Joachim}, title = {Serum Peptidome Profiling Revealed Platelet Factor 4 as a Potential Discriminating Peptide Associated With Pancreatic Cancer}, volume = {15}, journal = {Clinical Cancer Research}, number = {11}, publisher = {American Association for Cancer Research,}, doi = {10.1158/1078-0432.CCR-08-2701}, pages = {3812 -- 3819}, year = {2009}, language = {en} } @inproceedings{MartinMuellerPokutta2010, author = {Martin, Alexander and M{\"u}ller, J. and Pokutta, Sebastian}, title = {On clearing coupled day-ahead electricity markets}, booktitle = {Proceedings of 23rd Australasian Finance and Banking Conference}, year = {2010}, language = {en} } @inproceedings{HelmkeGluchshenkoMartinetal.2011, author = {Helmke, H. and Gluchshenko, O. and Martin, Alexander and Peter, A. and Pokutta, Sebastian and Siebert, U.}, title = {Optimal Mixed-Mode Runway Scheduling}, booktitle = {Proceedings of DACS}, year = {2011}, language = {en} } @misc{BorndoerferFerreiraMartin1997, author = {Bornd{\"o}rfer, Ralf and Ferreira, Carlos E. and Martin, Alexander}, title = {Matrix Decomposition by Branch-and-Cut}, url = {http://nbn-resolving.de/urn:nbn:de:0297-zib-2839}, number = {SC-97-14}, year = {1997}, abstract = {In this paper we investigate whether matrices arising from linear or integer programming problems can be decomposed into so-called {\em bordered block diagonal form}. More precisely, given some matrix \$A\$, we try to assign as many rows as possible to some number of blocks of limited size such that no two rows assigned to different blocks intersect in a common column. Bordered block diagonal form is desirable because it can guide and speed up the solution process for linear and integer programming problems. We show that various matrices from the \%LP- and MIP-libraries \Netlib{} and MIPLIB can indeed be decomposed into this form by computing optimal decompositions or decompositions with proven quality. These computations are done with a branch-and-cut algorithm based on polyhedral investigations of the matrix decomposition problem.}, language = {en} } @misc{BixbyMartin1996, author = {Bixby, Robert E. and Martin, Alexander}, title = {Parallelizing the Dual Simplex Method}, url = {http://nbn-resolving.de/urn:nbn:de:0297-zib-2112}, number = {SC-95-45}, year = {1996}, abstract = {We study the parallelization of the steepest-edge version of the dual simplex algorithm. Three different parallel implementations are examined, each of which is derived from the CPLEX dual simplex implementation. One alternative uses PVM, one general-purpose System V shared-memory constructs, and one the PowerC extension of C on a Silicon Graphics multi-processor. These versions were tested on different parallel platforms, including heterogeneous workstation clusters, Sun S20-502, Silicon Graphics multi-processors, and an IBM SP2. We report on our computational experience.}, language = {en} } @misc{DahlMartinStoer1995, author = {Dahl, Geir and Martin, Alexander and Stoer, Mechthild}, title = {Routing through virtual paths in layered telecommunication networks}, url = {http://nbn-resolving.de/urn:nbn:de:0297-zib-2070}, number = {SC-95-41}, year = {1995}, abstract = {We study a network configuration problem in telecommunications where one wants to set up paths in a capacitated network to accommodate given point-to-point traffic demand. The problem is formulated as an integer linear programming model where 0-1 variables represent different paths. An associated integral polytope is studied and different classes of facets are described. These results are used in a cutting plane algorithm. Computational results for some realistic problems are reported.}, 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{MartinWeismantel1993, author = {Martin, Alexander and Weismantel, Robert}, title = {Packing Paths and Steiner Trees: Routing of Electronic Circuits.}, url = {http://nbn-resolving.de/urn:nbn:de:0297-zib-1113}, number = {SC-93-15}, year = {1993}, abstract = {One of the challenging problems in the design of electronic circuits is the so-called routing problem. Roughly speaking, the task is to connect so-called terminal sets via wires on a predefined area. In addition, certain design rules are to be taken into account and an objective function such as the wiring length must be minimized. The routing problem in general is too complex to be solved in one step. Depending on the user's choice of decomposing the chip design problem into a hierarchy of stages, on the underlying technology, and on the given design rules, various subproblems arise. We discuss several variants of practically relevant routing problems and give a short overview on the underlying technologies and design rules. Many of the routing problems that come up this way can be formulated as the problem of packing so-called Steiner trees in certain graphs. We consider the Steiner tree packing problem from a polyhedral point of view and present three possibilities to define an appropriate polyhedron. Weighing their pros and cons we decide for one of these polytopes and sketch some of our investigations.}, language = {en} } @misc{FerreiraMartinSouzaetal.1994, author = {Ferreira, Carlos E. and Martin, Alexander and Souza, Cid C. de and Weismantel, Robert and Wolsey, Laurence}, title = {Formulations and Valid Inequalities for the Node Capacitated Graph Partitioning Problem.}, url = {http://nbn-resolving.de/urn:nbn:de:0297-zib-1450}, number = {SC-94-16}, year = {1994}, abstract = {We investigate the problem of partitioning the nodes of a graph under capacity restriction on the sum of the node weights in each subset of the partition. The objective is to minimize the sum of the costs of the edges between the subsets of the partition. This problem has a variety of applications, for instance in the design of electronic circuits and devices. We present alternative integer programming formulations for this problem and discuss the links between these formulations. Having chosen to work in the space of edges of the multicut, we investigate the convex hull of incidence vectors of feasible multicuts. In particular, several classes of inequalities are introduced, and their strength and robustness are analyzed as various problem parameters change.}, language = {en} } @misc{FerreiraMartinSouzaetal.1994, author = {Ferreira, Carlos E. and Martin, Alexander and Souza, Cid C. de and Weismantel, Robert and Wolsey, Laurence}, title = {The Node Capacitated Graph Partitioning Problem: A Computational Study.}, url = {http://nbn-resolving.de/urn:nbn:de:0297-zib-1469}, number = {SC-94-17}, year = {1994}, abstract = {In this paper we consider the problem of \$k\$-partitioning the nodes of a graph with capacity restrictions on the sum of the node weights in each subset of the partition, and the objective of minimizing the sum of the costs of the edges between the subsets of the partition. Based on a study of valid inequalities, we present a variety of separation heuristics for so-called cycle, cycle with ears, knapsack tree and path-block-cycle inequalities. The separation heuristics, plus primal heuristics, have been implemented in a branch-and-cut routine using a formulation including the edges with nonzero costs and node variables. Results are presented for three classes of problems: equipartitioning problems arising in finite element methods and partitioning problems associated with electronic circuit layout and compiler design.}, language = {en} } @misc{WeismantelFerreiraMartin1993, author = {Weismantel, Robert and Ferreira, Carlos E. and Martin, Alexander}, title = {A Cutting Plane Based Algorithm for the Multiple Knapsack Problem.}, url = {http://nbn-resolving.de/urn:nbn:de:0297-zib-1031}, number = {SC-93-07}, year = {1993}, abstract = {In this paper we describe a cutting plane based algorithm for the multiple knapsack problem. We use our algorithm to solve some practical problem instances arising in the layout of electronic circuits and in the design of main frame computers, and we report on our computational experience. This includes a discussion and evaluation of separation algorithms, an LP-based primal heuristic and some implementation details. The paper is based on the polyhedral theory for the multiple knapsack polytope developed in our companion paper SC 93-04 and meant to turn this theory into an algorithmic tool for the solution of practical problems.}, language = {en} } @misc{JuengerMartinReineltetal.1992, author = {J{\"u}nger, Michael and Martin, Alexander and Reinelt, Gerhard and Weismantel, Robert}, title = {Quadratic 0/1 Optimization and a Decomposition Approach for the Placement of Electronic Circuits.}, url = {http://nbn-resolving.de/urn:nbn:de:0297-zib-803}, number = {SC-92-10}, year = {1992}, abstract = {The placement in the layout design of electronic circiuts consists of finding a non- overlapping assignment of rectangular cells to positions on the chip so what wireability is guaranteed and certain technical constraints are met.This problem can be modelled as a quadratic 0/1- program subject to linear constraints. We will present a decomposition approach to the placement problem and give results about \$NP\$-hardness and the existence of \$\varepsilon\$-approximative algorithms for the involved optimization problems. A graphtheoretic formulation of these problems will enable us to develop approximative algorithms. Finally we will present details of the implementation of our approach and compare it to industrial state of the art placement routines. {\bf Keywords:} Quadratic 0/1 optimization, Computational Complexity, VLSI-Design.}, language = {en} } @misc{FerreiraMartinWeismantel1993, author = {Ferreira, Carlos E. and Martin, Alexander and Weismantel, Robert}, title = {Facets for the Multiple Knapsack Problem.}, url = {http://nbn-resolving.de/urn:nbn:de:0297-zib-1007}, number = {SC-93-04}, year = {1993}, abstract = {In this paper we consider the multiple knapsack problem which is defined as follows: given a set \$N\$ of items with weights \$f_i\$, \$i \in N\$, a set \$M\$ of knapsacks with capacities \$F_k\$, \$k \in M\$, and a profit function \$c_{ik}, i \in N, k \in M\$; find an assignment of a subset of the set of items to the set of knapsacks that yields maximum profit (or minimum cost). With every instance of this problem we associate a polyhedron whose vertices are in one to one correspondence to the feasible solutions of the instance. This polytope is the subject of our investigations. In particular, we present several new classes of inequalities and work out necessary and sufficient conditions under which the corresponding inequality defines a facet. Some of these conditions involve only properties of certain knapsack constraints, and hence, apply to the generalized assignment polytope as well. The results presented here serve as the theoretical basis for solving practical problems. The algorithmic side of our study, i.e., separation algorithms, implementation details and computational experience with a branch and cut algorithm are discussed in the companion paper SC 93-07.}, language = {en} } @misc{MartinWeismantel1998, author = {Martin, Alexander and Weismantel, Robert}, title = {Conjunctive Cuts for Integer Programs}, url = {http://nbn-resolving.de/urn:nbn:de:0297-zib-3618}, number = {SC-98-18}, year = {1998}, abstract = {This paper deals with a family of conjunctive inequalities. Such inequalities are needed to describe the polyhedron associated with all the integer points that satisfy several knapsack constraints simultaneously. Here we demonstrate the strength and potential of conjunctive inequalities in connection with lifting from a computational point of view.}, language = {en} } @misc{MartinWeismantel1997, author = {Martin, Alexander and Weismantel, Robert}, title = {Contributions to General Mixed Integer Knapsack Problems}, url = {http://nbn-resolving.de/urn:nbn:de:0297-zib-3075}, number = {SC-97-38}, year = {1997}, abstract = {This paper deals with a general mixed integer knapsack polyhedron for which we introduce and analyze a new family of inequalities. We discuss the value of this family both from a theoretic and a computational point of view.}, language = {en} } @article{GamrathGleixnerKochetal.2019, author = {Gamrath, Gerald and Gleixner, Ambros and Koch, Thorsten and Miltenberger, Matthias and Kniasew, Dimitri and Schl{\"o}gel, Dominik and Martin, Alexander and Weninger, Dieter}, title = {Tackling Industrial-Scale Supply Chain Problems by Mixed-Integer Programming}, volume = {37}, journal = {Journal of Computational Mathematics}, doi = {10.4208/jcm.1905-m2019-0055}, pages = {866 -- 888}, year = {2019}, abstract = {The modeling flexibility and the optimality guarantees provided by mixed-integer programming greatly aid the design of robust and future-proof decision support systems. The complexity of industrial-scale supply chain optimization, however, often poses limits to the application of general mixed-integer programming solvers. In this paper we describe algorithmic innovations that help to ensure that MIP solver performance matches the complexity of the large supply chain problems and tight time limits encountered in practice. Our computational evaluation is based on a diverse set, modeling real-world scenarios supplied by our industry partner SAP.}, language = {en} } @misc{GamrathKochMartinetal.2013, author = {Gamrath, Gerald and Koch, Thorsten and Martin, Alexander and Miltenberger, Matthias and Weninger, Dieter}, title = {Progress in Presolving for Mixed Integer Programming}, issn = {1438-0064}, doi = {10.1007/s12532-015-0083-5}, url = {http://nbn-resolving.de/urn:nbn:de:0297-zib-42530}, year = {2013}, abstract = {Presolving attempts to eliminate redundant information from the problem formulation and simultaneously tries to strengthen the formulation. It can be very effective and is often essential for solving instances. Especially for mixed integer programming problems, fast and effective presolving algorithms are very important. In this paper, we report on three new presolving techniques. The first method searches for singleton continuous columns and tries to fix the corresponding variables. Then we present a presolving technique which exploits a partial order of the variables to induce fixings. Finally, we show an approach based on connected components in graphs. Our computational results confirm the profitable use of the algorithms in practice.}, language = {en} }