State Space Search in AI