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), pp. 3886-3894. Available at: https://ojs.aaai.org/index.php/AAAI/article/view/16507 (Accessed: 16October2021).