Handbook of Constraint Programming, chapter Constraint Propagation, pp.29-83, 2006. ,
Efficient Algorithms for Singleton Arc Consistency, Constraints, vol.16, issue.1, pp.25-53, 2011. ,
URL : https://hal.archives-ouvertes.fr/lirmm-00558029
Domain Filtering Consistencies for NonBinary Constraints, Artificial Intelligence, vol.172, pp.800-822, 2008. ,
Dynamic Bundling: Less Effort for More Solutions, SARA 2002, vol.2371, pp.64-82, 2002. ,
On the Computation of Local Interchangeability in Discrete Constraint Satisfaction Problems, AAAI 1998, pp.326-333, 1998. ,
, Local and Global Relational Consistency. Theor. Comput. Sci, vol.173, issue.1, pp.283-308, 1997.
Eliminating Interchangeable Values in Constraint Satisfaction Problems, AAAI 1991, pp.227-233, 1991. ,
Selecting the Appropriate Consistency Algorithm for CSPs Using Machine Learning Techniques, Pre-PhD Student Abstract and Poster Program of AAAI 2013, pp.1611-1612, 2013. ,
On Minimal Constraint Networks, CP 2011, vol.6876, pp.325-0339, 2011. ,
, On the Complexity of Join Dependencies. ACM Trans. Database Systems, vol.11, issue.1, pp.81-108, 1986.
A Generic Arc Consistency Algorithm and its Specializations, Artificial Intelligence, vol.57, pp.291-321, 1992. ,
A Filtering Process for General Constraint-Satisfaction Problems: Achieving Pairwise-Consistency Using an Associated Binary Representation, IEEE Workshop on Tools for AI, pp.420-427, 1989. ,
Local Consistency and SAT-Solvers, JAIR, vol.43, pp.329-351, 2012. ,
Practical Tractability of CSPs by Higher Level Consistency and Tree Decomposition, 2013. ,
Improving the Performance of Consistency Algorithms by Localizing and Bolstering Propagation in a Tree Decomposition, AAAI 2013, pp.466-473, 2013. ,
A First Practical Algorithm for High Levels of Relational Consistency, AAAI 2010, pp.101-107, 2010. ,
URL : https://hal.archives-ouvertes.fr/lirmm-00558132
Constraint Processing Techniques for Improving Join Computation: A Proof of Concept, International Symposium on Constraint Databases, vol.3074, pp.149-167, 2004. ,
Neighborhood Interchangeability and Dynamic Bundling for Non-Binary Finite CSPs, AAAI 2005, pp.387-404, 2005. ,
A Path-Optimal GAC Algorithm for Table Constraints, ECAI 2012, pp.510-515, 2012. ,
URL : https://hal.archives-ouvertes.fr/hal-00873051
Extending STR to a Higher-Order Consistency, AAAI 2013, pp.576-582, 2013. ,
URL : https://hal.archives-ouvertes.fr/hal-00875427
An Efficient Higher-Order Consistency Algorithm for Table Constraints, AAAI 2012, 2012. ,
Binary Encodings of Non-binary Constraint Satisfaction Problems: Algorithms and Experimental Results, JAIR, vol.24, pp.641-684, 2005. ,
Solving Difficult CSPs with Relational Neighborhood Inverse Consistency, AAAI 2011, pp.112-119, 2011. ,
Revisiting Neighborhood Inverse Consistency on Binary CSPs, CP 2012, vol.7514, pp.688-703, 2012. ,
URL : https://hal.archives-ouvertes.fr/lirmm-00748179