Generating effective symmetrybreaking predicates for search problems (2001)

by I Shlyakhter
Venue:In Proceedings of the Workshop on Theory and Applications of Satisfiability Testing