Search Problem Formulation
Initial State
Operators
Goal Test