Formalization

We will look in more detail at how to describe Constraint Satisfaction Problems and compare it with Search Problems

Grading method: Highest grade