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