PRACTICAL CONSTRAINTS: A TUTORIAL ON MODELLING WITH CONSTRAINTS(ROMAN BART�K)
A Golomb ruler of size M is a ruler with M marks placed in such a way that the distances between the marks are different. The shortest ruler is optimal. An optimal Golomb ruler of size 5 is shown below
01 4 9 11
| | | | |
There is no known algorithm for finding a Golomb ruler of size M>=24. Design a constraint model to describe the problem of finding the optimal Golomb ruler.