Differences between revisions 2 and 3
Revision 2 as of 2016-04-12 17:43:09
Size: 2348
Editor: XmlRpcBot
Comment:
Revision 3 as of 2016-04-12 19:57:25
Size: 2348
Editor: XmlRpcBot
Comment:
Deletions are marked like this. Additions are marked like this.
Line 17: Line 17:
 * Martin Wehrle, Malte Helmert, Yusra Alkhazraji and Robert Mattmüller.<<BR>>  * Martin Wehrle, Malte Helmert, Yusra Alkhazraji and Robert Mattmueller.<<BR>>
Line 29: Line 29:
 * Yusra Alkhazraji, Martin Wehrle, Robert Mattmüller and Malte Helmert.<<BR>>  * Yusra Alkhazraji, Martin Wehrle, Robert Mattmueller and Malte Helmert.<<BR>>

Prune or reorder applicable operators.

No pruning

This is a skeleton method that does not perform any pruning, i.e., all applicable operators are applied in all expanded states.

null()

StubbornSetsEC

Stubborn sets represent a state pruning method which computes a subset of applicable operators in each state such that completeness and optimality of the overall search is preserved. As stubborn sets rely on several design choices, there are different variants thereof. The variant 'StubbornSetsEC' resolves the design choices such that the resulting pruning method is guaranteed to strictly dominate the Expansion Core pruning method. For details, see

stubborn_sets_ec()

Stubborn sets simple

Stubborn sets represent a state pruning method which computes a subset of applicable operators in each state such that completeness and optimality of the overall search is preserved. As stubborn sets rely on several design choices, there are different variants thereof. The variant 'StubbornSetsSimple' resolves the design choices in a straight-forward way. For details, see the following papers:

stubborn_sets_simple()

FastDownward: Doc/PruningMethod (last edited 2024-01-11 22:26:38 by XmlRpcBot)