D. Allouche, C. Bessiere, P. Boizumault, S. Givry, P. Gutierrez et al., Decomposing global cost functions, Proc. of AAAI, 2012.

E. Bensana, M. Lema??trelema??tre, and G. Verfaillie, Earth observation satellite management, Constraints, vol.4, issue.3, pp.293-299, 1999.
DOI : 10.1023/A:1026488509554

P. Berlandier, Improving domain filtering using restricted path consistency, Proceedings the 11th Conference on Artificial Intelligence for Applications, 1995.
DOI : 10.1109/CAIA.1995.378792

B. Cabon, S. De-givry, L. Lobjois, T. Schiex, and J. Warners, Radio link frequency assignment, Constraints, vol.4, issue.1, pp.79-89, 1999.
DOI : 10.1023/A:1009812409930

M. Cooper, S. De-givry, M. Sanchez, T. Schiex, M. Zytnicki et al., Soft arc consistency revisited, Artificial Intelligence, vol.174, issue.7-8, pp.449-478, 2010.
DOI : 10.1016/j.artint.2010.02.001

M. Cooper, S. De-givry, M. Sanchez, T. Schiex, and M. Zytnicki, Virtual Arc Consistency for Weighted CSP, Proc. of AAAI, 2008.

M. C. Cooper, Reduction operations in fuzzy or valued constraint satisfaction, Fuzzy Sets and Systems, vol.134, issue.3, pp.311-342, 2003.
DOI : 10.1016/S0165-0114(02)00134-3

M. C. Cooper, High-Order Consistency in Valued Constraint Satisfaction, Constraints, vol.6, issue.6, pp.283-305, 2005.
DOI : 10.1007/s10601-005-2240-3

M. C. Cooper, S. De-givry, and T. Schiex, Optimal soft arc consistency, Proc. of IJCAI'2007, pp.68-73, 2007.

M. C. Cooper and T. Schiex, Arc consistency for soft constraints, Artificial Intelligence, vol.154, issue.1-2, pp.199-227, 2004.
DOI : 10.1016/j.artint.2003.09.002

R. Debruyne and C. Bessì-ere, From restricted path consistency to max-restricted path consistency, Proc. of CP'97, no. 1330 in LNCS, pp.312-326, 1997.
DOI : 10.1007/BFb0017448

D. Dehani, C. Lecoutre, and O. Roussel, Extension des cohérences wcsps aux tuples, Proc. of JFPC-13, 2013.

A. Favier, S. De-givry, A. Legarra, and T. Schiex, Pairwise decomposition for combinatorial optimization in graphical models, Proc. of IJCAI'11, 2011.

E. C. Freuder and C. D. Elfe, Neighborhood inverse consistency preprocessing, Proc. of AAAI'96, 1996.

B. Hurley, B. O-'sullivan, D. Allouche, G. Katsirelos, T. Schiex et al., Multi-language evaluation of exact solvers in graphical model discrete optimization, Proc. of CP-AI-OR'2016, 2016.
DOI : 10.1007/s10601-016-9245-y

J. Larrosa, On arc and node consistency in weighted CSP, Proc. AAAI'02, 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.

J. Larrosa, F. Heras, and S. De-givry, A logical approach to efficient Max-SAT solving, Artificial Intelligence, vol.172, issue.2-3, pp.204-233, 2008.
DOI : 10.1016/j.artint.2007.05.006

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, Artificial Intelligence, vol.159, issue.1-2, pp.1-26, 2004.
DOI : 10.1016/j.artint.2004.05.004

J. Lee and K. Leung, Towards efficient consistency enforcement for global constraints in weighted constraint satisfaction, Proc. of the 21 rd IJCAI, pp.559-565, 2009.

J. Lee and K. Leung, Consistency techniques for flow-based projection-safe global cost functions in weighted constraint satisfaction, Artificial Intelligence, vol.43, pp.257-292, 2012.

M. Sánchez, S. De-givry, and T. Schiex, Mendelian Error Detection in Complex Pedigrees Using Weighted Constraint Satisfaction Techniques, Constraints, vol.57, issue.4, pp.130-154, 2008.
DOI : 10.1007/s10601-007-9029-5

T. Schiex, Arc Consistency for Soft Constraints, LNCS, vol.1894, pp.411-424, 2000.
DOI : 10.1007/3-540-45349-0_30

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.

D. Simoncini, D. Allouche, S. De-givry, C. Delmas, S. Barbe et al., Guaranteed Discrete Energy Optimization on Large Protein Design Problems, Journal of Chemical Theory and Computation, vol.11, issue.12, pp.5980-5989, 2015.
DOI : 10.1021/acs.jctc.5b00594

S. Traoré, D. Allouche, I. André, S. De-givry, G. Katsirelos et al., A new framework for computational protein design through cost function network optimization, Bioinformatics, vol.29, issue.17, pp.2129-2136, 2013.
DOI : 10.1093/bioinformatics/btt374