Constraint programming using MOI's next-gen nonlinear interface

07/28/2023, 2:30 PM — 2:40 PM UTC
32-155

Abstract:

ScalarNonlinearFunction is coming to MathOptInterface/JuMP. Among other benefits, this makes it easier to model constraint programming type problems, which tend to be expressed in terms of many different primitives/atoms. As a proof of concept, Oscar and I have been prototyping MiniZinc.jl on top of the MathOptInterface ScalarNonlinearFunction PR. I'll describe some challenges and decisions along the way. I'll also demonstrate some constraint programming examples.

Description:

I'll discuss constraint programming in MiniZinc.jl using MathOptInterface's new ScalarNonlinearFunction.

Platinum sponsors

JuliaHub

Gold sponsors

ASML

Silver sponsors

Pumas AIQuEra Computing Inc.Relational AIJeffrey Sarnoff

Bronze sponsors

Jolin.ioBeacon Biosignals

Academic partners

NAWA

Local partners

Postmates

Fiscal Sponsor

NumFOCUS