Weiming Feng, Heng Guo 0001, Yitong Yin, Chihao Zhang 0001. Fast sampling and counting k-SAT solutions in the local lemma regime. In Konstantin Makarychev, Yury Makarychev, Madhur Tulsiani, Gautam Kamath 0001, Julia Chuzhoy, editors, Proccedings of the 52nd Annual ACM SIGACT Symposium on Theory of Computing, STOC 2020, Chicago, IL, USA, June 22-26, 2020. pages 854-867, ACM, 2020. [doi]
Abstract is missing.