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]
@inproceedings{Feng0Y020,
title = {Fast sampling and counting k-SAT solutions in the local lemma regime},
author = {Weiming Feng and Heng Guo 0001 and Yitong Yin and Chihao Zhang 0001},
year = {2020},
doi = {10.1145/3357713.3384255},
url = {https://doi.org/10.1145/3357713.3384255},
researchr = {https://researchr.org/publication/Feng0Y020},
cites = {0},
citedby = {0},
pages = {854-867},
booktitle = {Proccedings of the 52nd Annual ACM SIGACT Symposium on Theory of Computing, STOC 2020, Chicago, IL, USA, June 22-26, 2020},
editor = {Konstantin Makarychev and Yury Makarychev and Madhur Tulsiani and Gautam Kamath 0001 and Julia Chuzhoy},
publisher = {ACM},
isbn = {978-1-4503-6979-4},
}