| layout | title | permalink |
|---|---|---|
page |
Modeling |
/modeling/ |
- queens queens queens-opt
- salesperson cities tsp-core tsp-weak-constraint tsp-minimize tsp-compact
- planning encoding instance
playlist 1h46m25s
- introduction yt up
- elaboration yt up
- workflow yt up
- methodology yt up
- case studies yt up
- summary yt up
Videos follow the slides of v1.3.1
basic modeling exercises nb git
- hitting set nb git
- independent set nb git
- vertex cover nb git
- dominating set nb git
- satisfiability nb git
- latin squares nb git
- organization yt
- motivation yt
- motivation, declarative problem solving yt
- motivation, asp in a nutshell yt
- introduction, introduction yt
- introduction, first example yt
- introduction, running first example yt
- introduction, second example yt
- introduction, examples summary yt
- introduction, variables first example yt
- introduction, variables second example yt
- introduction, recursion first yt
- introduction, recursion second yt
- introduction, recursion and negation yt
- introduction, summary yt