, Partition-k-AC: An Efficient Filtering Technique Combining Domain Partition and Arc Consistency, Proceedings of the Seventh International Conference on Principles and Practice of Constraint Programming (CP'01), pp.560-564, 2001.
DOI : 10.1007/3-540-45578-7_39
, Efficient algorithms for singleton arc consistency, Constraints, vol.177, issue.1, pp.25-53, 2011.
DOI : 10.1007/s10601-009-9080-5
URL : https://hal.archives-ouvertes.fr/hal-00487760
, Boosting Systematic Search by Weighting Constraints, Proceedings of the Sixteenth European Conference on Artificial Intelligence (ECAI'04), pp.146-150, 2004.
, Some Practicable Filtering Techniques for the Constraint Satisfaction Problem, Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence (IJCAI'97, pp.412-417, 1997.
, Adaptive Constructive Interval Disjunction, 2013 IEEE 25th International Conference on Tools with Artificial Intelligence, pp.900-906, 2013.
DOI : 10.1109/ICTAI.2013.138
URL : https://hal.archives-ouvertes.fr/hal-00936654
, Evaluating Simple Fully Automated Heuristics for Adaptive Constraint Propagation, 2012 IEEE 24th International Conference on Tools with Artificial Intelligence, pp.880-885, 2012.
DOI : 10.1109/ICTAI.2012.123
, Learning How to Propagate Using Random Probing, Proceedings of the Sixth International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR'09), pp.263-278, 2009.
DOI : 10.1007/978-3-642-01929-6_20
, Heuristics for dynamically adapting propagation, Proceedings of the Eighteenth European Conference on Artificial Intelligence (ECAI'08), pp.485-489, 2008.
, Constructive Interval Disjunction, Proceedings of the Thirteenth International Conference on Principles and Practice of Constraint Programming (CP'07), pp.635-650, 2007.
DOI : 10.1007/978-3-540-74970-7_45
URL : https://hal.archives-ouvertes.fr/hal-00936654