1. Lecture Notes in Computer Science;R. Backofen,1999
2. Boussemart, F., Hemery, F., Lecoutre, C., Sais, L.: Boosting systematic search by weighting constraints. In: Procs. of ECAI 2004, pp. 146–150 (2004)
3. Lecture Notes in Computer Science;G. Chu,2012
4. Crawford, J.M., Ginsberg, M.L., Luks, E.M., Roy, A.: Symmetry-breaking predicates for search problems. In: Proceedings of the 5th International Conference on Principles of Knowledge Representation and Reasoning, pp. 148–159. Morgan Kaufmann (1996)
5. Lecture Notes in Computer Science;T. Fahle,2001