last update: 26 October 2007

制約プログラミング入門

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

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

• 制約処理入門(NTTデータセキスイシステムズ)
• ユーザーインターフェースにおける制約解消法の研究動向(国立情報学研究所　細部 博史先生)

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

• Guide to Constraint Programming -- チェコ・カレル大学のBartak先生のページ。
• Constraint Logic Programming(Byteの記事。1995年。制約論理プログラミングについての紹介)
• Course Material of "Programming with Constraints: an Introduction" -- "Programming with Constraints: an Introduction"(MIT Press)の著者 Kim Marriott と Peter J. Stuckey による講義用スライド。
• トロント大学　Fahiem Bacchus　先生の講義資料