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. doi: 10.1609/aaai.v35i5.16507.