1. LNAI;J.F. Puget,1993
2. Crawford, J., Luks, G., Ginsberg, M., Roy, A.: Symmetry breaking predicates for search problems. In: Proceedings of the 5th International Conference on Knowledge Representation and Reasoning (KR 1996), pp. 148–159 (1996)
3. Shlyakhter, I.: Generating effective symmetry-breaking predicates for search problems. In: Proceedings of LICS Workshop on Theory and Applications of Satisfiability Testing, SAT 2001 (2001)
4. Aloul, F., Sakallah, K., Markov, I.: Efficient symmetry breaking for Boolean satisfiability. In: Proceedings of the 18th International Joint Conference on AI, International Joint Conference on Artificial Intelligence, pp. 271–276 (2003)
5. Lecture Notes in Computer Science;Y.C. Law,2004