Omelchenko, O. and Bulatov, A.A. 2022. Analysis of Pure Literal Elimination Rule for Non-uniform Random (MAX) k-SAT Problem with an Arbitrary Degree Distribution. Proceedings of the AAAI Conference on Artificial Intelligence. 36, 4 (Jun. 2022), 3804-3812. DOI:https://doi.org/10.1609/aaai.v36i4.20295.