Periodic Reporting for period 3 - ENGAGES (Next generation algorithms for grabbing and exploiting symmetry)

The ERC project EngageS (next generation algorithms for grabbing and exploiting symmetry) investigates algorithms for the detection and the efficient use of symmetries. On the theoretical side, our understanding of the complexity of algorithmic problems related to symmetry is...