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 Channel Routing

Class Tree	[Root]    Unclassified (3031)    Channel Routing (11)
Description	See http://asp.haiti.cs.uni-potsdam.de/encodingclass/show/id/80
Submitter	Martin Gebser
Compatible Encodings	channel-routing_decision.gringo
Output Predicates	connect/3 layers/1 tracks/1
Instances 1 - 11 of 11	channelRoute.in1     channelRoute.in10     channelRoute.in2     channelRoute.in3     channelRoute.in4     channelRoute.in5     channelRoute.in6     channelRoute.in7     channelRoute.in8     channelRoute.in9     channrlRoute.in6    un-/mark all