, Plausability-feasibility-utility networks 37

H. Fargier, J. Lang, R. Martin-clouaire, and T. Schiex, A constraint satisfaction framework for decision under uncertainty, Proc. of the 11 th Int. Conf. on Uncertainty in Artificial Intelligence, 1995.
URL : https://hal.archives-ouvertes.fr/hal-02774878

H. Fargier, J. Lang, and T. Schiex, Mixed Constraint Satisfaction: a framework for decision problems under incomplete knowledge, Proc. of AAAI'96, 1996.
URL : https://hal.archives-ouvertes.fr/hal-02770543

C. Pralet, T. Verfaillie, and . Schiex, An algebraic graphical model for decision with uncertainties, feasibilities, and utilities, Journal of Artificial Intelligence Research, vol.29, pp.421-489, 2007.

, References I

D. Allouche, I. André, S. Barbe, and J. Davies, Computational protein design as an optimization problem, Artificial Intelligence, vol.212, pp.59-79, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01268554

U. Bertelé and F. Brioshi, Nonserial Dynamic Programming, 1972.

S. Bistarelli, H. Fargier, U. Montanari, and F. Rossi, 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

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

. Tomato-genome-consortium, The tomato genome sequence provides insights into fleshy fruit evolution, Nature, vol.485, pp.635-641, 2012.
URL : https://hal.archives-ouvertes.fr/hal-02651748

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

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

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

M. Cooper, S. De-givry, M. Sanchez, and T. Schiex, Soft arc consistency revisited, Artificial Intelligence, vol.174, pp.449-478, 2010.
URL : https://hal.archives-ouvertes.fr/hal-02662237

C. Martin, S. Cooper, M. De-givry, T. Sánchez, and . Schiex, Virtual Arc Consistency for Weighted CSP, In: AAAI, vol.8, pp.253-258, 2008.

M. Davis and H. Putnam, A computing procedure for quantification theory, Journal of the ACM (JACM), vol.7, issue.3, pp.201-215, 1960.

R. Dechter, Bucket Elimination: A Unifying Framework for Reasoning, Artificial Intelligence, vol.113, pp.41-85, 1999.

R. Dechter and I. Rish, Directional resolution: The Davis-Putnam procedure, revisited, pp.134-145, 1994.

J. Desmet, B. De-maeyer, I. Hazes, and . Lasters, The dead-end elimination theorem and its use in protein side-chain positioning, Nature, vol.356, pp.28-0836, 1992.

T. Faraut, S. De-givry, P. Chabrier, and T. Derrien, A comparative genome approach to marker ordering, Bioinformatics, vol.23, pp.50-56, 2007.
URL : https://hal.archives-ouvertes.fr/hal-02667668

E. C. Freuder, A sufficient Condition for Backtrack-Bounded Search, Journal of the ACM, vol.32, pp.755-761, 1985.

E. C. Freuder, A sufficient Condition for Backtrack-free Search, Journal of the ACM, vol.29, pp.24-32, 1982.

S. De-givry, M. Bouchez, P. Chabrier, and D. Milan, CarthaGene: multipopulation integrated genetic and radiation hybrid mapping, In: Bioinformatics, vol.21, pp.1703-1707, 2005.

D. Gront, W. Daniel, . Kulp, M. Robert, C. E. Vernon et al., Generalized fragment picking in Rosetta: design, protocols and applications, PloS one, vol.6, p.23294, 2011.

A. Ronald, J. E. Howard, and . Matheson, Influence diagrams, Decision Analysis, vol.2, pp.127-143, 2005.

B. Hurley, O. Barry, D. Sullivan, G. Allouche, and . Katsirelos, Multi-language evaluation of exact solvers in graphical model discrete optimization, Constraints, vol.21, pp.413-434, 2016.
URL : https://hal.archives-ouvertes.fr/hal-02633083

L. Carleton, B. Kingsford, M. Chazelle, and . Singh, Solving and analyzing side-chain positioning problems using linear and integer programming, Bioinformatics, vol.21, issue.7, pp.1367-4803, 2005.

&. Vk-koval and M. Schlesinger, Two-dimensional programming in image analysis problems, Avtomatika i Telemekhanika, vol.8, pp.149-168, 1976.

. Va-kovalevsky, A diffusion algorithm for decreasing energy of max-sum labeling problem, Glushkov Institute of Cybernetics, 1975.

B. J. Frank-r-kschischang, H. Frey, and . Loeliger, Factor graphs and the sum-product algorithm, Information Theory, IEEE Transactions on 47, vol.2, pp.498-519, 2001.

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

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

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

