Refining Disjunctive plans (3)

+ Polynomial refinement time

-- Loss of pruning power (progressivity)

=> too many (minimal) candidates

=> Costlier solution extraction

Enforce partial 1-consistency

Proposition list avoids unsupported

conditions

Previous slide

Next slide

Back to first slide

View graphic version