Class Tree
Description There currently are two different versions of this problem:

- Decision: http://asp.haiti.cs.uni-potsdam.de/encodingclass/show/id/95

- Optimization: http://asp.haiti.cs.uni-potsdam.de/encodingclass/show/id/96
Encodings
0