Instance disjunctiveScheduling.in1

Name disjunctiveScheduling.in1
Classes
Submitter Martin Gebser
Author Neng-Fa Zhou
Description
Created 2009-04-08 15:57
Modified 2009-04-08 15:57
Languages
Language Features
Compatible Encodings
Output Predicates
    • ASP Contest 09 (Martin Gebser)
    Attributes
    Content