[19] I.P. Gent, E. MacIntyre, P. Prosser, P. Shaw, and T. Walsh. The constraindedness of arc cosistency. In Proceedings of the 3rd Conference on Principles and Practice of Constraint Programming (CP-1997), pages 327– 340, 1997.

[20] I.P Gent, E. MacIntyre, P. Prosser, B.M. Smith, and T. Walsh. An empirical study of dynamic variable ordering heuristics for the constraint satisfaction problem. In *Proceedings of the 2nd Conference on Principles and* Practice of Constraint Programming (CP-1996), pages 179–193, 1996.

[21] D. Grimes and R.J. Wallace. Sampling strategies and variable selection in weighted degree heuristics. In Proceedings of the 13th Conference on Principles and Practice of Constraint Programming (CP-2007), pages 831–
838, 2007.

[22] R.M. Haralick and Elliott. Increasing tree search efficiency for constraint satisfaction problems. *Artificial Intelligence*, 14:263–314, 1980.

[23] F. Laburthe and N. Jussien. Choco constraint programming system. *Available at http://choco.sourceforge.net*, 2003–2009.

[24] C. Lecoutre and S. Tabary. Abscon 109: a generic csp solver. In *Proceedings* of the 2nd International CSP Solver Competition, held with CP-2006, pages 55–63, 2008.

[25] A. Mackworth. Consistency in networks of relations. *Artificial Intelligence*,
8:99–118, 1977.

[26] A. Mackworth. On reading sketch maps. In *Proceedings of the International* Joint Conference on Artificial Intelligence (IJCAI-1977), pages 598–606, Cambridge MA, 1977.

[27] J.J. McGregor. Relational consistency algorithms anf their applications in finding subgraph and graph isomorphism. *Information Science*, 19:229–250, 1979.

[28] R. Mohr and T. Henderson. Arc and Path Consistency Revisited. *Artificial* Intelligence, 28:225–233, 1986.

[29] M. Moskewicz, C. Madigan, and S. Malik. Chaff: Engineering an efficient sat solver. In *Proceedings of Design Automation Conference*, pages 530–535, 2001.

[30] P. Prosser, K. Stergiou, and T. Walsh. Singleton consistencies. In *Proceedings of the 6th Conference on Principles and Practice of Constraint* Programming (CP-2000), pages 353–368, 2000.

[31] P. Refalo. Impact-based search strategies for constraint programming. In Proceedings of the 10th Conference on Principles and Practice of Constraint Programming (CP-2004), pages 556–571, 2004.