AAAI Publications, Thirteenth Annual Symposium on Combinatorial Search

Font Size: 
An Atom-Centric Perspective on Stubborn Sets
Gabriele Röger, Malte Helmert, Jendrik Seipp, Silvan Sievers

Last modified: 2020-05-08

Abstract


Stubborn sets are an optimality-preserving pruning technique for factored state-space search, for example in classical planning. Their applicability is limited by their computational overhead. We describe a new algorithm for computing stubborn sets that is based on the state variables of the state space, while previous algorithms are based on its actions. Typical factored state spaces tend to have far fewer state variables than actions, and therefore our new algorithm is much more efficient than the previous state of the art, making stubborn sets a viable technique in many cases where they previously were not.

Full Text: PDF