制約プログラミング入門

制約処理入門用の資料を紹介します。少しずつ内容を充実させていく予定です。

リンク ― 日本語で読めるもの

• 情報基礎特論: 制約プログラミング入門 (PDF)　(神戸大学 田村先生)

• 制約プログラミング落穂拾い(NDiS Tech) (NTTデータセキスイシステムズ)

• ILOGの最適化ソリューション 制約プログラミング (IBM develoerWorks)

リンク ― 英語で読めるもの

• ON-LINE GUIDE TO Constraint Programming (チェコ・カレル大学のBartak先生)

• Programming with Constraints: an Introduction – Course Material(Kim Marriott先生 と Peter J. Stuckey先生 による講義用スライド))