Probabilistic Program Abstractions
Closing the Gap Between Short and Long XORs for Model Counting