Valued constraint satisfaction problems: hard and easy problems, Proc. of the 14 th IJCAI, pp.631-637, 1995. ,
Radio link frequency assignment, Constraints, vol.4, issue.1, pp.79-89, 1999. ,
DOI : 10.1023/A:1009812409930
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
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
Exploiting Tree Decomposition and Soft Local Consistency in Weighted CSP, Proc. of the National Conference on Artificial Intelligence, pp.22-27, 2006. ,
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
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
New inference rules for max-sat, J. Artif. Intell. Res.(JAIR), vol.30, pp.321-359, 2007. ,
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. ,
Arc consistency for soft constraints, Artificial Intelligence, vol.154, issue.1-2, pp.199-227, 2004. ,
DOI : 10.1016/j.artint.2003.09.002
Existential arc consistency: getting closer to full arc consistency in weighted CSPs, Proc. of the 19 th IJCAI, pp.84-89, 2005. ,
Virtual Arc Consistency for Weighted CSP, Proc. of AAAI, 2008. ,
An improved algorithm for maintaining arc consistency in dynamic constraint satisfaction problems, Proc. of the 18 th International FLAIRS Conference, pp.161-166, 2005. ,
Arc-consistency in dynamic constraint satisfaction problems, Proc. of AAAI'91, pp.221-226, 1991. ,
Belief maintenance in dynamic constraint networks, Proc. of AAAI'88, pp.37-42, 1988. ,
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
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
Lazy arc consistency, Proc. of AAAI'96, 1996. ,