Statistics of Preprocessing is What You Need: Understanding and Predicting the Complexity of SAT-based Uniform Random Sampling

Contact ORBilu