M. S. Chowdhury, M. Müller, and J. You, “Guiding CDCL SAT Search via Random Exploration amid Conflict Depression”, AAAI, vol. 34, no. 02, pp. 1428-1435, Apr. 2020.