Designing Samplers is Easy: The Boon of Testers

Given a formula $\varphi$, the problem of uniform sampling seeks to sample solutions of $\varphi$ uniformly at random. Uniform sampling is a fundamental problem with a wide variety of applications. The computational intractability of uniform sampling has led to the development of several samplers that heavily rely on heuristics and are not accompanied by theoretical analysis of their distribution....