Topics
Workshop topics include (but are not limited to):
- symmetry detection
- exploitation of symmetry, e.g. heuristics which use symmetry information
- elimination and avoidance of symmetry, e.g. remodelling the
problem or adding constraints to reduce symmetry or algorithms which
avoid considering assignments symmetric to any assignment already
considered
- exploitation of mathematical techniques and complexity analysis
of symmetry and symmetry breaking, for example group theory for
dealing with symmetry in CSPs
- application of CSPs to symmetry and related algebraic problems
The workshop will provide a forum for research into any of these
topics including: new techniques, empirical studies of existing and
proposed techniques, methods for combining different techniques, and
challenging problems. In addition to paper presentations, an invited
talk and possibly a panel discussion are in the planning.