制約プログラミングを始めるためのヒント、チュートリアル、本、その他のリソースを探しています。
9 に答える
いったん慣れると、ウェブ上で利用できる優れた資料がたくさんありますが、以下のリンクは (IMO) 良い出発点です (私が使用したもの)。
Programming with Constraints: An Introduction - (コース Web サイト)
Programming with Constraints: An Introduction - (Google book)
制約プログラミングのオンライン ガイド
たぶん、ザールランド大学で制約プログラミングについて考えられている入門コースを見ることができます。彼らはdr_pepperが言ったようにモーツァルトを使用しませんが、 Gecodeを使用します。Gecode はモーツァルトの後継言語であり、部分的に同じ人々によって実装されています。
mozartを始めることをお勧めします。これはオープンソースの制約プログラミング言語であり、このサイトには始めるためのドキュメントがたくさんあります。
これは、制約プログラミングに関するコースWebサイトへの別のリンクです。
以前のコースでは、評価にMozart / Ozを使用していましたが、現在はGecodeに置き換えられています。
Hakank's Homepage のHåkan Kjellerstrand (別名 Hakank) によって維持されている制約プログラミングに関する次の Web サイトでさらに調べることをお勧めします。
MicrosoftのSolverFoundationには、わかりやすい例がいくつかあります。
Javaプログラマーの場合は、 Cream:制約プログラミング用のクラスライブラリを使用することをお勧めします。