Fast sampling of satisfying assignments from random k-SAT with applications to connectivity by Chen, Z, Galanis, A, Goldberg, LA, Guo, H, Herrera-Poyatos, A, Mani, N, Moitra, A