Solving problems by searching