Please wait ...

Benchmark(s) have been added to cart.

Tag has been added.

• Login
• Links
• FAQs
• Contact

Navigation

• Instance
  • Show Instances
• Problem
  • Show Problems
• Show Tags
• Search
• Cart

Instance Class Golomb Ruler

Class Tree	[Root]    Unclassified (3031)    Golomb Ruler (24)
Description	See http://en.wikipedia.org/wiki/Golomb_ruler
Submitter	Martin Gebser
Compatible Encodings	golomb-ruler_optimization.gringo
Output Predicates	lengthNeeded/1 mark/1 position/1
Instances 21 - 24 of 24	golomb-ruler-marks=8-positions=75-needed=16     golomb-ruler-marks=9-positions=100-needed=18     golomb-ruler-marks=9-positions=50-needed=18     golomb-ruler-marks=9-positions=75-needed=18    un-/mark all