{"id":725,"date":"2021-03-11T10:34:33","date_gmt":"2021-03-11T10:34:33","guid":{"rendered":"https:\/\/www.euro-online.org\/websites\/or-in-practice\/?post_type=tribe_events&#038;p=725"},"modified":"2021-03-11T10:34:33","modified_gmt":"2021-03-11T10:34:33","slug":"first-friday-webinar-progress-and-challenges-with-the-cp-sat-solver","status":"publish","type":"tribe_events","link":"https:\/\/www.euro-online.org\/websites\/or-in-practice\/event\/first-friday-webinar-progress-and-challenges-with-the-cp-sat-solver\/","title":{"rendered":"First Friday Webinar &#8211; Progress and Challenges with the CP-SAT solver"},"content":{"rendered":"<div class=\"structured-content g-cell g-cell-10-12 g-cell-md-1-1\">\n<h2 class=\"text-body-large hide-small\">About this Event<\/h2>\n<div class=\"has-user-generated-content\" data-automation=\"about-this-event-sc\">\n<div class=\"structured-content-rich-text structured-content__module l-align-left l-mar-vert-6 l-sm-mar-vert-4 text-body-medium\">\n<p>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<\/div>\n<div class=\"structured-content__module l-mar-vert-6 l-sm-mar-vert-4 text-body-medium\"><img decoding=\"async\" class=\"structured-content__image g-img\" src=\"https:\/\/img.evbuc.com\/https%3A%2F%2Fcdn.evbuc.com%2Fimages%2F123859187%2F455430293094%2F1%2Foriginal.20210122-005129?h=2000&amp;w=720&amp;auto=format%2Ccompress&amp;q=75&amp;sharp=10&amp;s=7d03fd04c55aa3385ddbdf5e25679f0a\" alt=\"\n\t\tProgress and Challenges with the CP-SAT solver image\n\" \/><\/div>\n<div class=\"structured-content-rich-text structured-content__module l-align-left l-mar-vert-6 l-sm-mar-vert-4 text-body-medium\">\n<p>EWG POR webinars organisers:<\/p>\n<p>Sofiane Oussedik (IBM), Joaquim Gromicho (ORTEC), Patrick Schittekat (SINTEF), Gavin Bell (Optimeering), Adisa Mujezinovic<\/p>\n<\/div>\n<\/div>\n<\/div>\n","protected":false},"excerpt":{"rendered":"<p>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 [&hellip;]<\/p>\n","protected":false},"author":11,"featured_media":0,"template":"","meta":{"_tribe_events_status":"","_tribe_events_status_reason":"","footnotes":""},"tags":[],"tribe_events_cat":[],"class_list":["post-725","tribe_events","type-tribe_events","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/www.euro-online.org\/websites\/or-in-practice\/wp-json\/wp\/v2\/tribe_events\/725"}],"collection":[{"href":"https:\/\/www.euro-online.org\/websites\/or-in-practice\/wp-json\/wp\/v2\/tribe_events"}],"about":[{"href":"https:\/\/www.euro-online.org\/websites\/or-in-practice\/wp-json\/wp\/v2\/types\/tribe_events"}],"author":[{"embeddable":true,"href":"https:\/\/www.euro-online.org\/websites\/or-in-practice\/wp-json\/wp\/v2\/users\/11"}],"version-history":[{"count":1,"href":"https:\/\/www.euro-online.org\/websites\/or-in-practice\/wp-json\/wp\/v2\/tribe_events\/725\/revisions"}],"predecessor-version":[{"id":726,"href":"https:\/\/www.euro-online.org\/websites\/or-in-practice\/wp-json\/wp\/v2\/tribe_events\/725\/revisions\/726"}],"wp:attachment":[{"href":"https:\/\/www.euro-online.org\/websites\/or-in-practice\/wp-json\/wp\/v2\/media?parent=725"}],"wp:term":[{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.euro-online.org\/websites\/or-in-practice\/wp-json\/wp\/v2\/tags?post=725"},{"taxonomy":"tribe_events_cat","embeddable":true,"href":"https:\/\/www.euro-online.org\/websites\/or-in-practice\/wp-json\/wp\/v2\/tribe_events_cat?post=725"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}