Encoding Class disjunctiveLoops

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
  •  empty  
  • un-/mark all