| Class Tree | |
|---|---|
| Description |
These are disjunctive programs with rules: p_i | p_n :- p_{i+1}., p_{i+1} | p_n :- p_i. for i = 0, 2, ..., n-2, and :- not p_0, not p_1, ..., not p_n. Each instance has n/2 loops and no solutions. Author: Marco Maratea |
| Encodings 1 - 1 of 1 |
|
Expand All
Collapse All
