PPT Slide

Refining Disjunctive plans (2)

+ Trivial to construct

- Loss of pruning power (progressivity)

=> Costlier solution extraction

Direct naive approach

Put all actions at all levels

--Proposition list contains all conditions

USED in SATPLAN