{"id":1117,"date":"2023-02-02T13:06:21","date_gmt":"2023-02-02T13:06:21","guid":{"rendered":"https:\/\/www.euro-online.org\/websites\/or-in-practice\/?p=1117"},"modified":"2025-05-16T07:36:54","modified_gmt":"2025-05-16T07:36:54","slug":"progress-and-challenges-with-the-cp-sat-solver","status":"publish","type":"post","link":"https:\/\/www.euro-online.org\/websites\/or-in-practice\/progress-and-challenges-with-the-cp-sat-solver\/","title":{"rendered":"5 February 2021 – Progress and challenges with the CP-SAT\u00a0solver"},"content":{"rendered":"\n

Presented by Laurent Perron (Tech Lead Operations Research at Google)<\/strong><\/p>\n\n\n\n

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.<\/p>\n\n\n\n

5 February 2021 WEBINAR RECORDING<\/a><\/p>\n\n\n\n

<\/div>\n\n\n\n

EURO Practitioners\u2019 Forum<\/strong><\/em><\/a> past and planned activities are available to the Forum members, as well as the wider public.<\/em><\/p>\n\n\n\n

Visit the <\/em>website<\/em><\/a> and register as a member for free, to get the regular updates on all activities: <\/em>EPF Member registration page<\/em><\/a>. The recordings and details from previous webinars are also available on this website. Follow the Forum on <\/em>X<\/em><\/a> and <\/em>LinkedIN<\/em><\/a> , and feel free to get in touch.<\/em><\/p>\n","protected":false},"excerpt":{"rendered":"

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 […]<\/p>\n","protected":false},"author":4018,"featured_media":0,"comment_status":"open","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[16],"tags":[],"class_list":["post-1117","post","type-post","status-publish","format-standard","hentry","category-webinars2021"],"_links":{"self":[{"href":"https:\/\/www.euro-online.org\/websites\/or-in-practice\/wp-json\/wp\/v2\/posts\/1117"}],"collection":[{"href":"https:\/\/www.euro-online.org\/websites\/or-in-practice\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.euro-online.org\/websites\/or-in-practice\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.euro-online.org\/websites\/or-in-practice\/wp-json\/wp\/v2\/users\/4018"}],"replies":[{"embeddable":true,"href":"https:\/\/www.euro-online.org\/websites\/or-in-practice\/wp-json\/wp\/v2\/comments?post=1117"}],"version-history":[{"count":3,"href":"https:\/\/www.euro-online.org\/websites\/or-in-practice\/wp-json\/wp\/v2\/posts\/1117\/revisions"}],"predecessor-version":[{"id":1948,"href":"https:\/\/www.euro-online.org\/websites\/or-in-practice\/wp-json\/wp\/v2\/posts\/1117\/revisions\/1948"}],"wp:attachment":[{"href":"https:\/\/www.euro-online.org\/websites\/or-in-practice\/wp-json\/wp\/v2\/media?parent=1117"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.euro-online.org\/websites\/or-in-practice\/wp-json\/wp\/v2\/categories?post=1117"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.euro-online.org\/websites\/or-in-practice\/wp-json\/wp\/v2\/tags?post=1117"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}