Heuristic search has acquired a substantial body of theory and a rapidly expanding horizon of applications. This article is based on a lecture delivered to the Edinburgh University Mathematical Society. It gives an introduction to the theory and surveys the state of the art.