Date28th, Dec 2023

Summary:

Two speakers who are engaged in mathematical optimization software development at Zuse Institute Berlin, Germany will give a lecture. We look forward to your participation.

Full text:

Event

Two speakers who are engaged in mathematical optimization software development at Zuse Institute Berlin, Germany will give a lecture. We look forward to your participation.

Details

Date and time

Tuesday, January 9, 2024 15:00 - 17:00

Venue

Target

Tokyo Tech students, faculty, staff, and the general public

Language

Lecture 1 : English Lecture 2 : Japanese

Host organization

School of Engineering

Co-organizers

The Institute of Statistical Mathematics, Institute of Mathematics for Industry Kyushu University, Zuse Institute Berlin, NTT DATA Mathematical Systems Inc.

Program

15:00-16:00

Lecture 1 : Global Optimization of Mixed-Integer Nonlinear Programs with SCIP8 Speaker : Dr.Stefan Vigerske (Zuse Institute Berlin / GAMS)

SCIP is a branch-and-price framework for the solution of Constraint Integer Programs, which combines the generality of constraint programming with the strength of linear (or more general) relaxations. Next to a focus on mixed-integer linear programming, SCIP has been extended since 2009 to handle first quadratic and then general nonlinear constraints (given as expression tree). With version 8, these capabilities have been largely reworked and extended. This talk is a reminiscence of this work and gives an overview on the state of MINLP solving in SCIP 8.

16:00-17:00

Lecture 2 : Solving challenging instances of discrete optimization problems in parallel using more than 100,000 cores Speaker : Dr. Yuji Shinano (Zuse Institute Berlin)

We have been developing the Ubiquity Generator framework (UG) which is a software framework designed to parallelize state-of-the-art solvers on large-scale computing environments, for more than 10 years. The parallel solvers instantiated by UG have successfully solved more than 20 previously unsolved instances from MIPLIB, 5 instances from SteinLib, and 3 instances from QAPLIB. In this talk, we will present the latest status of UG and its parallel solvers.

Registration

Not required

Related

Zuse Institute Berlin

Update : December 28, 2023