P
Initializing...
Lovász Local Lemma for $k$-SAT: bounded variable occurrence implies satisfiability · Prove2Me