Omelchenko, O. and Bulatov, A. 2021. Satisfiability and Algorithms for Non-uniform Random k-SAT. Proceedings of the AAAI Conference on Artificial Intelligence. 35, 5 (May 2021), 3886-3894. DOI:https://doi.org/10.1609/aaai.v35i5.16507.