Decomposing global cost functions, Proc. of AAAI, 2012. ,
Earth observation satellite management, Constraints, vol.4, issue.3, pp.293-299, 1999. ,
DOI : 10.1023/A:1026488509554
Improving domain filtering using restricted path consistency, Proceedings the 11th Conference on Artificial Intelligence for Applications, 1995. ,
DOI : 10.1109/CAIA.1995.378792
Radio link frequency assignment, Constraints, vol.4, issue.1, pp.79-89, 1999. ,
DOI : 10.1023/A:1009812409930
Soft arc consistency revisited, Artificial Intelligence, vol.174, issue.7-8, pp.449-478, 2010. ,
DOI : 10.1016/j.artint.2010.02.001
Virtual Arc Consistency for Weighted CSP, Proc. of AAAI, 2008. ,
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
High-Order Consistency in Valued Constraint Satisfaction, Constraints, vol.6, issue.6, pp.283-305, 2005. ,
DOI : 10.1007/s10601-005-2240-3
Optimal soft arc consistency, Proc. of IJCAI'2007, pp.68-73, 2007. ,
Arc consistency for soft constraints, Artificial Intelligence, vol.154, issue.1-2, pp.199-227, 2004. ,
DOI : 10.1016/j.artint.2003.09.002
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
Extension des cohérences wcsps aux tuples, Proc. of JFPC-13, 2013. ,
Pairwise decomposition for combinatorial optimization in graphical models, Proc. of IJCAI'11, 2011. ,
Neighborhood inverse consistency preprocessing, Proc. of AAAI'96, 1996. ,
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
On arc and node consistency in weighted CSP, Proc. AAAI'02, pp.48-53, 2002. ,
Existential arc consistency: getting closer to full arc consistency in weighted CSPs, Proc. of the 19 th IJCAI, pp.84-89, 2005. ,
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
In the quest of the best form of local consistency for weighted CSP, Proc. of the 18 th IJCAI, pp.239-244, 2003. ,
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
Towards efficient consistency enforcement for global constraints in weighted constraint satisfaction, Proc. of the 21 rd IJCAI, pp.559-565, 2009. ,
Consistency techniques for flow-based projection-safe global cost functions in weighted constraint satisfaction, Artificial Intelligence, vol.43, pp.257-292, 2012. ,
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
Arc Consistency for Soft Constraints, LNCS, vol.1894, pp.411-424, 2000. ,
DOI : 10.1007/3-540-45349-0_30
Valued constraint satisfaction problems: hard and easy problems, Proc. of the 14 th IJCAI, pp.631-637, 1995. ,
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
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