Modeling

Lecture slides

Encodings

queens queens queens-opt
salesperson cities tsp-core tsp-weak-constraint tsp-minimize tsp-compact
planning encoding instance

Lecture videos

playlist 1h46m25s

introduction yt up
elaboration yt up
workflow yt up
methodology yt up
case studies yt up
- sat yt up
- queens yt up
- salesperson yt up
- assignment yt up
- planning yt up
summary yt up

Practice

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

Projects

all nb git

sudoku nb git
seeknumbers nb git
yosenabe nb git
minotaur nb git

Tutorial slides

Tutorial videos

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