Formulating the search problem