Outline: Problem-solving agents, Problem types, Problem formulation, Example problems, Basic search algorithms. Replace letters by numbers from 0 to 9 such as no different letter is replaced by the same number and satisfying the following constraint.