Chowdhury MS, Müller M, You J. Guiding CDCL SAT Search via Random Exploration amid Conflict Depression. AAAI [Internet]. 2020Apr.3 [cited 2024Apr.23];34(02):1428-35. Available from: https://ojs.aaai.org/index.php/AAAI/article/view/5500