1. Boussemart, F., Hemery, F., Lecoutre, C., Sais, L.: Boosting systematic search by weighting constraints. In: Proceedings of the 16th European Conference on Artificial Intelligence - ECAI, pp. 146–150 (2004)
2. Lecture Notes in Computer Science;S Gay,2015
3. Lecture Notes in Computer Science;D Grimes,2007
4. Haralick, R.M., Elliott, G.L.: Increasing tree search efficiency for constraint satisfaction problems. In: Proceedings of the 6th International Joint Conference on Artificial Intelligence - IJCAI, pp. 356–364 (1979)
5. Hebrard, E.: Mistral, a constraint satisfaction library. In: Proceedings of the CP-08 Third International CSP Solvers Competition, pp. 31–40 (2008)