High-Throughput SAT Sampling(arxiv.org)

https://arxiv.org/abs/2502.08673