Multi-Armed Bandits for Adaptive Constraint Propagation, Hachemi Bennaceur and Mohamed-Salah Affane. Partition-k-AC: An Efficient Filtering Technique Combining Domain Partition and Arc Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, vol.8124, pp.290-296, 2001. ,
Debruyne andBessì ere, 1997] Romuald Debruyne and ChristianBessì ere. Some Practicable Filtering Techniques for the Constraint Satisfaction Problem, International Workshop on Constraint Propagation and Implementation, vol.2239, pp.332-339, 1975. ,
Evaluating Simple Fully Automated Heuristics for Adaptive Constraint Propagation, Solving Difficult CSPs with Relational Neighborhood Inverse Consistency, vol.14, pp.112-119, 1977. ,
Andreas Wotzlaw, Alexander van der Grinten, and Ewald Speckenmeyer. Effectiveness of Preand Inprocessing for CDCL-based SAT Solving, Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, vol.8656, pp.755-764, 2013. ,