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