last update: 26 November 2007

研究文献

書籍

• 淵一博監修・溝口文雄・古河康一・J-L.Lassez 「制約論理プログラミング」（共立出版,1989）
• Pascal Van Hentenryck, "Constraint Satisfaction in Logic Programming", MIT Press, 1989
• Viyaj Saraswat, "Concurrent Constraint Programming", MIT Press, 1992
• Edward Tsang, "Foundations of Constraint Satisfaction", Academic Press, 1993
• Annick Fron, "Programmation par contraintes", Vuibert, 1994
• K. Marriott and P. J. Stuckey, Programming with Constraints, An Introduction, The MIT Press, 1998
• P. Revesz, Introduction to Constraint Databases, Springer, New York , 2002
• Stefano Bistarelli, Semirings for Soft Constraint Solving and Programming, Springer, Lecture Notes in Computer Science, Vol. 2962 (2004)
• Francesca Rossi, Peter van Beek, Toby Walsh, Handbook of constraint programming, Elsevier, Foundations of Artificial Intelligence (2006)

雑誌の特集号（国内のみ）

• コンピュータソフトウェア Vol.9 No.6(1992) 「特集：制約論理プログラミング」
• 人工知能学会誌 Vol.12 No.3(1997) 「特集：制約充足問題の基礎と応用」

文献リストへのリンク

• 増井先生（産業技術総合研究所）の制約プログラミング文献リスト
• APES Group Publications
• CCL Bibliography 1996