Chowdhury, Md Solimul, Martin Müller, and Jia You. 2020. “Guiding CDCL SAT Search via Random Exploration Amid Conflict Depression”. Proceedings of the AAAI Conference on Artificial Intelligence 34 (02):1428-35. https://doi.org/10.1609/aaai.v34i02.5500.