Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
en:dydaktyka:csp:lab2 [2018/03/24 18:43]
msl [Reified Constraints]
en:dydaktyka:csp:lab2 [2018/03/24 18:44] (current)
msl
Line 58: Line 58:
       * You may use channeling constraint [[http://​www.minizinc.org/​doc-lib/​doc-globals-channeling.html#​Ifunction-array-bo-int-bc-of-var-int-cl-inverse-po-array-bo-int-bc-of-var-int-cl-f-pc|''​inverse''​]]       * You may use channeling constraint [[http://​www.minizinc.org/​doc-lib/​doc-globals-channeling.html#​Ifunction-array-bo-int-bc-of-var-int-cl-inverse-po-array-bo-int-bc-of-var-int-cl-f-pc|''​inverse''​]]
     - Compare running time of the normal and channeled model     - Compare running time of the normal and channeled model
-    - Give yourself a high five, <wrap lo>​however new solvers are good enough to solve n-queens without the channeling. This technique is still valid for the more complicated problems</​wrap>​+    - Give yourself a [[https://​youtu.be/​kMUkzWO8viY|self-five]], <wrap lo>​however new solvers are good enough to solve n-queens without the channeling. This technique is still valid for the more complicated problems</​wrap>​
  
 ===== Reified Constraints ===== ===== Reified Constraints =====
Line 69: Line 69:
     - Download, extract, comprehend {{ :​en:​dydaktyka:​csp:​stable_marriage.zip |the model}}     - Download, extract, comprehend {{ :​en:​dydaktyka:​csp:​stable_marriage.zip |the model}}
     - Add missing variables, constraints     - Add missing variables, constraints
-    - Give yourself ​[[https://​youtu.be/​kMUkzWO8viY|self-five]]+    - Give a high-five to your teacher :)
  
  
en/dydaktyka/csp/lab2.txt · Last modified: 2018/03/24 18:44 by msl
www.chimeric.de Valid CSS Driven by DokuWiki do yourself a favour and use a real browser - get firefox!! Recent changes RSS feed Valid XHTML 1.0