On the extraction of disjunctive landmarks from planning problems via symmetry reduction

Abstract

The exploitation of symmetry in combinatorial search has typically focused on using information about symmetries to control search. This work describes an approach that exploits symmetry to get more detailed domain-analysis rather than as a method of search control