O. Omelchenko and A. Bulatov, “Satisfiability and Algorithms for Non-uniform Random k-SAT”, AAAI, vol. 35, no. 5, pp. 3886-3894, May 2021.