F. Boussemart, F. Hemery, C. Lecoutre, and L. Sais, Boosting systematic search by weighting constraints, ECAI, pp.146-150, 2004.

D. Habet and C. Terrioux, Conflict History based Search for Constraint Satisfaction Problem, SAC, pp.1117-1122, 2019.
URL : https://hal.archives-ouvertes.fr/hal-02090618

C. Lecoutre, L. Saïs, S. Tabary, and V. Vidal, Recording and Minimizing Nogoods from Restarts. JSAT, vol.1, issue.3-4, pp.147-167, 2007.

J. H. Liang, V. Ganesh, P. Poupart, and K. Czarnecki, Exponential Recency Weighted Average Branching Heuristic for SAT Solvers, AAAI, pp.3434-3440, 2016.

L. Michel and P. Van-hentenryck, Activity-based search for black-box constraint programming solvers, pp.228-243, 2012.