1. Gent, I., Walsh, T.: CSPLib: a benchmark library for constraints. Technical report APES-09-1999 (1999), A shorter version appears in Jaffar, J. (ed.): CP 1999. LNCS, vol. 1713, pp. 480–481. Springer, Heidelberg (1999)
2. Geelen, P.: Dual viewpoint heuristics for binary constraint satisfaction problems. In: Proceedings of the 10th ECAI, European Conference on Artificial Intelligence, pp. 31–35 (1992)
3. Cheng, B., Choi, K., Lee, J., Wu, J.: Increasing constraint propagation by redundant modeling: an experience report. Constraints 4, 167–192 (1999)
4. Lecture Notes in Artificial Intelligence;T. Walsh,2001
5. Smith, B., Stergiou, K., Walsh, T.: Using auxiliary variables and implied constraints to model non-binary problems. In: Proceedings of the 16th National Conference on AI, Association for Advancement of Artificial Intelligence, pp. 182–187 (2000)