Isomorph Rejection on Power Sets
D. Perlman · SIAM Journal on Computing · 1974
If X is a finite set and G a finite group acting on X, then an action of G on $P(X)$, the set of all subsets of X, is induced in a natural way. An efficient generating algorithm is described which, when incorporated into a backtrack procedure, produces a system of distinct representatives for the action of G on $P(X)$.