Optimum Golomb Rulers

A Golomb ruler has m division marks with the spacings between marks positive integers such that the set of (m2 − m)/2 measurements which can be made between the marks are distinct. A fast search procedure is outlined for determining the shortest ruler. For 12 marks the shortest ruler is 85 units.