Loading view.
Featured
First Friday Webinar – Progress and Challenges with the CP-SAT solver
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 […]