Courseraの Modeling Discrete Optimization のコースが開講。 https://www.coursera.org/course/modelingoptimization #modelingoptimization

先日の Discrete Optimization https://www.coursera.org/course/optimization の方はアルゴリズムの設計/実装まで含まれていたけれど、こちらはモデリング言語MiniZinc http://www.minizinc.org/ にエンコードして制約ソルバに解かせるという内容で、講師の Prof. Peter James Stuckey は、最初の制約論理プログラミングシステム CLP(R) の作者の一人だった制約プログラミング系の人。

MiniZincがんばるぞー！