Encoding disjunctive-scheduling_chk.lp

Name disjunctive-scheduling_chk.lp
Class Tree
Submitter Martin Gebser
Author Martin Gebser and Roland Kaminski
Description
Created 2009-03-13 21:35
Modified 2009-04-08 17:38
Languages
Language Features
Compatible Instance Classes
    Input Predicates
      Output Predicates
        Encoding Parameter
          Standalone Help No
          Attributes
          Content