On Almost-Uniform Generation of SAT Solutions: The power of 3-wise independent hashing. - Remi Delannoy; Kuldeep S. Meel (LICS, 2022)