We address the long-standing challenge of adding optimal exploration to the classic Hotelling model of a non-renewable resource. We completely solve such a model, using impulse control. The model, extending Arrow and Chang (1982), has two state variables: "proven" reserves and a finite...