Generating effective symmetry-breaking predicates for search problems (0)

by I Shlyakhter
Venue:Electronic Notes in Discrete Mathematics, 9, 2001. Proceedings of SAT’01