Program for stream Software for Optimization

MA-30: MIP Solvers
Stream: Software for Optimization
Room: 064 (building: 208)
Chair(s): Benjamin Müller

• What’s New in FICO Xpress Solver?
  Timo Berthold
• Whats new in Gurobi 11
  Michael Winkler
• Recent Advances in the SCIP Optimization Solver
  Suresh Bolusani
• Recent advances in the Cardinal Optimizer
  Benjamin Müller

MB-30: MINLP Solvers
Stream: Software for Optimization
Room: 064 (building: 208)
Chair(s): Julio González-Díaz

• Solving MINLPs to Global Optimality with FICO Xpress Solver
  Tristan Gally
• Global optimization of continuous and discrete nonlinear programs with BARON
  Yi Zhang, Nikolaos Sahinidis
• Global MINLP in Gurobi
  Tobias Achterberg
• RAPOSa: A free global solver for mixed integer polynomial optimization problems
  Julio González-Díaz, Brais González Rodríguez, Iria Rodríguez-Acevedo, Ignacio Gómez-Casares

MC-30: Continuous Solvers
Stream: Software for Optimization
Room: 064 (building: 208)
Chair(s): Maxime Dufour

• Progress towards a new interior point solver for HiGHS
  Julian Hall
• Decomposition, Cutting Planes and Column Generation with Interior Point Methods
  Jacek Gondzio
• Latest developments for mixed-integer nonlinear programming in Artelys Knitro
  Maxime Dufour, Florian Fontan, Hugo Chareyre

MD-30: Optimization Solvers
Stream: Software for Optimization
Room: 064 (building: 208)
Chair(s): Frédéric Gardi

• Latest Development in the MibS Solver for Mixed Integer Bilevel Optimization
  Theodore Ralphs
• Flowty - a network optimisation solver
  Simon Spoorendonk, Bjørn Petersen
• Blackbox optimization with the MADS algorithm and the NOMAD software
  Sébastien Le Digabel
• Hexaly, a new kind of global optimization solver
  Frédéric Gardi

TA-30: Parallel Solvers
Stream: Software for Optimization
Room: 064 (building: 208)
Chair(s): Yuji Shinano

• Parallel General-Purpose Dynamic Programming Solvers for Combinatorial Optimization
  Ryo Kuroiwa, Yuji Shinano, J. Christopher Beck
• A parallel Benders' decomposition algorithm for solving the integrated long-haul and local vehicle routing problem
  Stephen Maher, Junko Hosoda, Yuji Shinano
• Improving Lower Bounds for Large Scale QAPs
  Koichi Fujii, Sunyoung Kim, Masakazu Kojima, Hans Mittelmann, Yuji Shinano
• Finding optimal solutions to previously unsolved combinatorial optimization problems by using more than 100,000 cores
  Yuji Shinano

TB-30: Modeling Languages
Stream: Software for Optimization
Room: 064 (building: 208)
Chair(s): Robert Fourer, Christian Valente

• Building, testing, analyzing, and debugging FICO Xpress Mosel projects
  Susanne Heipcke, Yves Colombani
• GAMS Engine SaaS: A Cloud-Based Solution for Large-Scale Optimization Problems
  Frederik Proske
• AMPL: Advances in Python Integration, Cloud Deployment, and Open-Source Tools
  FIlipe Brandão
• Advances in Automated Conversion of Optimization Problems
  Christian Valente, Robert Fourer

TC-30: Modeling tools
Stream: Software for Optimization
Room: 064 (building: 208)
Chair(s): Paul Kerr-Delworth

• Integrating Machine Learning with GAMSPy
  Hamdi Burak Usul
• Introducing the new Object-Oriented Xpress Solver API
  Adam Ferreira Da Costa
• Hexaly Studio: a no-code platform for mathematical optimization
  Thierry Benoist, Frédéric Gardi
• Recent Modeling and Solver Improvements in MATLAB
  Paul Kerr-Delworth

TD-30: Python Modeling Tools
Stream: Software for Optimization
Room: 064 (building: 208)
Chair(s): Robert Luce

• An Introduction to PyPSA: Exploring Open-Source, High-Resolution Energy Planning
  Elisabeth Zeyen, Iegor Riepin
• GAMSPy: The Best of Both Worlds - Integrating Python and GAMS
  Justine Broihan
• Convenient and Efficient Implementation of Analytic Python Apps with Xpress Insight and Workbench
  Alexander Biele
• Matrix-friendly modeling with gurobipy
  Robert Luce

WA-30: Optimization Tools
Stream: Software for Optimization
Room: 064 (building: 208)
Chair(s): Andreas Lundell

• Gurobi OptiMods - Painless Optimization Templates
  Matthias Miltenberger
• Generative AI in Decision Support Tools: Managing Hallucinations
  Oliver Bastert, Jens Schulz
• Automatic model decomposition in Hexaly Optimizer
  Julien Darlay
• VIVA: A web-based tool for analyzing and visualizing optimization solver benchmarking results
  Andreas Lundell, Oscar Härtull, Alireza Olama

WB-30: Specialized Optimization Algorithms
Stream: Software for Optimization
Room: 064 (building: 208)
Chair(s): Jordi Castro

• Detecting and Handling Reflection Symmetries in MINLP
  Christopher Hojny
• A generalization of the Weight Reduction algorithm
  Aurelio Oliveira, Carla Ghidini, Jonathan Solis Hidalgo
• Certifying Symmetry Handling Reductions in Integer Programming
  Jasper van Doornmalen, Leon Eifler, Ambros Gleixner, Christopher Hojny
• Specialized interior point method for support vector machines based on variable splitting
  Jordi Castro

WC-30: Optimization Frameworks
Stream: Software for Optimization
Room: 064 (building: 208)
Chair(s): Alejandro Astudillo

• Nonsmooth Optimization on Riemannian Manifolds in Manopt.jl
  Ronny Bergmann
• goalp: Weighted and Lexicographic Goal Programming Interface for R
  David Palma, Richard Hodgett
• CasADi as the "bread and butter" in optimization for problem-solving engineers
  Alejandro Astudillo, Joris Gillis