J. Larrosa and T. Schiex, Solving weighted CSP by maintaining arc consistency, Artif. Intell, vol.159, pp.1-26, 2004.

V. Laurent, E. Wajnberg, B. Mangin, and T. Schiex, A composite genetic map of the parasitoid wasp Trichogramma brassicae based on RAPD markers, In: Genetics, vol.150, pp.275-82, 1998.
URL : https://hal.archives-ouvertes.fr/hal-02687913

C. Mathé, M. F. Sagot, T. Schiex, and P. Rouzé, Current methods of gene prediction, their strengths and weaknesses, In: Nucleic Acids Res, vol.30, pp.4103-4120, 2002.

J. Pearl, Probabilistic Reasoning in Intelligent Systems, Networks of Plausible Inference, 1988.

C. Pralet, G. Schiex, and . Verfaillie, From influence diagrams to multioperator cluster DAGs, Proc. of UAI', 2006.

D. Prusa and T. Werner, Universality of the local marginal polytope, Pattern Analysis and Machine Intelligence, vol.37, pp.898-904, 2015.

J. Thomas, . Richardson, and . Rüdiger-l-urbanke, The capacity of low-density parity-check codes under message-passing decoding, Information Theory, IEEE Transactions on 47, vol.2, pp.599-618, 2001.

J. and A. Robinson, A machine-oriented logic based on the resolution principle, Journal of the ACM, vol.12, pp.23-44, 1965.

M. Sanchez, T. De-givry, and . Schiex, Mendelian error detection in complex pedigrees using weighted constraint satisfaction techniques, Constraints 13, vol.1, pp.130-154, 2008.
URL : https://hal.archives-ouvertes.fr/hal-02814634

T. Schiex, Arc consistency for soft constraints, Principles and Practice of Constraint Programming -CP 2000, vol.1894, pp.411-424, 2000.

T. Schiex, H. Fargier, and G. Verfaillie, Valued Constraint Satisfaction Problems: hard and easy problems, Proc. of the 14 th IJCAI, pp.631-637, 1995.
URL : https://hal.archives-ouvertes.fr/hal-02778456

T. Schiex, C. Jean-charles.-régin, G. Gaspin, and . Verfaillie, Lazy Arc Consistency, Proc. of AAAI'96, 1996.
URL : https://hal.archives-ouvertes.fr/hal-02771457

M. I. Schlesinger, Sintaksicheskiy analiz dvumernykh zritelnikh signalov v usloviyakh pomekh (Syntactic analysis of two-dimensional visual signals in noisy conditions, In: Kibernetika, vol.4, pp.113-130, 1976.

D. Simoncini, D. Allouche, C. Simon-de-givry, and . Delmas, Guaranteed discrete energy optimization on large protein design problems, Journal of chemical theory and computation, vol.11, pp.5980-5989, 2015.
URL : https://hal.archives-ouvertes.fr/hal-02637306

P. Thebault, S. De-givry, T. Schiex, and C. Gaspin, Searching RNA motifs and their intermolecular contacts with constraint networks, In: Bioinformatics, vol.22, pp.2074-80, 2006.
URL : https://hal.archives-ouvertes.fr/hal-00428036

S. Traoré, D. Allouche, I. André, and S. De-givry, A new framework for computational protein design through cost function network optimization, Bioinformatics, vol.29, pp.2129-2136, 2013.

S. Traoré, E. Kyle, D. Roberts, . Allouche, R. Bruce et al., Fast search algorithms for computational protein design, Journal of computational chemistry, 2016.

C. Viricel, D. Simoncini, S. Barbe, and T. Schiex, Guaranteed Weighted Counting for Affinity Computation: Beyond Determinism and Structure, International Conference on Principles and Practice of Constraint Programming, pp.733-750, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01606791

J. Martin, T. S. Wainwright, A. S. Jaakkola, and . Willsky, Tree-based reparameterization framework for analysis of sum-product and related algorithms, IEEE Transactions on information theory, vol.49, pp.1120-1146, 2003.

T. Walsh, Stochastic constraint programming", In: ECAI, vol.2, pp.111-115, 2002.

D. Wedelin, An algorithm for large scale 0-1 integer programming with application to airline crew scheduling, Annals of operations research, vol.57, pp.283-301, 1995.

T. Werner, A Linear Programming Approach to Max-sum Problem: A Review, IEEE Trans. on Pattern Recognition and Machine Intelligence, vol.29, pp.1165-1179, 2007.

M. Zytnicki, T. Gaspin, and . Schiex, DARN! A soft constraint solver for RNA motif localization, Constraints 13, vol.1, pp.91-109, 2008.