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.
|Title of host publication||Proceedings of SymCon'04: The 4th International Workshop on Symetry and Constraint Satisfaction Problems|
|Number of pages||7|
|Publication status||Published - 2004|
- search algorithms
- disjunctive landmarks