I. Dotu, A. Del-val, and M. Cebrian, Redundant Modeling for the QuasiGroup Completion Problem, Principles and Practice of Constraint Programming - CP 2003, pp.288-302, 2003.
DOI : 10.1007/978-3-540-45193-8_20

M. L. Ginsberg and W. D. Harvey, Iterative broadening, Artificial Intelligence, vol.55, issue.2-3, pp.367-383, 1992.
DOI : 10.1016/0004-3702(92)90059-7

C. P. Gomes, B. Selman, N. Crato, and H. Kautz, Heavy-tailed phenomena in satisfiability and constraint satisfaction problems, Journal of Automated Reasoning, vol.24, issue.1/2, pp.67-100, 2000.
DOI : 10.1023/A:1006314320276

C. P. Gomes, B. Selman, and H. Kautz, Boosting combinatorial search through randomization, AAAI-98, pp.431-437, 1998.

W. D. Harvey and M. L. Ginsberg, Limited discrepancy search, IJCAI- 95, pp.607-615, 1995.