Search Problem Formulation
Initial State