Chowdhury, M. S.; Müller, M.; You, J. Guiding CDCL SAT Search via Random Exploration Amid Conflict Depression. AAAI 2020, 34, 1428-1435.