Optimal Golomb Rulers
bram: you might be interested in this paper and those referenced by it on using CSP models and search algorithms to solve OGR problems.
Model Checking
raph: I was interested in your reference to model checking. I work on SAT algorithms, and at least for some hardware model checking the state of the art is to encode the BMC problem as a SAT problem and solve that. Have a look at NuSMV for a free model checker that does all sorts of clever stuff.