Improving the performance of maxRPC, Proceedings of CP'10, pp.69-83, 2010. ,
New algorithms for max restricted path consistency, Constraints, vol.16, issue.4, pp.372-406, 2011. ,
Exploiting constraint weights for revision ordering in arc consistency algorithms, ECAI-08 Workshop on Modeling and Solving Problems with Constraints, 2008. ,
Arc consistency for general constraint networks: preliminary results, Proceedings of IJCAI'97, pp.398-404, 1996. ,
MAC and combined heuristics: two reasons to forsake FC (and CBJ?), Proceedings of CP'96, pp.61-75, 1996. ,
An optimal coarse-grained arc consistency algorithm, Artificial Intelligence, vol.165, issue.2, pp.165-185, 2005. ,
URL : https://hal.archives-ouvertes.fr/lirmm-00105310
Domain filtering consistencies for nonbinary constraints, Artificial Intelligence, vol.172, issue.6-7, pp.800-822, 2008. ,
URL : https://hal.archives-ouvertes.fr/lirmm-00250086
Boosting systematic search by weighting constraints, Proceedings of ECAI'04, 2004. ,
An MDD-based generalized arc consistency algorithm for positive and negative table constraints and some global constraints, Constraints, vol.15, issue.2, pp.265-304, 2010. ,
, Domain filtering consistencies. JAIR, vol.14, pp.205-230, 2001.
Data structures for generalised arc consistency for extensional constraints, Proceedings of AAAI'07, pp.191-197, 2007. ,
A filtering process for general constraint satisfaction problems: Achieving pairwise consistency using an associated binary representation, Proceedings of IEEE Workshop on Tools for Artificial Intelligence, pp.420-427, 1989. ,
On the consistency of general constraint satisfaction problems, Proceedings of AAAI'93, pp.114-119, 1993. ,
A new filtering based on decomposition of constraint sub-networks, Tools with Artificial Intelligence (ICTAI), 2010 22nd IEEE International Conference on, vol.1, pp.263-270, 2010. ,
Preference-based problem solving for constraint programming, CSCLP, pp.109-126, 2007. ,
A first practical algorithm for high levels of relational consistency, Proceedings of AAAI'10, pp.101-107, 2010. ,
URL : https://hal.archives-ouvertes.fr/lirmm-00558132
A compression algorithm for large arity extensional constraints, Proceedings of CP'07, pp.379-393, 2007. ,
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
Conservative dual consistency, Proceedings of AAAI'07, pp.237-242, 2007. ,
URL : https://hal.archives-ouvertes.fr/hal-00194544
Second-order consistencies, J. Artif. Int. Res, vol.40, issue.1, pp.175-219, 2011. ,
URL : https://hal.archives-ouvertes.fr/hal-00868193
A study of residual supports in arc cosistency, Proceedings of IJCAI'07, pp.125-130, 2007. ,
A path-optimal GAC algorithm for table constraints, ECAI, pp.510-515, 2012. ,
URL : https://hal.archives-ouvertes.fr/hal-00873051
Generalized arc consistency for positive table constraints, Proceedings of CP'06, pp.284-298, 2006. ,
URL : https://hal.archives-ouvertes.fr/hal-00121127
Extending STR to a higher-order consistency, Proceedings of AAAI'13, pp.576-582, 2013. ,
URL : https://hal.archives-ouvertes.fr/hal-00875427
Arc-consistency filtering algorithms for logical combinations of constraints, Proceedings of CPAIOR'04, pp.209-224, 2004. ,
A fast arc consistency algorithm for n-ary constraints, Proceedings of AAAI'05, pp.405-410, 2005. ,
Higher-order consistencies through GAC on factor variables, Proceedings of CP'14, pp.497-513, 2014. ,
On reading sketch maps, Proceedings of IJCAI'77, pp.598-606, 1977. ,
An optimal filtering algorithm for table constraints, CP, pp.496-511, 2012. ,
Arc and path consistency revisited, Artificial Intelligence, vol.28, pp.225-233, 1986. ,
URL : https://hal.archives-ouvertes.fr/inria-00548487
An efficient higher-order consistency algorithm for table constraints, Proceedings of AAAI'12, pp.535-541, 2012. ,
Strong inverse consistencies for non-binary CSPs, Proceedings of ICTAI'07, pp.215-222, 2007. ,
Inverse Consistencies for non-binary constraints, Proceedings of ECAI'06, pp.153-157, 2006. ,
Partition search for non-binary constraint satisfaction, Inf. Sci, vol.177, issue.18, pp.3639-3678, 2007. ,
On the minimality and global consistency of rowconvex constraint networks, JACM, vol.42, issue.3, pp.543-561, 1995. ,
Light algorithms for maintaining max-RPC during search, Proceedings of SARA'09, 2009. ,
URL : https://hal.archives-ouvertes.fr/hal-00482383
Solving difficult CSPs with relational neighborhood inverse consistency, Proceedings of AAAI'11, pp.112-119, 2011. ,
Revisiting neighborhood inverse consistency on binary CSPs, Proceedings of CP'12, pp.688-703, 2012. ,
URL : https://hal.archives-ouvertes.fr/lirmm-00748179