(1)
Omelchenko, O.; Bulatov, A. A. Analysis of Pure Literal Elimination Rule for Non-Uniform Random (MAX) K-SAT Problem With an Arbitrary Degree Distribution. AAAI 2022, 36, 3804-3812.