Constraint Programming入门

Question

寻找有关Constraint Programming入门的提示，教程，书籍和其他资源。

Answer 1

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

Programming with Constraints: An Introduction - (Course website)
Programming with Constraints: An Introduction - (Google book)
Online Guide to Constraint Programming

Answer 2

约束处理规则（CHR）是一种用于开发自己的（特定于问题的）约束求解器的语言。检查一下：

• CHR Homepage

您可以找到

的链接

• WebCHR在线演示 （最初在慕尼黑大学开发，现在在乌敏大学美化）
• Prolog （自然）和 Haskell 的几种实现，以及Java（JCK）的（不幸的是未维护的）原型。

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

Answer 3

也许你可以看一下萨尔州大学关于约束规划的介绍性course思想。他们不会像dr_pepper那样使用莫扎特，而是Gecode。 Gecode是莫扎特的后续语言，部分由同一个人实施。

Answer 4

我建议您开始使用mozart。它是一种开源约束编程语言，该站点有大量文档可以帮助您入门。

Answer 5

以下是Constraint Programming上课程网站的另一个链接。

之前的课程使用Mozart / Oz作为分配，但现在已由Gecode取代。

Answer 6

我建议你在以下网站上进一步了解HåkanKjellstrand（a.k.a Hakank）在Hakank's Homepage

维护的约束规划

Answer 7

Microsoft's Solver Foundation有一些易于理解的例子。

Answer 8

handbook of constraint programming经过深思熟虑。

在琐事中，那里引用了my supervisor from fourth year大学（前一段时间）。 ：）

Answer 9

如果您是Java程序员，我建议您使用Cream: Class Library for Constraint Programming