Efficient Genome Wide Tagging by Reduction to SAT, Proc. of WABI-08, vol.5251, pp.135-147, 2008. ,
Radio Link Frequency Assignment, Constraints, vol.4, issue.1, pp.79-89, 1999. ,
URL : https://hal.archives-ouvertes.fr/hal-02695373
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. ,
Arc consistency for soft constraints, Artificial Intelligence, vol.154, pp.199-227, 2004. ,
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
Genome-wide association studies for common diseases and complex traits, Nature Reviews Genetics, vol.6, issue.2, pp.95-108, 2005. ,
Dynamic management of heuristics for solving structured CSPs, Proc. of CP-07, pp.364-378, 2007. ,
Last conflict based reasoning, Proc. of ECAI-2006, pp.133-137, 2006. ,
URL : https://hal.archives-ouvertes.fr/hal-00110097
An efficient comprehensive search algorithm for tagsnp selection using linkage disequilibrium criteria, Bioinformatics, vol.22, issue.2, pp.220-225, 2006. ,
Tringulated graphs and the elimination process, Journal of Mathematical Analysis and its Applications, vol.32, 1970. ,
Russian doll search with tree decomposition, Proc. of IJCAI'09, 2009. ,
URL : https://hal.archives-ouvertes.fr/hal-02755904
Bounded backtracking for the valued constraint satisfaction problems, Proc. of CP-2003, pp.709-723, 2003. ,
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