SCIP8: rethinking nonlinear constraint representation and recent progress
1 : Zuse Institute Berlin
SCIP is a solver framework for exact optimization in the mixed-integer linear and nonlinear settings; freely available and source-open for researchers and academics. The talk will provide an overview of the recent development appearing in SCIP 8 with an emphasis on the change in the representation of nonlinear constraints and on improvements leveraging some specific discrete structures.