Detecting Symmetries in Relational Constraint Models

ESRA is a relational constraint modelling language that supports very
expressive and declarative modelling. Moreover, ESRA models allow easy
compile-time inference of symmetry-breaking constraints. I will first
motivate the need for inferring symmetry-breaking constraints, and then
show first ideas on how this can be achieved with ESRA models.