1. Alloul, F.A., Ramani, A., Markov, I.L., Sakallah, K.A.: Solving difficult instances of boolean satisfiability in the presence of symmetry. IEEE Trans. Comput.-Aided Des. Integr. Circ. and Systems 22(9):1117–1137 (2003)
2. Andrews, G.: The Theory of Partitions. Cambridge Mathematical Library, Cambridge University Press (1998)
3. Audemard, G., Benhamou, B.: Reasoning by symmetry and function ordering in finite model generation. In: Voronkov, A. (ed.), Proceedings of the 18th International Conference on Automated Deduction (CADE-18), Vol. 2392 of LNCS, pp. 226–240. Springer, Berlin Heidelberg New York (2002)
4. Audemard, G., Henocque, L.: The extended least number heuristic. In: Goré, T.N.R., Leitsch, A. (eds.), Proceedings of the First International Join Conference in Automated Reasoning (IJCAR), Vol. 2083 of LNCS, pp. 427–442. Springer, Berlin Heidelberg New York (2001)
5. Benhamou, B.: Study of symmetry in constraint satisfaction problems. In: Proceedings of PPCP (1994)