The essence of constraint propagation. Theoretical computer science, vol.221, pp.179-210, 1999. ,
Refining the basic constraint propagation algorithm, Proc. of IJCAI'01, pp.309-315, 2001. ,
, Markov Random Fields: Theory and Applications, 1993.
Finite domain bounds consistency revisited, Proc. of Australian Conference on Artificial Intelligence, pp.49-58, 2006. ,
Arc consistency for soft constraints, Artificial Intelligence, vol.154, pp.199-227, 2004. ,
Virtual arc consistency for weighted CSP, Proc. of AAAI, 2008. ,
URL : https://hal.archives-ouvertes.fr/hal-02752851
Optimal soft arc consistency, Proc. of IJCAI'07, pp.68-73, 2007. ,
URL : https://hal.archives-ouvertes.fr/hal-02754114
A unified framework for partial and hybrid search methods in constraint programming, Computer & Operations Research, vol.33, issue.10, pp.2805-2833, 2006. ,
URL : https://hal.archives-ouvertes.fr/hal-02659665
The THALES constraint programming framework for hard and soft real-time applications. The PLANET Newsletter, vol.5, pp.5-7, 2002. ,
Partial constraint satisfaction, Artificial Intelligence, vol.58, pp.21-70, 1992. ,
Pattern searching/alignment with RNA primary and secondary structures: an effective descriptor for tRNA, Comp. Appl. Biosc, vol.6, pp.325-331, 1990. ,
Existential arc consistency: Getting closer to full arc consistency in weighted CSPs, Proc. of IJCAI'05, pp.84-89, 2005. ,
URL : https://hal.archives-ouvertes.fr/hal-02762983
Temporal constraint reasoning with preferences, Proc. of IJCAI'01, pp.322-327, 2001. ,
Node and arc consistency in weighted CSP, Proc. of AAAI'02, pp.48-53, 2002. ,
Solving weighted CSP by maintaining arc-consistency, Artificial Intelligence, vol.159, issue.1-2, pp.1-26, 2004. ,
Towards Efficient Consistency Enforcement for Global Constraints in Weighted Constraint Satisfaction, Proc. of IJCAI'09, 2009. ,
Consistency techniques for numeric CSPs, Proc. of IJCAI'93, pp.232-238, 1993. ,
Handbook of constraint programming, Foundations of Artificial Intelligence, issue.9, pp.281-328, 2006. ,
Meta-constraints on violations for over constrained problems, Proc. of ICTAI'00, pp.358-365, 2000. ,
Range-based algorithm for Max-CSP, Proc. of CP'02, pp.280-294, 2002. ,
URL : https://hal.archives-ouvertes.fr/lirmm-00269318
A filtering algorithm for constraints of difference in CSPs, Proc. of AAAI'94, pp.362-367, 1994. ,
Mendelian error detection in complex pedigrees using weighted constraint satisfaction techniques, Constraints, vol.13, issue.1-2, pp.130-154, 2008. ,
An Algorithm for Optimal Winner Determination in Combinatorial Auctions, Proc. of IJCAI'99, pp.542-547, 1999. ,
Arc consistency for soft constraints, Proc. of CP'00, pp.411-424, 2000. ,
A lattice-theoretical fixpoint theorem and its applications, Pacific Journal of Mathematics, vol.5, issue.2, pp.285-309, 1955. ,
Searching RNA motifs and their intermolecular contacts with constraint networks, Bioinformatics, vol.22, issue.17, pp.2074-80, 2006. ,
A generic arc-consistency algorithm and its specializations, Artificial Intelligence, vol.57, issue.2-3, pp.291-321, 1992. ,
On global warming: Flow-based soft global constraints, Journal of Heuristics, vol.12, issue.4, pp.347-373, 2006. ,
Selecting and scheduling observations for agile satellites: some lessons from the constraint reasoning community point of view, Proc. of CP'01, pp.670-684, 2001. ,
On the computational complexity of 2-interval pattern matching problems, Theoretical Computer Science, vol.312, issue.2-3, pp.223-249, 2004. ,
DARN! A soft constraint solver for RNA motif localization, Constraints, vol.13, issue.1-2, pp.91-109, 2008. ,