1. Ahuja, R.K., Ergun, Ö., Orlin, J.B., Punnen, A.P.: A survey of very large-scale neighborhood search techniques. Discrete Appl. Math. 123(1-3), 75–102 (2002)
2. Beldiceanu, N., Contejean, E.: Introducing global constraints in CHIP. Mathematical and Computer Modelling 20(12), 97–123 (1994)
3. Boussemart, F., Hemery, F., Lecoutre, C., Sais, L.: Boosting Systematic Search by Weighting Constraints. In: Proceedings of the Sixteenth Eureopean Conference on Artificial Intelligence, ECAI 2004, pp. 146–150. IOS Press, Amsterdam (2004)
4. Elsayed, S.A.M., Michel, L.: Synthesis of search algorithms from high-level CP models. In: Cohen, D. (ed.) CP 2010. LNCS, vol. 6308, pp. 186–200. Springer, Heidelberg (2010)
5. Eriksson, M.: Detecting symmetries in relational models of CSPs. Master’s thesis, Department of Information Technology,Uppsala University, Sweden (2005)