Accelerating Disjunctive Planners
Reduce the size of the disjunctive plan
- Relevance based pruning
- Backward plan growth [Kambhampati et. al., 97]
- Preprocessing to remove irrelevant actions and conditions [RIFO, Nebel et. al. 97]
Increase the consistency level of the disjunctive plan
- Learn (or input) higher-order mutexes (invariants) [Gerevini, 98]
Improve the solution extraction process
- Exploit Symmetry [Fox et. al. 99, Srivastava et. al. 99]