Omelchenko, Oleksii, and Andrei Bulatov. 2021. “Satisfiability and Algorithms for Non-Uniform Random K-SAT”. Proceedings of the AAAI Conference on Artificial Intelligence 35 (5):3886-94. https://ojs.aaai.org/index.php/AAAI/article/view/16507.