Modeling

Lecture slides

pdf git v1.21.0

Encodings

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

Lecture videos

playlist yt up 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

Videos follow the slides of v1.3.1

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

acyclic-programs nb git
decision-trees nb git
light nb git
minotaur nb git
propositional nb git
robots nb git
seeknumbers nb git
shifts nb git
sudoku nb git
task-planning nb git
yosenabe nb git

Tutorial slides

Tutorial videos

motivation playlist yt up

introduction playlist yt up

organization yt up
motivation yt up
motivation, declarative problem solving yt up
motivation, asp in a nutshell yt up
introduction, introduction yt up
introduction, first example yt up
introduction, running first example yt up
introduction, second example yt up
introduction, examples summary yt up
introduction, variables first example yt up
introduction, variables second example yt up
introduction, recursion first yt up
introduction, recursion second yt up
introduction, recursion and negation yt up
introduction, summary yt up