| 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 |
| Submitter | Martin Gebser |
| Compatible Encodings |
|
| Output Predicates |
|
| Instances 1 - 9 of 9 |
|
Expand All
Collapse All
