L. Aceto, J. A. Hansen, A. Ingólfsdóttir, J. Johnsen, and J. Knudsen, The complexity of checking consistency of pedigree information and related problems, Journal of Computer Science Technology, vol.19, issue.1, pp.42-59, 2004.

J. Bennewitz, N. Reinsch, and E. Kalm, GENCHECK: A program for consistency checking and derivation of genotypes at co-dominant and dominant loci, Journal of Animal Breeding and Genetics, vol.119, issue.5, pp.350-360, 2002.

S. Bistarelli, H. Fargier, U. Montanari, F. Rossi, T. Schiex et al., Semiring-based CSPs and valued CSPs: Frameworks, properties and comparison, Constraints, vol.4, pp.199-240, 1999.
URL : https://hal.archives-ouvertes.fr/hal-02688613

M. Cooper, High-order Consistency in Valued Constraint Satisfaction, Constraints, vol.10, issue.3, pp.283-305, 2005.

M. Cooper, Reduction operations in fuzzy or valued constraint satisfaction. Fuzzy Sets and Systems, vol.134, pp.311-342, 2003.

M. Cooper, S. De-givry, and T. Schiex, Optimal soft arc consistency, Proc. of IJCAI-2007, pp.68-73
URL : https://hal.archives-ouvertes.fr/hal-02754114

R. C. Dechter and . Processing, , 2003.

N. Eén and N. Sörensson, Translating Pseudo-Boolean Constraints into SAT, Journal on Satisfiability, Boolean Modeling and Computation, vol.2, pp.61-96, 2006.

M. G. Ehm, R. W. Cottingham, and M. Kimmel, Error Detection in Genetic Linkage Data Using Likelihood Based Methods, American Journal of Human Genetics, vol.58, issue.1, pp.225-234, 1996.

M. Fishelson, N. Dovgolevsky, and D. Geiger, Maximum Likelihood Haplotyping for General Pedigrees, Human Heredity, vol.59, pp.41-60, 2005.

S. De-givry, J. Larrosa, P. Meseguer, and T. Schiex, Solving Max-SAT as weighted CSP, Proc. of CP-2003, pp.363-376
URL : https://hal.archives-ouvertes.fr/hal-02763945

S. De-givry, T. Schiex, and G. Verfaillie, Exploiting tree decomposition and soft local consistency in weighted CSP, Proc. of AAAI-2006
URL : https://hal.archives-ouvertes.fr/hal-02755023

J. Larrosa, On Arc and Node Consistency in weighted CSP, Proc. of AAAI-2002, pp.48-53

J. Larrosa and R. Dechter, On the dual representation of non-binary semiring-based CSPs, CP'2000 Workshop on Soft Constraints

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

J. Larrosa, E. Morancho, and D. Niso, On the practical applicability of Bucket Elimination: Still-life as a case study, Journal of Artificial Intelligence Research, vol.23, pp.421-440, 2005.

J. Larrosa and T. Schiex, In the quest of the best form of local consistency for weighted CSP, Proc. of IJCAI-2003, pp.239-244

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

I. Lynce, M. Silva, and J. P. , Efficient Haplotype Inference with Boolean Satisfiability, Proc. of AAAI-2006

R. Marinescu and R. Dechter, Memory Intensive Branch-and-Bound Search for Graphical Models, Proc. of AAAI-2006

O. Mengshoel, D. Roth, and D. Wilkins, Controlled generation of hard and easy Bayesian networks: Impact on maximal clique size in tree clustering, Artificial Intelligence, pp.1137-1174, 2006.

J. R. O'connell and D. E. Weeks, PedCheck: a program for identification of genotype incompatibilities in linkage analysis, American Journal of Human Genetics, vol.63, issue.1, pp.259-66, 1998.

J. R. O'connell and D. E. Weeks, An optimal algorithm for automatic genotype elimination, American Journal of Human Genetics, vol.65, issue.6, pp.1733-1773, 1999.

J. D. Park and A. Darwiche, Complexity results and approximation strategies for MAP explanations, Journal of Artificial Intelligence Research, vol.21, pp.101-133, 2004.

M. Saito, A. Saito, and N. Kamatani, Web-based detection of genotype errors in pedigree data, Journal of human genetics, vol.47, issue.7, pp.377-379, 2002.

T. Schiex, Arc consistency for soft constraints, Proc. of CP-2000, pp.411-424

H. Sheini, K. Sakallah, and . Pueblo, A Hybrid Pseudo-Boolean SAT Solver, Boolean Modeling and Computation, vol.2, pp.61-96, 2006.

A. Thomas and . Gmcheck, Bayesian error checking for pedigree genotypes and phenotypes, Bioinformatics, vol.21, issue.14, pp.3187-3188, 2005.

Z. Vitezica, J. Elsen, R. Rupp, and C. Díaz, Using genotype probabilities in survival analysis: a scrapie case, Genetics Selection Evolution, vol.37, issue.4, pp.403-415, 2005.
URL : https://hal.archives-ouvertes.fr/hal-02677956

Z. Vitezica, M. Mongeau, E. Manfredi, and J. Elsen, Selecting Loop Breakers in General Pedigrees, Human Heredity, vol.57, pp.1-9, 2004.
URL : https://hal.archives-ouvertes.fr/hal-02673212