Automatic symmetry breaking method combined with SAT (2001)

by J Zhang
Venue:In Proceedings of the 2001 ACM Symposium on Applied Computing(SAC’01