Refining Disjunctive plans (4)

+ Polynomial refinement time

higher pruning power

+ Better balance between refinement cost

and solution extraction cost

Enforce (partial) 2-consistency

Proposition list maintains interactions

between pairs of conditions