Omelchenko, O.; Bulatov, A. Satisfiability and Algorithms for Non-Uniform Random K-SAT. AAAI 2021, 35, 3886-3894.