Reuse in Disjunctive Planning
Harder to make a disjunctive planner commit to extending a specific plan first
Options:
- Support opaque macros along with primitive actions
- Modify the problem/domain specification so the old plan’s constraints will be respected in any solution
- MAX-SAT formulations of reuse problem