Presented by Laurent Perron (Tech Lead Operations Research at Google)

CP-SAT won all gold medals in the Minizinc challenge in the tracks it participated in the last 3 years. It also proved 5 open problems in the MIPLIB 2017 suite, and improved bounds on a few more. In a sense, it realizes the old dream of having a good MIP solver and a good CP solver in the same engine. In this presentation, we will present how the SAT technology has enabled this merging of the two techniques in a competitive way, and concludes with the challenges and research opportunities in front of us.

5 February 2021 WEBINAR RECORDING

EURO Practitioners’ Forum past and planned activities are available to the Forum members, as well as the wider public.

Visit the website and register as a member for free, to get the regular updates on all activities: EPF Member registration page. The recordings and details from previous webinars are also available on this website. Follow the Forum on X and LinkedIN , and feel free to get in touch.