Fast sampling and counting k-SAT solutions in the local lemma regime.

Weiming Feng, Heng Guo, Yitong Yin, Chihao Zhang

Browse the full STOC paper archive.