- Lab 1 - Constraint Programming
- Lab 2 - N Queens + Graph Coloring
- Lab 3 - Sudoku + Magic Sequence
- Lab 4 - Symmetry Breaking + Reified Constraints
- Lab 5 - Search Modeling
- Lab 6 - Automated Planning: 101
- Lab 7 - Strips + PDDL
- Lab 8 - Automated Planning: Fluents
- Lab 9 - Probabilistic Programming: 101
- Lab 10 - Probabilistic Programming: Diagnosis & Prediction
- Lab 11 - Probabilistic Programming: Probabilistic Graphics & Decision Theory