Constrained Counting and Sampling: Bridging the Gap between Theory and Practice
Constrained Sampling and Counting: Universal Hashing Meets SAT Solving