Analysis of Pure Literal Elimination Rule for Non-uniform Random (MAX) k-SAT Problem with an Arbitrary Degree Distribution.

Oleksii Omelchenko, Andrei A. Bulatov

Browse the full AAAI paper archive.