A Commentary on "Breaking Row and Column Symmetries in Matrix Models"
This is an incremental commentary that reviews foundational work on symmetry-breaking in constraint programming, relevant for researchers in optimization and AI.
The paper provides a retrospective on the CP 2002 work by Flener et al., which tackled the problem of identifying and analyzing row and column symmetries in matrix models, resulting in the development of static symmetry-breaking ordering constraints for efficient handling of such symmetries.
The CP 2002 paper entitled "Breaking Row and Column Symmetries in Matrix Models" by Flener et al. (https://link.springer.com/chapter/10.1007%2F3-540-46135-3_31) describes some of the first work for identifying and analyzing row and column symmetry in matrix models and for efficiently and effectively dealing with such symmetry using static symmetry-breaking ordering constraints. This commentary provides a retrospective on that work and highlights some of the subsequent work on the topic.