A. Choi, N. Zaitlen, B. Han, K. Pipatsrisawat, A. Darwiche et al., Efficient Genome Wide Tagging by Reduction to SAT, Proc. of WABI-08, vol.5251, pp.135-147, 2008.

B. Cabon, S. De-givry, L. Lobjois, T. Schiex, and J. P. Warners, Radio Link Frequency Assignment, Constraints, vol.4, issue.1, pp.79-89, 1999.
URL : https://hal.archives-ouvertes.fr/hal-02695373

C. S. Carlson, M. A. Eberle, M. J. Rieder, Q. Yi, L. Kruglyak et al., Selecting a maximally informative set of single-nucleotide polymorphisms for association analyses using linkage disequilibrium, Am. J. Hum. Genet, vol.74, issue.1, pp.106-120, 2004.

M. Cooper and T. Schiex, Arc consistency for soft constraints, Artificial Intelligence, vol.154, pp.199-227, 2004.

S. De-givry, M. Zytnicki, F. Heras, and J. Larrosa, Existential arc consistency: Getting closer to full arc consistency in weighted CSPs, Proc. of IJCAI-05, pp.84-89, 2005.
URL : https://hal.archives-ouvertes.fr/hal-02762983

J. N. Hirschhorn and M. J. Daly, Genome-wide association studies for common diseases and complex traits, Nature Reviews Genetics, vol.6, issue.2, pp.95-108, 2005.

P. Jégou, S. N. Ndiaye, and C. Terrioux, Dynamic management of heuristics for solving structured CSPs, Proc. of CP-07, pp.364-378, 2007.

C. Lecoutre, L. Sais, S. Tabary, and V. Vidal, Last conflict based reasoning, Proc. of ECAI-2006, pp.133-137, 2006.
URL : https://hal.archives-ouvertes.fr/hal-00110097

Z. S. Qin, S. Gopalakrishnan, and G. R. Abecasis, An efficient comprehensive search algorithm for tagsnp selection using linkage disequilibrium criteria, Bioinformatics, vol.22, issue.2, pp.220-225, 2006.

D. J. Rose, Tringulated graphs and the elimination process, Journal of Mathematical Analysis and its Applications, vol.32, 1970.

M. Sanchez, D. Allouche, S. De-givry, and T. Schiex, Russian doll search with tree decomposition, Proc. of IJCAI'09, 2009.
URL : https://hal.archives-ouvertes.fr/hal-02755904

C. Terrioux and P. Jégou, Bounded backtracking for the valued constraint satisfaction problems, Proc. of CP-2003, pp.709-723, 2003.

C. Terrioux and P. Jegou, Hybrid backtracking bounded by tree-decomposition of constraint networks, Artificial Intelligence, vol.146, issue.1, pp.43-75, 2003.
URL : https://hal.archives-ouvertes.fr/hal-01479594