PPT Slide

Pre-reduction Refinement

Select a non-primitive A action from the plan
- For each reduction schema Si for A, generate a new plan that reduces A by Si
  - A tractability refinement (pushes disjunction into search space)

Select a non-primitive A action from the plan