TY - RPRT TI - Random local access for sampling k-SAT solutions AU - Dingding Dong AU - Nitya Mani PY - 2025 UR - https://arxiv.org/abs/2409.03951 ID - 2409.03951 ER -