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

by Ilya Shlyakhter
Venue:Discrete Applied Mathematics