An automorphism au preserves the conditions C if, given L1 : H Z satisfying C, ... for C such that the only automorphism preserving C is the identity. ( goal) ...
They will pick at least one representative (including lex-leaders) from each ... Recent work pointed out that breaking symmetries can speed up search ...