2008-11-26 51 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