Program for stream Software for Optimization

MD-17: Software for LP/MIP
Stream: Software for Optimization
Room: U356 (building East corridors)
Chair(s): Timo Berthold

• What's new in FICO Xpress Solver?
  Timo Berthold
• What’s New in Gurobi 9.5
  Michael Winkler
• Improving the Performance of Simplex-based Algorithms
  Philipp Christophel
• Recent advances in the Cardinal Optimizer
  Gerald Gamrath

TA-17: MIP Solving: Latest Techniques
Stream: Software for Optimization
Room: U356 (building East corridors)
Chair(s): Timo Berthold

• Learning to Use Local Cuts
  Matteo Francobaldi, Timo Berthold, Gregor Hendel
• Schreier-Sims Cuts meet Stable Set: Exploiting Problem Structure to Derive Symmetry Handling Inequalities
  Christopher Hojny, Marc Pfetsch, Jose Verschae
• Symmetry handling in binary programs through propagation
  Jasper van Doornmalen, Christopher Hojny
• The chebyshev center as an alternative to the analytic center in the feasibility pump heuristic
  Daniel Baena Mirabete, Jordi Castro

TB-17: Software for (MI)NLP
Stream: Software for Optimization
Room: U356 (building East corridors)
Chair(s): Susanne Heipcke

• New Developments in the SCIP Optimization Suite 8
  Ksenia Bestuzheva
• Global Optimization of Advanced Formulations with EAGO.jl: Recent Advances
  Matthew Stuber, Robert Gottlieb, Matthew Wilhelm
• A new specialized interior-point method for large-scale multistage stochastic optimization problems
  Jordi Castro, Laureano F. Escudero, Juan Francisco Monge

TC-17: Modelling Tools I
Stream: Software for Optimization
Room: U356 (building East corridors)
Chair(s): Robert Fourer

• 20 Years Xpress Mosel: Software design driven by application needs and technological advances
  Susanne Heipcke, Yves Colombani
• Insights into Recent Project Activities with GAMS
  Robin Schuchmann
• Advances in Model-Based Optimization with AMPL
  Robert Fourer, Gleb Belov, Filipe Brandão

TD-17: Modelling Tools II
Stream: Software for Optimization
Room: U356 (building East corridors)
Chair(s): Susanne Heipcke

• OMLT: Optimization and Machine Learning Toolkit
  Ruth Misener
• Converting proof-of-concept models into powerful Xpress Insight applications to facilitate academic-industrial cooperation
  Jens Schulz
• GAMS and cloud native computing
  Frederik Proske
• SMS++: a Software Framework for Structured Optimization
  Antonio Frangioni

WA-17: Optimization Software: Other Topics
Stream: Software for Optimization
Room: U356 (building East corridors)
Chair(s): Robert Fourer

• Progress in Mathematical Programming Solvers from 2001 to 2020
  Thorsten Koch
• Efficiently Explaining Constraint Satisfaction Problems with Unsatisfiable Subset Optimization
  Emilio Gamba, Bart Bogaerts, Tias Guns
• Understanding Solver Logs and Parameter Tuning
  Mario Ruthmair