2008-11-26 53 views
38

寻找技巧,教程,书籍和其他资源开始约束编程。约束编程入门

+0

[OptaPlanner文档】(https://docs.optaplanner.org/latestFinal/optaplanner-docs/看得更远html_single /)包含对本地搜索算法的解释,如禁忌搜索,模拟退火和延迟接受,以及其他算法,如分支和绑定。它还解释了如何考虑打分(硬对比,加权,积极vs消极,帕累托等) – 2017-02-27 13:24:29

回答

4

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

+0

这个链接似乎现在被打破。它会很快更新吗? – 2015-06-28 06:02:47

6

也许你可以看一看萨尔大学关于约束规划的介绍性思想course。他们没有使用莫扎特作为dr_pepper说,但Gecode。 Gecode是mozart的后续语言,部分由相同的人员实施。

+0

Gecode实际上不是一种语言,而是一种C++框架。但是,Gecode也支持MiniZinc,它是一种建模语言。 – tunnuz 2015-09-22 05:07:48

+0

以前的课程是完整的,并有很好的幻灯片。为了获得更快的结果,请查看prolog(事实上的语言)内容:http://www.doc.gold.ac.uk/~mas02gw/prolog_tutorial/prologpages/index.html#menu – tinmarino 2017-10-05 21:54:18

3

这里是另一个链接到课程网站上Constraint Programming

此前该课程使用Mozart/Oz进行拼版,但现在已被Gecode所取代。

+0

您的第一个链接已经死亡。 – sloth 2015-03-24 15:25:21

+0

更新第一个链接:https://www.kth.se/social/course/ID2204/ – boutta 2015-10-08 15:05:37

8

约束处理规则(CHR)是开发自己的(问题特定的)约束求解器的语言。检查:

,你可以找到链接

  • WebCHR在线演示
  • (在慕尼黑大学,现在美化在大学乌尔姆最初开发) Prolog(na Turally)和Haskell,以及一个Java(JCK)的原型(不幸的)。
3

,我建议你在用哈坎Kjellerstrand(又名Hakank)maintaned约束编程以下网站:Hakank's Homepage