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