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

    Welcome / Introduction

  • 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: -