Instance Class Partitioning

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