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), pp. 3804-3812. doi: 10.1609/aaai.v36i4.20295.