Encoding golomb-ruler_opt.lp

Name golomb-ruler_opt.lp
Class Tree
Submitter Martin Gebser
Author Martin Gebser and Roland Kaminski
Description
Created 2009-03-27 12:58
Modified 2009-04-01 18:47
Languages
Language Features
Compatible Instance Classes
    Input Predicates
      Output Predicates
        Encoding Parameter
          Standalone Help No
          Attributes
          Content