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
Iterative broadening, Artificial Intelligence, vol.55, issue.2-3, pp.367-383, 1992. ,
DOI : 10.1016/0004-3702(92)90059-7
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
Boosting combinatorial search through randomization, AAAI-98, pp.431-437, 1998. ,
Limited discrepancy search, IJCAI- 95, pp.607-615, 1995. ,