Progress and Challenges with the CP-SAT solver

GDG Zürich
Thu, Dec 16, 2021, 2:15 PM (CET)

1 RSVP'ed

About this event

Our friends from the Google Developer Student Club are organizing a very interesting onsite-event on ETH Zurich:
please register here:

In this speaker session, we are joined by Dr. Laurent Perron, the Tech Lead of Google's Operations Research (OR) team. Laurent is the main maintainer of Google's open source "OR-Tools" software, which includes the award-winning constraint programming and satisfiability (CP-SAT) solver.

CP-SAT won all gold medals in the Minizinc challenge in the tracks it participated in the last 4 years. It also proved 5 open problems in the MIPLIB 2017 suite, and improved bounds on a few more.

It achieved state of the art results on scheduling problems. In a sense, it realizes the old dream of having a good mixed-integer program (MIP) solver and a good CP solver in the same engine.

In this presentation, we will present how SAT technology has enabled this merging of the two techniques in a competitive way, and conclude with the challenges and research opportunities in front of us.

This event will take place in person at ETH Zürich. Only registered participants may attend the event, and masks must be worn at all times. A COVID certificate is required (vaccinated, recovered, or tested).

Please note that due to the current pandemic situation, the event may be canceled or postponed at short notice. In such a case, we will do our best to either host the event virtually or postpone to a future date that allows for in-person meeting.

PS: Join the event to receive a nice GDSC round sticker!

We hope to see you soon! 🤓