制約プログラミング入門

Question

制約プログラミングを始めるためのヒント、チュートリアル、本、その他のリソースを探しています。

Answer 1

溝に入ると、ウェブ上で利用できる優れた資料がたくさんありますが、以下のリンクは（IMO）良い出発点です（私が使用したもの）。

制約付きプログラミング：はじめに-（コースWebサイト）
制約付きプログラミング：はじめに-（Googleブック）
制約プログラミングのオンラインガイド

Answer 2

制約処理規則（CHR）は、独自の（問題固有の）制約ソルバーを開発するための言語です。これをチェックして：

• CHRホームページ

そこにあなたはへのリンクを見つけます

• WebCHRオンラインデモ（元々はLMUミュンヘンで開発され、現在はUni Ulmで美化されています）
• Prolog（当然）とHaskellのいくつかの実装、および（残念ながらメンテナンスされていません）Java（JCK）のプロトタイプ。

CHRのJavaScript実装もあります： http://chrjs.net （ https://github.com/fnogatz/CHR.js ）

Answer 3

たぶん、あなたは入門を見ることができます コース 制約プログラミングについてザールラント大学で考えました。 dr_pepper と言ったように、モーツァルトは使用しませんが、 Gecode です。 Gecodeはモーツァルトのフォローアップ言語であり、同じ人々によって部分的に実装されています。

Answer 4

mozart から始めることをお勧めします。これはオープンソースの制約プログラミング言語であり、サイトには開始するためのドキュメントがたくさんあります。

Answer 5

次のWebサイトで、HåkanKjellerstrand（別名Hakank）が管理している制約プログラミングについて Hakankのホームページ を参照することをお勧めします。

Answer 6

制約プログラミング のコースWebサイトへの別のリンクがあります。

以前のコースでは、評価にMozart/Ozを使用していましたが、現在は Gecode に置き換えられています。

Answer 7

Microsoft Solver Foundation には、わかりやすい例がいくつかあります。

Answer 8

Javaプログラマーの場合は、 Cream：制約プログラミング用のクラスライブラリ を使用することをお勧めします。

Answer 9

制約プログラミングのハンドブック よく考えられています。

雑学クイズでは、 4年生の私のスーパーバイザー 大学（少し前のことです）がそこで参照されています。 :)