A. Choi, Efficient Genome Wide Tagging by Reduction to SAT, Proc. of WABI-08, vol.5251, pp.135-147, 2008.

, Selecting a maximally informative set of single-nucleotide polymorphisms for association analyses using linkage disequilibrium, Proc. of CP-98, vol.4, pp.199-227, 1998.

;. A. Darwiche and . Darwiche, Recursive Conditioning, Artificial Intelligence, vol.126, issue.1-2, pp.5-41, 2001.

. Givry, 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

. Givry, Exploiting Tree Decomposition and Soft Local Consistency in Weighted CSP, Proc. of AAAI-06, 2006.
URL : https://hal.archives-ouvertes.fr/hal-02755023

;. S. Givry, ;. De-givry, . Freuder, ;. E. Quinn, M. Freuder et al., An efficient comprehensive search algorithm for tagsnp selection using linkage disequilibrium criteria, Proc. of Soft Constraints workshop, vol.6, pp.181-187, 1985.