Omelchenko, Oleksii, and Andrei A. Bulatov. 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):3804-12. https://doi.org/10.1609/aaai.v36i4.20295.