Engineering a Preprocessor for Symmetry Detection

Markus Anders, Pascal Schweitzer, Julian Stieß

State-of-the-art solvers for symmetry detection in combinatorial objects are becoming increasingly sophisticated software libraries. Most of the solvers were initially designed wit…