Plan Merging & Plan Reuse as Satisfiability
2000 ◽
pp. 84-96
◽