Adaptive Parameterized Consistency, Proc. CP 2013, vol.8124, pp.143-158, 2013. ,
URL : https://hal.archives-ouvertes.fr/lirmm-00839025
Handbook of Constraint Programming, chap. Constraint Propagation, pp.29-83, 2006. ,
An Optimal Coarse-Grained Arc Consistency Algorithm, Artificial Intelligence, vol.165, issue.2, pp.165-185, 2005. ,
Domain Filtering Consistencies for NonBinary Constraints, Artificial Intelligence, vol.172, pp.800-822, 2008. ,
Boosting Systematic Search by Weighting Constraints, Proc. ECAI, pp.146-150, 2004. ,
From Restricted Path Consistency to Max-Restricted Path Consistency, Proc. CP 97, vol.1330, pp.312-326, 1997. ,
Selecting the Appropriate Consistency Algorithm for CSPs Using Machine Learning Techniques, Proc. of AAAI 2013, pp.1611-1612, 2013. ,
On the Complexity of Join Dependencies, ACM Trans. Database Systems, vol.11, issue.1, pp.81-108, 1986. ,
Increasing Tree Search Efficiency for Constraint Satisfaction Problems, Artificial Intelligence, vol.14, pp.263-313, 1980. ,
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. ,
Algorithm Selection and Scheduling, Proc. CP 2011, vol.6876, pp.454-469, 2011. ,
A First Practical Algorithm for High Levels of Relational Consistency, Proc. AAAI 2010, pp.101-107, 2010. ,
URL : https://hal.archives-ouvertes.fr/lirmm-00558132
STR2: Optimized Simple Tabular Reduction for Table Constraints, Constraints, vol.16, issue.4, pp.341-371, 2011. ,
URL : https://hal.archives-ouvertes.fr/hal-00868225
A Path-Optimal GAC Algorithm for Table Constraints, Proc. of ECAI 2012, pp.510-515, 2012. ,
URL : https://hal.archives-ouvertes.fr/hal-00873051
Extending STR to a Higher-Order Consistency, Proc. AAAI 2013, pp.576-582, 2013. ,
URL : https://hal.archives-ouvertes.fr/hal-00875427
, Consistency in Networks of Relations. AI, vol.8, pp.99-118, 1977.
Good Old Discrete Relaxation, European Conference on Artificial Intelligence (ECAI-88), pp.651-656, 1988. ,
URL : https://hal.archives-ouvertes.fr/inria-00548479
Evaluating Simple Fully Automated Heuristics for Adaptive Constraint Propagation, Proc. of ICTAI 2012, pp.880-885, 2012. ,
Counting-Based Search: Branching Heuristics for Constraint Satisfaction Problems, JAIR, vol.43, pp.173-210, 2012. ,
Heuristics for Dynamically Adapting Propagation, Proc. of ECAI, pp.485-489, 2008. ,
Partition Search for Non-binary Constraint Satisfaction, Information Sciences, vol.177, issue.18, pp.3639-3678, 2007. ,
SATzilla: Portfolio-Based Algorithm Selection for SAT, JAIR, vol.32, pp.565-606, 2008. ,