CS3243 Tutorial Group 07 (AY 2020/21 - Sem 2)

Solutions for the tutorial sheets will be released through Luminus at the end of the week.

Slides for the tutorials:

• 2021-01-27 - Tutorial 1: Introduction and Agents
• 2021-02-03 - Tutorial 2: Uninformed Search
  • Optional reading: Dijkstra’s Algorithm versus Uniform Cost Search
• 2021-02-10 - Tutorial 3: Informed Search
• 2021-02-17 - Tutorial 4: Adversarial Search
• 2021-03-04 - Tutorial 5: Constraint Satisfaction Problems
  • See also the SMT file for exercise 2.
  • You can download Z3 onto your computer or experiment with it online. Give it a try!