@inproceedings{BorndoerferSchenkerSkutellaetal., author = {Bornd{\"o}rfer, Ralf and Schenker, Sebastian and Skutella, Martin and Strunk, Timo}, title = {PolySCIP}, series = {Mathematical Software - ICMS 2016, 5th International Conference, Berlin, Germany, July 11-14, 2016, Proceedings}, volume = {9725}, booktitle = {Mathematical Software - ICMS 2016, 5th International Conference, Berlin, Germany, July 11-14, 2016, Proceedings}, editor = {Greuel, G.-M. and Koch, Thorsten and Paule, Peter and Sommese, Andrew}, edition = {Mathematical Software - ICMS 2016}, publisher = {Springer International Publishing}, isbn = {978-3-319-42431-6}, doi = {10.1007/978-3-319-42432-3_32}, pages = {259 -- 264}, abstract = {PolySCIP is a new solver for multi-criteria integer and multi-criteria linear programs handling an arbitrary number of objectives. It is available as an official part of the non-commercial constraint integer programming framework SCIP. It utilizes a lifted weight space approach to compute the set of supported extreme non-dominated points and unbounded non-dominated rays, respectively. The algorithmic approach can be summarized as follows: At the beginning an arbitrary non-dominated point is computed (or it is determined that there is none) and a weight space polyhedron created. In every next iteration a vertex of the weight space polyhedron is selected whose entries give rise to a single-objective optimization problem via a combination of the original objectives. If the ptimization of this single-objective problem yields a new non-dominated point, the weight space polyhedron is updated. Otherwise another vertex of the weight space polyhedron is investigated. The algorithm finishes when all vertices of the weight space polyhedron have been investigated. The file format of PolySCIP is based on the widely used MPS format and allows a simple generation of multi-criteria models via an algebraic modelling language.}, language = {en} } @inproceedings{ScheumannFuegenschuhSchenkeretal., author = {Scheumann, Ren{\´e} and F{\"u}genschuh, Armin and Schenker, Sebastian and Vierhaus, Ingmar and Bornd{\"o}rfer, Ralf and Finkbeiner, Matthias}, title = {Global Manufacturing: How to Use Mathematical Optimisation Methods to Transform to Sustainable Value Creation}, series = {Proceedings of the 10th Global Conference on Sustainable Manufacturing}, booktitle = {Proceedings of the 10th Global Conference on Sustainable Manufacturing}, editor = {Seliger, G{\"u}nther}, isbn = {978-605-63463-1-6}, pages = {538 -- 545}, language = {en} } @incollection{SchenkerVierhausBorndoerferetal., author = {Schenker, Sebastian and Vierhaus, Ingmar and Bornd{\"o}rfer, Ralf and F{\"u}genschuh, Armin and Skutella, Martin}, title = {Optimisation Methods in Sustainable Manufacturing}, series = {Sustainable Manufacturing}, booktitle = {Sustainable Manufacturing}, editor = {Stark, Rainer and Seliger, G{\"u}nther and Bonvoisin, J{\´e}r{\´e}my}, publisher = {Springer International Publishing}, isbn = {978-3-319-48514-0}, doi = {10.1007/978-3-319-48514-0_15}, pages = {239 -- 253}, abstract = {Sustainable manufacturing is driven by the insight that the focus on the economic dimension in current businesses and lifestyles has to be broadened to cover all three pillars of sustainability: economic development, social development, and environmental protection.}, language = {en} } @inproceedings{BuchertNeugebauerSchenkeretal., author = {Buchert, Tom and Neugebauer, Sabrina and Schenker, Sebastian and Lindow, Kai and Stark, Rainer}, title = {Multi-criteria Decision Making as a Tool for Sustainable Product Development - Benefits and Obstacles}, series = {Procedia CIRP}, volume = {26}, booktitle = {Procedia CIRP}, doi = {10.1016/j.procir.2014.07.110}, pages = {70 -- 75}, language = {en} } @inproceedings{SproesserSchenkerPittneretal., author = {Spr{\"o}sser, Gunther and Schenker, Sebastian and Pittner, Andreas and Bornd{\"o}rfer, Ralf and Rethmeier, Michael and Chang, Ya-Ju and Finkbeiner, Matthias}, title = {Sustainable Welding Process Selection based on Weight Space Partitions}, series = {Procedia CIRP}, volume = {40}, booktitle = {Procedia CIRP}, doi = {10.1016/j.procir.2016.01.077}, pages = {127 -- 132}, language = {en} } @inproceedings{SchenkerSteingrimssonBorndoerferetal., author = {Schenker, Sebastian and Steingr{\´i}msson, J{\´o}n Garðar and Bornd{\"o}rfer, Ralf and Seliger, G{\"u}nther}, title = {Modelling of Bicycle Manufacturing via Multi-criteria Mixed Integer Programming}, series = {Procedia CIRP}, volume = {26}, booktitle = {Procedia CIRP}, doi = {10.1016/j.procir.2014.07.068}, pages = {276 -- 280}, language = {en} } @misc{SchenkerBorndoerferSkutella, author = {Schenker, Sebastian and Bornd{\"o}rfer, Ralf and Skutella, Martin}, title = {A novel partitioning of the set of non-dominated points}, issn = {1438-0064}, url = {http://nbn-resolving.de/urn:nbn:de:0297-zib-61286}, abstract = {We consider a novel partitioning of the set of non-dominated points for general multi-objective integer programs with \$k\$ objectives. The set of non-dominated points is partitioned into a set of non-dominated points whose efficient solutions are also efficient for some restricted subproblem with one less objective; the second partition comprises the non-dominated points whose efficient solutions are inefficient for any of the restricted subproblems. We show that the first partition has the nice property that it yields finite rectangular boxes in which the points of the second partition are located.}, language = {en} } @misc{ScheumannFuegenschuhSchenkeretal., author = {Scheumann, Rene and F{\"u}genschuh, Armin and Schenker, Sebastian and Vierhaus, Ingmar and Bornd{\"o}rfer, Ralf and Finkbeiner, Matthias}, title = {Global Manufacturing: How to Use Mathematical Optimisation Methods to Transform to Sustainable Value Creation}, issn = {1438-0064}, url = {http://nbn-resolving.de/urn:nbn:de:0297-zib-15703}, abstract = {It is clear that a transformation to sustainable value creation is needed, because business as usual is not an option for preserving competitive advantages of leading industries. What does that mean? This contribution proposes possible approaches for a shift in existing manufacturing paradigms. In a first step, sustainability aspects from the German Sustainability Strategy and from the tools of life cycle sustainability assessment are chosen to match areas of a value creation process. Within these aspects are indicators, which can be measured within a manufacturing process. Once these data are obtained they can be used to set up a mathematical linear pulse model of manufacturing in order to analyse the evolution of the system over time, that is the transition process, by using a system dynamics approach. An increase of technology development by a factor of 2 leads to an increase of manufacturing but also to an increase of climate change. Compensation measures need to be taken. This can be done by e.g. taking money from the GDP (as an indicator of the aspect ``macroeconomic performance''). The value of the arc from that building block towards climate change must then be increased by a factor of 10. The choice of independent and representative indicators or aspects shall be validated and double-checked for their significance with the help of multi-criteria mixed-integer programming optimisation methods.}, language = {en} } @misc{MaherFischerGallyetal., author = {Maher, Stephen J. and Fischer, Tobias and Gally, Tristan and Gamrath, Gerald and Gleixner, Ambros and Gottwald, Robert Lion and Hendel, Gregor and Koch, Thorsten and L{\"u}bbecke, Marco and Miltenberger, Matthias and M{\"u}ller, Benjamin and Pfetsch, Marc and Puchert, Christian and Rehfeldt, Daniel and Schenker, Sebastian and Schwarz, Robert and Serrano, Felipe and Shinano, Yuji and Weninger, Dieter and Witt, Jonas T. and Witzig, Jakob}, title = {The SCIP Optimization Suite 4.0}, issn = {1438-0064}, url = {http://nbn-resolving.de/urn:nbn:de:0297-zib-62170}, abstract = {The SCIP Optimization Suite is a powerful collection of optimization software that consists of the branch-cut-and-price framework and mixed-integer programming solver SCIP, the linear programming solver SoPlex, the modeling language Zimpl, the parallelization framework UG, and the generic branch-cut-and-price solver GCG. Additionally, it features the extensions SCIP-Jack for solving Steiner tree problems, PolySCIP for solving multi-objective problems, and SCIP-SDP for solving mixed-integer semidefinite programs. The SCIP Optimization Suite has been continuously developed and has now reached version 4.0. The goal of this report is to present the recent changes to the collection. We not only describe the theoretical basis, but focus on implementation aspects and their computational consequences.}, language = {en} } @misc{GamrathFischerGallyetal., author = {Gamrath, Gerald and Fischer, Tobias and Gally, Tristan and Gleixner, Ambros and Hendel, Gregor and Koch, Thorsten and Maher, Stephen J. and Miltenberger, Matthias and M{\"u}ller, Benjamin and Pfetsch, Marc and Puchert, Christian and Rehfeldt, Daniel and Schenker, Sebastian and Schwarz, Robert and Serrano, Felipe and Shinano, Yuji and Vigerske, Stefan and Weninger, Dieter and Winkler, Michael and Witt, Jonas T. and Witzig, Jakob}, title = {The SCIP Optimization Suite 3.2}, issn = {1438-0064}, url = {http://nbn-resolving.de/urn:nbn:de:0297-zib-57675}, abstract = {The SCIP Optimization Suite is a software toolbox for generating and solving various classes of mathematical optimization problems. Its major components are the modeling language ZIMPL, the linear programming solver SoPlex, the constraint integer programming framework and mixed-integer linear and nonlinear programming solver SCIP, the UG framework for parallelization of branch-and-bound-based solvers, and the generic branch-cut-and-price solver GCG. It has been used in many applications from both academia and industry and is one of the leading non-commercial solvers. This paper highlights the new features of version 3.2 of the SCIP Optimization Suite. Version 3.2 was released in July 2015. This release comes with new presolving steps, primal heuristics, and branching rules within SCIP. In addition, version 3.2 includes a reoptimization feature and improved handling of quadratic constraints and special ordered sets. SoPlex can now solve LPs exactly over the rational number and performance improvements have been achieved by exploiting sparsity in more situations. UG has been tested successfully on 80,000 cores. A major new feature of UG is the functionality to parallelize a customized SCIP solver. GCG has been enhanced with a new separator, new primal heuristics, and improved column management. Finally, new and improved extensions of SCIP are presented, namely solvers for multi-criteria optimization, Steiner tree problems, and mixed-integer semidefinite programs.}, language = {en} }