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

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.

EWG POR webinars organisers:

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