Learning from Both Sides Linear and Nonlinear Mixed-Integer Optimization
July 3 - July 7, 2023
Optimization problems are categorized based on the types of variables and functions in their mathematical description, where mixed-integer linear programming (MILP) and mixed-integer nonlinear programming (MINLP) are two of the most general classes. Both classes of problems have been actively studied in the last decades due to their challenging mathematical properties and their remarkable versatility in representing complex processes and phenomena. MINLP problems are of great interest in applied mathematics as they combine numerical challenges of solving large nonlinear systems with combinatorial challenges, resulting in problems that are truly complex to solve. Research in the field is also driven by a large range of important applications across science and engineering.
Different research communities have formed around MILP and MINLP, even if the two are closely related. Historically, MILP and MINLP have been developed from different perspectives. MILP has been studied more in-depth from a mathematical perspective, and the theoretical foundation is stronger for linear problems. MILP is closely related to the fields of combinatorics and discrete geometry, and it can be viewed as a generalization of combinatorial optimization. Research in MINLP instead, has been more application driven. Several of the main contributions, both theoretical and algorithmic, originate from engineering. However, MINLP is also of great interest from a pure mathematical perspective and it is an active area for fundamental research.
The goal of the workshop is to bring together leading researchers from both the MILP and MINLP communities to discuss current challenges in the respective fields and transfer knowledge between the two. We believe that great mutual benefits can be obtained by learning from “the other side”. As the two communities have focused on somewhat different aspects, we believe that both communities can learn from each other when it comes to techniques, theory, and methods for dealing with challenging mixed-integer problems.
Seminars Scroll to the next upcoming seminar
-
Welcome / Introduction July 03 09:00 - 10:45 -
Ruth Misener: Optimization for ML and ML for optimization July 03 11:15 - 12:15 Ruth Misener: Optimization for ML and ML for optimization
-
Nick Sahinidis: Three generations of global MINLP solvers July 03 16:00 - 17:00 Nick Sahinidis: Three generations of global MINLP solvers
-
Margarida Carvalho: Extending the wonders of integer programming to solve games July 03 17:00 - 18:00 Margarida Carvalho: Extending the wonders of integer programming to solve games
-
Oliver Stein: Branch-and-bound in multiobjective mixed-integer nonlinear optimization July 04 09:00 - 10:00 Oliver Stein: Branch-and-bound in multiobjective mixed-integer nonlinear optimization
-
Marianna de Santis: Using Dual Relaxations in Multiobjective Mixed-Integer Quadratic Programming July 04 10:00 - 10:30 Marianna de Santis: Using Dual Relaxations in Multiobjective Mixed-Integer Quadratic Programming
-
Santanu Dey: Convexification of one, two, three, and more quadratic constraints July 04 11:00 - 12:00 Santanu Dey: Convexification of one, two, three, and more quadratic constraints
-
Jeffrey Linderoth: Computational Ideas for Difficult Conic Optimization Problems July 04 16:30 - 17:30 Jeffrey Linderoth: Computational Ideas for Difficult Conic Optimization Problems
-
Claudia D’Ambrosio: On Perspective Formulations for Piecewise Convex Problems July 04 17:30 - 18:00 Claudia D’Ambrosio: On Perspective Formulations for Piecewise Convex Problems
-
Timo Berthold: The role of primal heuristics in MIP (and MINLP) solvers July 05 09:00 - 10:00 Timo Berthold: The role of primal heuristics in MIP (and MINLP) solvers
-
Ted Ralphs: Parametric Inequalities in Mixed Integer (Non?) Linear Optimization July 05 10:00 - 10:30 Ted Ralphs: Parametric Inequalities in Mixed Integer (Non?) Linear Optimization
-
David Bernal: Discrete nonlinear optimization: Modeling and solutions via novel hardware and decomposition algorithms July 05 11:00 - 12:00 David Bernal: Discrete nonlinear optimization: Modeling and solutions via novel hardware and decomposition algorithms
-
Sven Leyffer: Mixed-Integer PDE-Constrained Optimization July 05 13:30 - 14:30 Sven Leyffer: Mixed-Integer PDE-Constrained Optimization
-
Laura Palagi: From black forests to interpretable trees: recent development on Optimal classification trees July 06 09:00 - 10:00 Laura Palagi: From black forests to interpretable trees: recent development on Optimal classification trees
-
Ambros Gleixner: Linearizing nonlinear on/off structures: perspective cuts in a global MINLP solver July 06 10:00 - 10:30 Ambros Gleixner: Linearizing nonlinear on/off structures: perspective cuts in a global MINLP solver
-
Laura Galli: MINLP approaches for QoS scheduling in computer network July 06 11:00 - 11:30 Laura Galli: MINLP approaches for QoS scheduling in computer network
-
Andreas Lundell: A SHOT at MINLP solver design and extensibility July 06 11:30 - 12:00 Andreas Lundell: A SHOT at MINLP solver design and extensibility
-
Martin Schmidt: A Successive Linear Relaxation Method for MINLPs with Multivariate Lipschitz Continuous Nonlinearities July 06 16:00 - 16:30 Martin Schmidt: A Successive Linear Relaxation Method for MINLPs with Multivariate Lipschitz Continuous Nonlinearities
-
Thomas Riis Stidsen: A Bi-Objective Parallel Branch & Cut Algorithm for TSP July 06 16:30 - 17:00 Thomas Riis Stidsen: A Bi-Objective Parallel Branch & Cut Algorithm for TSP
-
Hadi Charkhgard: Solving Multiplicative Programs by Binary-encoding the Multiplication Operation July 06 17:00 - 17:30 Hadi Charkhgard: Solving Multiplicative Programs by Binary-encoding the Multiplication Operation
-
Thomas Riis Stidsen: A Bi-Objective Parallel Branch & Cut Algorithm for TSP July 06 17:30 - 18:00 Thomas Riis Stidsen: A Bi-Objective Parallel Branch & Cut Algorithm for TSP
-
Shudian Zhao: Model-based feature selection for neural networks: A mixed-integer programming approach July 06 17:30 - 18:00 Shudian Zhao: Model-based feature selection for neural networks: A mixed-integer programming approach
-
Stefano Coniglio: Bound-optimal cutting-plane generation July 07 09:00 - 09:30 Stefano Coniglio: Bound-optimal cutting-plane generation
-
Moritz Link: A framework for computing enclosures of multi-objective mixed-integer nonconvex optimization problems July 07 09:30 - 10:00 Moritz Link: A framework for computing enclosures of multi-objective mixed-integer nonconvex optimization problems
-
Ivo Nowak: Decomposition Methods for nonconvex MINLP and ML July 07 10:00 - 10:30 Ivo Nowak: Decomposition Methods for nonconvex MINLP and ML
-
Christopher Hojny: A Unified Framework for Symmetry Handling July 07 11:00 - 11:30 Christopher Hojny: A Unified Framework for Symmetry Handling
-
Olli Herrala: A Prescriptive Trilevel Equilibrium Model for Optimal Emissions Pricing and Sustainable Energy Systems… July 07 11:30 - 12:00 Olli Herrala: A Prescriptive Trilevel Equilibrium Model for Optimal Emissions Pricing and Sustainable Energy Systems…
-
Closing July 07 12:00 - 12:15 Closing
Participants
Name | University | Country | Arrival and Departure |
---|---|---|---|
Nikita Belyak | University: Aalto University | City: Finland | Arrival and Departure: - |
David Bernal | University: Purdue University | City: United States | Arrival and Departure: - |
Timo Berthold | University: FICO, TU Berlin | City: Germany | Arrival and Departure: - |
Margarida Carvalho | University: Université de Montréal | City: Canada | Arrival and Departure: - |
Hadi Charkhgard | University: University of South Florida | City: United States | Arrival and Departure: - |
Stefano Coniglio | University: University of Bergamo | City: United Kingdom | Arrival and Departure: - |
Claudia D’Ambrosio | University: CNRS and École Polytechnique | City: France | Arrival and Departure: - |
Marianna De Santis | University: Sapienza University of Rome | City: Italy | Arrival and Departure: - |
Santanu S. Dey | University: Georgia Institute of Technology | City: United States | Arrival and Departure: - |
Gabriele Eichfelder | University: Technische Universität Ilmenau | City: Germany | Arrival and Departure: - |
Sourour Elloumi | University: UMA, ENSTA Paris / CEDRIC, Cnam | City: France | Arrival and Departure: - |
Laura Galli | University: University of Pisa | City: Italy | Arrival and Departure: - |
Ambros Gleixner | University: HTW Berlin / Zuse Institute Berlin | City: Germany | Arrival and Departure: - |
Roghayeh Hajizadeh | University: Linköping University | City: Sweden | Arrival and Departure: - |
Roghayeh Hajizadeh | University: Linköping University | City: Sweden | Arrival and Departure: - |
Olli Herrala | University: Aalto University | City: Finland | Arrival and Departure: - |
Christopher Hojny | University: Eindhoven University of Technology | City: The Netherlands | Arrival and Departure: - |
Aida Khajavirad (Online) | University: Lehigh University | City: United States | Arrival and Departure: - |
Jan Kronqvist | University: KTH Royal Institute of Technology | City: Sweden | Arrival and Departure: - |
Sven Leyffer | University: Argonne National Laboratory | City: United States | Arrival and Departure: - |
Jeff Linderoth | University: University of Wisconsin-Madison | City: United States | Arrival and Departure: - |
Moritz Link | University: Universität Konstanz | City: Germany | Arrival and Departure: - |
Andrea Lodi (Online) | University: Cornell Tech and Technion | City: United States | Arrival and Departure: - |
Johan Löfberg | University: Linköping University | City: Sweden | Arrival and Departure: - |
Andreas Lundell | University: Åbo Akademi University | City: Finland | Arrival and Departure: - |
Ruth Misener | University: Imperial College London | City: United Kingdom | Arrival and Departure: - |
Ivo Nowak | University: HAW-Hamburg | City: Germany | Arrival and Departure: - |
Fabricio Oliveira | University: Aalto University | City: Finland | Arrival and Departure: - |
Laura Palagi | University: Sapienza University of Rome | City: Italy | Arrival and Departure: - |
Ted Ralphs | University: Lehigh University | City: United States | Arrival and Departure: - |
Thomas Riis Stidsen | University: Technical University of Denmark | City: Denmark | Arrival and Departure: - |
Elina Rönnberg | University: Linköping University | City: Sweden | Arrival and Departure: - |
Martin Ryner | University: KTH Royal Institute of Technology | City: Sweden | Arrival and Departure: - |
Sebastian Sager (Online) | University: Otto-von-Guericke Universität Magdeburg | City: Germany | Arrival and Departure: - |
Nick Sahinidis | University: Georgia Institute of Technology | City: United States | Arrival and Departure: - |
Martin Schmidt | University: Trier University | City: Germany | Arrival and Departure: - |
Shamisa Shoja | University: Linköping University | City: Sweden | Arrival and Departure: - |
Oliver Stein | University: Karlsruhe Institute of Technology (KIT) | City: Germany | Arrival and Departure: - |
Ann-Brith Strömberg | University: University of Gothenburg | City: Sweden | Arrival and Departure: - |
Erik Tamm | University: KTH Royal Institute of Technology | City: Sweden | Arrival and Departure: - |
Shudian Zhao | University: KTH Royal Institute of Technology | City: Sweden | Arrival and Departure: - |