constraint-programming - 约束编程入门

Question

寻找开始使用约束编程的技巧、教程、书籍和其他资源。

score 19 · Accepted Answer

一旦你进入了最佳状态，网上就有很多优秀的材料，但下面的链接是（IMO）很好的起点（我使用的那些）。

score 9 · Accepted Answer

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

在那里你可以找到链接

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

score 6 · Accepted Answer

也许你可以看看萨尔大学关于约束规划的介绍性课程。他们不像dr_pepper所说的那样使用 mozart ，而是使用Gecode。Gecode 是 mozart 的后续语言，部分由同一个人实现。

score 4 · Accepted Answer

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

score 3 · Accepted Answer

这是约束编程课程网站的另一个链接。

早些时候，该课程使用 Mozart/Oz 进行评估，但现在已被Gecode取代。

score 3 · Accepted Answer

我建议您进一步查看以下网站，了解由 Håkan Kjellerstrand（又名 Hakank）在Hakank 主页上维护的约束规划

score 1 · Accepted Answer

1

Microsoft 的 Solver Foundation有一些易于理解的示例。

于 2009-09-01T16:41:50.877 回答

score 0 · Accepted Answer

约束规划的手册是经过深思熟虑的。

在琐事中，那里引用了我四年级大学的导师（不久前）。:)

score 0 · Accepted Answer

0

于 2008-12-20T17:12:46.680 回答

9 回答 9