Constraint Programming入门

寻找有关Constraint Programming入门的技巧,教程,书籍和其他资源.

一旦进入凹槽,网上就会有很多优秀的材料,但下面的链接是(IMO)良好的起点(我使用的那些).

约束编程:简介 - (课程网站)
约束编程:简介 - (谷歌书)
约束编程在线指南

约束处理规则(CHR)是一种用于开发自己的(特定于问题的)约束求解器的语言.检查一下:

CHR主页

在那里你找到了链接

WebCHR在线演示(最初在慕尼黑大学开发,现在在乌鲁姆大学进行了美化)

Prolog(自然)和Haskell的几个实现,以及Java(JCK)的(不幸的是未维护的)原型.

还有一个CHR的JavaScript实现:http://chrjs.net(https://github.com/fnogatz/CHR.js)

也许你可以看一下萨尔州大学关于约束编程的入门课程.他们不使用莫扎特,因为dr_pepper说但是Gecode.Gecode是莫扎特的后续语言,部分由同一个人实施.