Instance Class Connected Dominating Set

Class Tree
Description See http://asp.haiti.cs.uni-potsdam.de/encodingclass/show/id/76
Submitter Martin Gebser
Compatible Encodings
Output Predicates
  • bound/1
  • edge/2
  • vtx/1
Instances
1 - 5 of 5