[. References and . Balafrej, 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.

J. Consistency-;-christianbessì-ere, . Régin, C. Mac, R. Heuristics-;-james, E. M. Bitner et al., 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.

;. Scott, . Haralick, M. Elliott-;-robert, G. L. Haralick, and . Elliott-;-karakashian, Evaluating Simple Fully Automated Heuristics for Adaptive Constraint Propagation, Solving Difficult CSPs with Relational Neighborhood Inverse Consistency, vol.14, pp.112-119, 1977.

. Wotzlaw, 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.