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

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

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