Network flows: Theory, Algorithms and Applications, 2011. ,
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
Tractability and Decompositions of Global Cost Functions, 2015. ,
Anytime Hybrid Best-First Search with Tree Decomposition for Weighted CSP, Proc. of CP-15, pp.12-28, 2015. ,
DOI : 10.1007/978-3-319-23219-5_2
URL : https://hal.archives-ouvertes.fr/hal-01198361
On the Desirability of Acyclic Database Schemes, Journal of the ACM, vol.30, issue.3, pp.479-513, 1983. ,
DOI : 10.1145/2402.322389
Pruning for the Minimum Constraint Family and for the Number of Distinct Values Constraint Family, Proceedings of CP'01, pp.211-224, 2001. ,
DOI : 10.1007/3-540-45578-7_15
Reformulation of Global Constraints Based on Constraints Checkers, Constraints, vol.11, issue.2, pp.339-362, 2005. ,
DOI : 10.1007/s10601-005-2809-x
Global Constraint Catalog, 2005. ,
URL : https://hal.archives-ouvertes.fr/hal-00485396
Introducing global constraints in CHIP, Mathematical and Computer Modelling, vol.20, issue.12, pp.97-123, 1994. ,
DOI : 10.1016/0895-7177(94)90127-9
URL : https://hal.archives-ouvertes.fr/hal-00442810
Filtering Algorithms for the Same??Constraint, Proceedings of CPAIOR'04, pp.65-79, 2004. ,
DOI : 10.1007/978-3-540-24664-0_5
Constraint propagation, Handbook of Constraint Programming, pp.29-84, 2006. ,
Reformulating global constraints: the SLIDE and REGULAR constraints. Abstraction, Reformulation, and Approximation, pp.80-92, 2007. ,
SLIDE: A Useful Special Case of the CARDPATH Constraint, Proceedings of ECAI'08, pp.475-479, 2008. ,
To be or not to be ... a global constraint, Proceedings of CP'03, pp.789-794, 2003. ,
Boosting Systematic Search by Weighting Constraints, pp.146-150, 2004. ,
Radio link frequency assignment, Constraints, vol.4, issue.1, pp.79-89, 1999. ,
DOI : 10.1023/A:1009812409930
Arc consistency for soft constraints, Artificial Intelligence, vol.154, issue.1-2, pp.199-227, 2004. ,
DOI : 10.1016/j.artint.2003.09.002
Reduction operations in fuzzy or valued constraint satisfaction. Fuzzy Sets and Systems, pp.311-342, 2003. ,
High-Order Consistency in Valued Constraint Satisfaction, Constraints, vol.6, issue.6, pp.283-305, 2005. ,
DOI : 10.1007/s10601-005-2240-3
A Class of Hard Small 0-1 Programs, Proceedings of Integer Programming and Combinatorial Optimization, pp.284-293, 1998. ,
Mini-buckets, Journal of the ACM, vol.50, issue.2, pp.107-153, 2003. ,
DOI : 10.1145/636865.636866
The dead-end elimination theorem and its use in protein side-chain positioning, Nature, vol.356, issue.6369, pp.539-581, 1992. ,
DOI : 10.1038/356539a0
Optimally solving dec-pomdps as continuous-state mdps, Proceedings of the Twenty-Third international joint conference on Artificial Intelligence, pp.90-96, 2013. ,
URL : https://hal.archives-ouvertes.fr/hal-00907338
Embed and project: Discrete sampling with universal hashing, Advances in Neural Information Processing Systems, pp.2085-2093, 2013. ,
Pairwise decomposition for combinatorial optimization in graphical models, Proc. of IJCAI-11, pp.2126-2132, 2011. ,
Parameterized Complexity Theory, 2006. ,
Existential Arc Consistency: Getting Closer to Full Arc Consistency in Weighted CSPs, Proceedings of IJCAI'05, pp.84-89, 2005. ,
Dead-End Elimination for Weighted CSP, Proceedings of CP'13, pp.263-272, 2013. ,
DOI : 10.1007/978-3-642-40627-0_22
On global warming: Flow-based soft global constraints, Journal of Heuristics, vol.1, issue.4, pp.347-373, 2006. ,
DOI : 10.1007/s10732-006-6550-4
Multi-language evaluation in graphical model optimization. Constraints Initially submitted to CP-AI-OR, 2016. ,
Grammar constraints, Constraints, vol.8, issue.1, pp.117-144, 2010. ,
DOI : 10.1007/s10601-009-9073-4
The weighted Grammar constraint, Annals of Operations Research, vol.39, issue.2, pp.179-207, 2011. ,
DOI : 10.1007/s10479-010-0697-y
The Decision Problem for a Class of First-Order Formulas in Which all Disjunctions are Binary, Zeitschrift f??r Mathematische Logik und Grundlagen der Mathematik, vol.24, issue.1-2, pp.15-20, 1967. ,
DOI : 10.1002/malq.19670130104
Boosting Search with Variable Elimination, Proceedings of CP'00, pp.291-305, 2000. ,
DOI : 10.1007/3-540-45349-0_22
In the Quest of the Best Form of Local Consistency for Weighted CSP, Proceedings of IJCAI'03, 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
A language and a program for stating and solving combinatorial problems, Artificial Intelligence, vol.10, issue.1, pp.29-127, 1978. ,
DOI : 10.1016/0004-3702(78)90029-2
WCSP Integration of Soft Neighborhood Substitutability, Proceedings of CP'12, pp.406-421, 2012. ,
DOI : 10.1007/978-3-642-33558-7_31
URL : https://hal.archives-ouvertes.fr/hal-00866333
Reasoning from last conflict(s) in constraint programming, Artificial Intelligence, vol.173, issue.18, p.15921614, 2009. ,
DOI : 10.1016/j.artint.2009.09.002
URL : https://hal.archives-ouvertes.fr/hal-00868108
Towards Efficient Consistency Enforcement for Global Constraints in Weighted Constraint Satisfaction, Proceedings of IJCAI'09, pp.559-565, 2009. ,
A Stronger Consistency for Soft Global Constraints in Weighted Constraint Satisfaction, Proceedings of AAAI'10, pp.121-127, 2010. ,
Consistency Techniques for Global Cost Functions in Weighted Constraint Satisfaction, Journal of Artificial Intelligence Research, vol.43, pp.257-292, 2012. ,
Polynomially Decomposable Global Cost Functions in Weighted Constraint Satisfaction, Proceedings of AAAI'12, pp.507-513, 2012. ,
Modeling Soft Global Constraints as Linear Programs in Weighted Constraint Satisfaction, 2011 IEEE 23rd International Conference on Tools with Artificial Intelligence, pp.305-312, 2011. ,
DOI : 10.1109/ICTAI.2011.53
CHARME: Un langage industriel de programmation par contraintes, illustré par une application chez Renault, Proceedings of the Ninth International Workshop on Expert Systems and their Applications: General Conference, pp.55-70, 1989. ,
Optimization, approximation, and complexity classes, Journal of Computer and System Sciences, vol.43, issue.3, pp.425-440, 1991. ,
DOI : 10.1016/0022-0000(91)90023-X
Job-shop Scheduling Using Automated Reasoning: A Case Study of the Car-Sequence Problem, Journal of Automated Reasoning, vol.2, pp.1-42, 1986. ,
A Regular Language Membership Constraint for Finite Sequences of Variables, Proceedings of CP'04, pp.482-495, 2004. ,
DOI : 10.1007/978-3-540-30201-8_36
Specific Filtering Algorithms for Over-Constrained Problems, Proceedings of CP'01, pp.451-463, 2001. ,
DOI : 10.1007/3-540-45578-7_31
Specific Filtering Algorithms for Over-Constrained Problems, pp.451-463, 2001. ,
DOI : 10.1007/3-540-45578-7_31
Generalized Arc Consistency for Global Cardinality Constraints, Proceedings of AAAI'96, pp.209-215, 1996. ,
Handbook of Constraint Programming, 2006. ,
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, pp.411-424, 2000. ,
DOI : 10.1007/3-540-45349-0_30
Valued Constraint Satisfaction Problems: Hard and Easy Problems, Proceedings of IJCAI'95, pp.631-637, 1995. ,
Guaranteed Discrete Energy Optimization on Large Protein Design Problems, Journal of Chemical Theory and Computation, vol.11, issue.12, 2015. ,
DOI : 10.1021/acs.jctc.5b00594
A Dynamic Programming Approach for Consistency and Propagation for Knapsack Constraints, Annals of Operations Research, vol.118, issue.1/4, pp.73-84, 2003. ,
DOI : 10.1023/A:1021801522545
Bounds Arc Consistency for Weighted CSPs, Journal of Artificial Intelligence Research, vol.35, pp.593-621, 2009. ,
Integrating alternative splicing detection into gene prediction, BMC bioinformatics, vol.6, issue.1, 2005. ,
URL : https://hal.archives-ouvertes.fr/hal-01417735