Lab Home | Phone | Search
Center for Nonlinear Studies  Center for Nonlinear Studies
 Home 
 People 
 Current 
 Affiliates 
 Visitors 
 Students 
 Research 
 ICAM-LANL 
 Publications 
 Conferences 
 Workshops 
 Sponsorship 
 Talks 
 Colloquia 
 Colloquia Archive 
 Seminars 
 Postdoc Seminars Archive 
 Quantum Lunch 
 CMS Colloquia 
 Q-Mat Seminars 
 Q-Mat Seminars Archive 
 Archive 
 Kac Lectures 
 Dist. Quant. Lecture 
 Ulam Scholar 
 Colloquia 
 
 Jobs 
 Students 
 Summer Research 
 Student Application 
 Visitors 
 Description 
 Past Visitors 
 Services 
 General 
 PD Travel Request 
 
 History of CNLS 
 
 Maps, Directions 
 CNLS Office 
 T-Division 
 LANL 
 
Tuesday, July 16, 2019
10:30 AM - 12:00 PM
CNLS Conference Room (TA-3, Bldg 1690)

Seminar

Automatic reformulation using optimization bridges

Benoit Legat
Fonds de la Recherche Scientifique - FNRS

There is a gap between what we want to solve and what we can solve. In other words, the model that the optimization user requires to be solved does not always match the model that compatible solvers were designed to solve. Indeed, the user typically want the represent in the model as most structure about its problem as possible while the solver is usually dedicated to a class of optimization problem and only support the structure that it actually exploits.

Implementing the support for every possible structure a solver is compatible with in a solver-specific manner is unscalable in addition to preventing solvers from supporting structures that it does not know about. MathOptInterface bridges this gap in a solver-independent way that fully supports a decentralized development of the modeling framework. Problem reformulations can be defined independently and appropriate transformations are automatically selected using an algorithm derived from Bellman-Ford.

Host: Tillmann Weisser