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 Disjunctive Scheduling

Class Tree	[Root]    Unclassified (3031)    Disjunctive Scheduling (30)      Model and Solve Track 3D ASP Competition (15)      Training Instances 3D ASP Competition (5)
Description	See http://asp.haiti.cs.uni-potsdam.de/encodingclass/show/id/81
Submitter	Martin Gebser
Compatible Encodings	disjunctive-scheduling_decision.gringo disjunctive-scheduling_decision.clingcon disjunctive-scheduling_domain.gringo
Output Predicates
Instances 1 - 10 of 10	disjunctiveScheduling.in1     disjunctiveScheduling.in10     disjunctiveScheduling.in2     disjunctiveScheduling.in3     disjunctiveScheduling.in4     disjunctiveScheduling.in5     disjunctiveScheduling.in6     disjunctiveScheduling.in7     disjunctiveScheduling.in8     disjunctiveScheduling.in9    un-/mark all