Program for stream Software for Optimization

MD-43: MIP Solvers
Stream: Software for Optimization
Room: Newlyn GR.07
Chair(s): Stefan Vigerske

• New in FICO Xpress Solver
  Michael Perregaard
• What's new in Gurobi 12
  Michael Winkler
• Recent Developments in the Cardinal Optimizer
  Qi Huangfu
• The SCIP Optimization Suite 10
  Stefan Vigerske

TA-43: Global and Nonlinear Solvers
Stream: Software for Optimization
Room: Newlyn GR.07
Chair(s): Hugo Chareyre

• What‘s new for the global solver in FICO Xpress
  Tristan Gally
• Solving MINLP polynomial problems to global optimality: Recent advances in RAPOSa
  Julio González-Díaz, Brais González Rodríguez, Pietro Belotti, Iria Rodríguez-Acevedo, Ignacio Gómez-Casares
• Latest developments for mixed-integer nonlinear programming in Artelys Knitro
  Hugo Chareyre, Marvin Stanczak
• Hexaly, a new kind of global optimization solver
  Frédéric Gardi

TB-43: Continuous solvers
Stream: Software for Optimization
Room: Newlyn GR.07
Chair(s): Julian Hall

• Enhancing the HiGHS solvers
  Julian Hall
• Accelerating Linear Programming Performance: A Hardware-Software Co-Design Approach for the Simplex Method
  Kristin Braun, Marcus Bednara, Martina Kuchlbauer, Carsten Sigwarth
• Solving LPs using GPUs: a practical review
  David Torres Sanchez
• CuClarabel: GPU Acceleration for a Conic Optimization Solver
  Yuwen Chen

TC-43: GenAI and Learning
Stream: Software for Optimization
Room: Newlyn GR.07
Chair(s): Jens Schulz

• GenAI and OR – a boost for productivity?
  Jens Schulz
• Generative AI for solving optimization problems: Is it helpful?
  Mario Ruthmair
• Embedding neural networks into optimization models with GAMSPy
  André Schnabel, Hamdi Burak Usul
• SupPy – a GPU-accelerated Python toolbox for superiorization of feasibility-seeking projection algorithms
  Tobias Becher, Yair Censor, Niklas Wahl

TD-43: Toolboxes & APIs
Stream: Software for Optimization
Room: Newlyn GR.07
Chair(s): Léa Blaise

• Recent Developments in Optimization with MATLAB
  Paul Kerr-Delworth
• Writing and solving models with the new FICO Xpress C++ API
  Daniel Junglas
• Large-scale modeling with AMPL in Python: Fast Integration, Cloud Deployment, and Generative AI
  Marcos Dominguez Velad
• Compact set-based modeling for scheduling problems with Hexaly
  Léa Blaise

WA-43: Modelling languages
Stream: Software for Optimization
Room: Newlyn GR.07
Chair(s): Susanne Heipcke

• Recent improvements to JuMP
  Oscar Dowson
• Recent new features of FICO Xpress APIs and Xpress Mosel
  Susanne Heipcke
• GAMSPy - A Glue Between High Performance Optimization and Convenience
  Muhammet Soyturk
• Recent Advances in Flowty
  Simon Spoorendonk

WB-43: Parallelize now!
Stream: Software for Optimization
Room: Newlyn GR.07
Chair(s): Yuji Shinano

• State-of-the-art Methods for Pseudo-Boolean Solving with SCIP
  Gioni Mexi
• A parallelisation framework for solving challenging integrated long-haul and local vehicle routing problems
  Stephen Maher, Yuji Shinano, Takafumi CHIDA, Akane Seto
• Current progress in highly parallel ensemble solvers instantiated by UG
  Yuji Shinano

WC-43: Deployment & Execution
Stream: Software for Optimization
Room: Newlyn GR.07
Chair(s): Frederik Proske

• GAMS Engine SaaS: A Cloud-Based Solution for Large-Scale Optimization Problems
  Frederik Proske
• Accelerating Optimization Workflows: FICO Xpress Workbench & Insight with Docker
  Alexander Biele
• Balancing Energy and Performance: Efficient Allocation of Solver Jobs on High-Performance Computing Systems
  Willi Leinen, Andreas Fink, Philipp Neumann

WD-43: Algorithms and Applications
Stream: Software for Optimization
Room: Newlyn GR.07
Chair(s): Tobias Achterberg

• From Infeasibility to Feasibility - Improvement Heuristics to Find First Feasibles for MIPs
  Tobias Achterberg
• Implementing a generic Logic-Based Benders Decomposition in SCIP
  Sachin Rajendran, Elina Rönnberg, Stephen Maher
• Primal and Dual Bounds for Multi-period Security Constrained AC-OPF
  Matias Villagra, Daniel Bienstock