Loading Events

« All Events

  • This event has passed.

First Friday Webinar – Progress and Challenges with the CP-SAT solver

February 5, 2021 @ 10:00 am - 11:00 am

About this Event

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.

		Progress and Challenges with the CP-SAT solver image

EWG POR webinars organisers:

Sofiane Oussedik (IBM), Joaquim Gromicho (ORTEC), Patrick Schittekat (SINTEF), Gavin Bell (Optimeering), Adisa Mujezinovic


February 5, 2021
10:00 am - 11:00 am