TY  - RPRT
TI  - Fast sampling and counting k-SAT solutions in the local lemma regime
AU  - Weiming Feng
AU  - Heng Guo
AU  - Yitong Yin
AU  - Chihao Zhang
PY  - 2019
UR  - https://arxiv.org/abs/1911.01319
ID  - 1911.01319
ER  -