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.

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

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

R. Dechter and R. Mateescu, AND/OR search spaces for graphical models, Artificial Intelligence, vol.171, issue.2-3, pp.73-106, 2007.
DOI : 10.1016/j.artint.2006.11.003

S. De-givry, T. Schiex, and G. Verfaillie, Exploiting Tree Decomposition and Soft Local Consistency in Weighted CSP, Proc. of the National Conference on Artificial Intelligence, pp.22-27, 2006.

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

URL : http://doi.org/10.1016/j.artint.2010.02.001

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

C. M. Li, F. Manya, and J. Planes, New inference rules for max-sat, J. Artif. Intell. Res.(JAIR), vol.30, pp.321-359, 2007.

H. Wang and K. Daphne, Subproblem-tree calibration: A unified approach to max-product message passing, Proceedings of the 30th International Conference on Machine Learning (ICML-13), pp.190-198, 2013.

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

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.

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

R. Barták and P. Surynek, An improved algorithm for maintaining arc consistency in dynamic constraint satisfaction problems, Proc. of the 18 th International FLAIRS Conference, pp.161-166, 2005.

C. Bessì-ere, Arc-consistency in dynamic constraint satisfaction problems, Proc. of AAAI'91, pp.221-226, 1991.

R. Dechter and A. Dechter, Belief maintenance in dynamic constraint networks, Proc. of AAAI'88, pp.37-42, 1988.

H. Nguyen, T. Schiex, and C. Bessiere, Dynamic virtual arc consistency, Proceedings of the 28th Annual ACM Symposium on Applied Computing, SAC '13, pp.98-103, 2013.
DOI : 10.1145/2480362.2480384

URL : https://hal.archives-ouvertes.fr/lirmm-00830307

D. Allouche, I. Andr, S. Barbe, J. Davies, S. De-givry et al., Computational protein design as an optimization problem, Artificial Intelligence, vol.212, pp.59-79, 2014.
DOI : 10.1016/j.artint.2014.03.005

URL : https://hal.archives-ouvertes.fr/hal-01268554

T. Schiex, J. Régin, C. Gaspin, and G. Verfaillie, Lazy arc consistency, Proc. of AAAI'96, 1996.