Search Problem Formulation
Initial State
Operators