Leeds: 6 June 02Constraint Technology for the Masses Golumb Ruler Problem We have systematically transformed a high-level specification of the problem into an efficient CSP formulation (roughly that of Smith, Stergiou & Walsh).
{}